论文部分内容阅读
该文通过对非单调推理主要分支的考察,提出了以开放世界逻辑 解决非单调问题的方法.首先,该文把缺省理论的单调性条件从规范情形推广至一般情形,然后,该文分析了非单调推理中所面临的开放域和开放谓词问题.在此基础上,该文发展了基于开放世界预设的三值命题演算和谓词演算系统,并把它们嵌入到标准非单调理论中,取得了关于开缺省推理的初步结果.