试论认知逻辑研究中的若干问题

摘要：

认知逻辑研究的目的是为人工智能研究提供有力的工具.然而,目前认知逻辑的研究成果却难于应用于人工智能的实践之中.这种情况在很大程度上是由于认知逻辑自身存在的问题造成的.第一,认知逻辑理论缺少可操作性,人们不能用能行的方法构造认知逻辑系统定理的证明和根据系统所进行的推演.第二,认知逻辑理论所采用的可能世界语义学方法不能对认知语句做出合乎情理的解释.第三,认知逻辑的公理系统并不是人工智能研究所必需的.由于这些问题的存在,逻辑学家需要对原有的方法进行认真的反思.

关键词：认知逻辑、可操作性、公理系统、语义学

分类号：B819(逻辑学(论理学))

资助基金：中流文教基金会与喜马拉雅基金会联合资助项目

在线出版日期：2004-08-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：109-115