人工智能逻辑 人工智能逻辑是指用逻辑方法如数理逻辑和逻辑成果研究智能主体intelligent agent如何处理知识的理论人工智能逻辑的研究对象与人工智能研究的对象不同人工智能逻辑不研究智能主体如何从外部获得知识 人工智能逻辑的产生来源于人们在计算机中实现implementation知识处理的探索为此必须建立实现知识处理的形式理论至少在基础研究或者在理论重建的层面上利用现代逻辑的种种方法和成果来建立上述形式理论成为必要 处理知识又称知识处理内容主要包括知识表示知识反思知识修正知识推理知识推理除了传统意义上的演绎推理归纳推理和类比推理还包括常识推理commonsense reasoning常识推理是人类日常生活中获取新知识的最重要手段之一具有非单调性和信息不完备性人工智能逻辑即重点在研究常识推理的形式化及刻画 经过多年发展人工智能逻辑发展了许多种类比较完善的有缺省逻辑default logic非单调模态逻辑限定逻辑等此外还有一些讨论相似问题并且在形式上与上述逻辑密切相关的逻辑如正常条件句逻辑相信修正逻辑认知逻辑还有一些讨论类似问题但在形式上与上述逻辑的关系更为松散的理论例如逻辑编程理论相信修正理论上述分类并不十分严格例如逻辑编程理论可以嵌入非单调模态逻辑由此也可看出人工智能逻辑是一类严格意义上的逻辑应用逻辑和一类不严格意义上的逻辑逻辑的应用的混合 最早研究人工智能逻辑的是约翰麦卡锡John McCarthy他提出采用逻辑方法来形式化人工智能需要解决的问题