此條目需要擴充。 (2013年5月25日) 请協助改善这篇條目,更進一步的信息可能會在討論頁或扩充请求中找到。请在擴充條目後將此模板移除。 |
此條目没有列出任何参考或来源。 (2013年5月25日) 維基百科所有的內容都應該可供查證。请协助補充可靠来源以改善这篇条目。无法查证的內容可能會因為異議提出而被移除。 |
自动推理是计算机科学和数理逻辑的一个交叉领域,致力于了解理智的方方面面。自动逻辑的研究帮助了利用计算机自动进行完全或几乎完全的推理,其內容一般可分為演繹推理和非演繹推理。自动推理被认为是人工智能的一个分支,还和理论计算机科学甚至哲学相关联。
自动推理的研究内容包括定理机器证明、证明自动检查(英语:Automated_proof_checking)、不确定性推理、非单调逻辑以及类比归纳和外展推理。