由中國科學院重慶綠色智能技術研究院和重慶市政府聯合資助，主要圍繞自動推理與認知領域中的計算理論問題展開應用基礎性研究。實驗室結合重慶市當地經濟建設所急需，主要涉及汽車、船舶、交通自控系統的多領域統一建模、可信計算、軟件形式化驗證以及復雜微分代數系統中的理論模擬與數值試驗等為研究方向，并已形成了鮮明的研究特色。

自動推理與認知重點實驗室，其前身是中國科學院成都計算機應用研究所自動推理實驗室。她曾為自動推理這一學科的發展做出了巨大的貢獻，曾獲得國家自然科學二等獎一項，國家科技進步二等獎一項、全國“五一”勞動獎章二項、中國科學院自然科學一等獎二項和其他省部級科技獎多項。曾主持國家攀登項目課題二項、國家973課題二項、國家863項目、國家自然科學基金重點項目和面上項目多項，中國科學院創新項目兩期以及其他省部級科技項目多項，并為國家培養杰青2名。

近5年里，實驗室共承擔 “973”項目二級課題2項，國家自然科學基金重大研究計劃1項，國家自然科學基金5項，中國科學院三期知識創新工程1項，中國科學院西部之光2項，省部級重大重點項目4項，累計科研經費近1000萬元。為青年科研人員提供充足穩定的資金支持和良好的實驗條件。

自動推理與認知重點實驗室歡迎具有數學、計算機科學和機械電子等相關專業背景的青年人才到實驗室工作。