比推理，还包括常识推理（commonsense reasoning）。常识推理是人类日常生活中获取新知识的最重要手段之一，具有非单调性和信息不完备性。人工智能逻辑即重点在研究常识推理的形式化及刻画。经过多年发展人工智能逻辑发展了许多种类，比较完善的有缺省逻辑（default logic）、非单调模态逻辑、限定逻辑等！此外，还有一些讨论相似问题，并且在形式上与上述逻辑密切相关的逻辑，如正常条件句逻辑、相信修正逻辑、认知逻辑。还有一些讨论类似问题，但在形式上与上述逻辑的关系更为松散的理论。例如逻辑编程理论、相