作　　者： ;

机构地区： 吉林大学计算机科学与技术学院

出　　处： 《计算机科学》 1988年第4期

摘　　要： <正> 一、非单调推理的提出逻辑是研究思维与论证的科学。它的目的是研究人们在推理过程中的思维规律。并利用这些规律评价推理过程的优劣,指导人们进行更有效的推理,依据这些规律研究并提出一些新的方法和技术,在计算机上实现自动推理。因此说,逻辑是推理的理论基础传统的推理方法都是以经典的一阶逻辑

关 键 词： 非单调逻辑 自动推理 非单调推理 推理方法 一阶逻辑 谓词变量 推理过程 知识表示 人工智能技术 推理规则