此條目需要擴充。 (2013年5月25日) 請協助改善這篇條目,更進一步的訊息可能會在討論頁或擴充請求中找到。請在擴充條目後將此模板移除。 |
此條目沒有列出任何參考或來源。 (2013年5月25日) 維基百科所有的內容都應該可供查證。請協助補充可靠來源以改善這篇條目。無法查證的內容可能會因為異議提出而被移除。 |
自動推理是計算機科學和數理邏輯的一個交叉領域,致力於了解理智的方方面面。自動邏輯的研究幫助了利用計算機自動進行完全或幾乎完全的推理,其內容一般可分為演繹推理和非演繹推理。自動推理被認為是人工智能的一個分支,還和理論計算機科學甚至哲學相關聯。
自動推理的研究內容包括定理機器證明、證明自動檢查(英語:Automated_proof_checking)、不確定性推理、非單調邏輯以及類比歸納和外展推理。