D.M.加巴伊。 专家系统中非单调推理的理论基础。 （英语） Zbl 0581.68068号 并发系统的逻辑和模型。北约高级研究所，法国拉科勒苏罗普，1984年，北约ASI Ser。，序列号。《联邦公报》第13卷第439-457页（1985年）。 [关于整个系列，请参见兹伯利0566.00027.]作者试图证实非单调推理，回答了两个关键问题：1）什么是“非单调逻辑”？和2）非单调演绎是否具有形式属性？作者提出了演绎系统中单调与非单调的区别；然后他分析了非单调演绎1）强调非单调演绎系统的分离（“因果”与“概率”），2）给出了这些系统的一些合理性质，3）定义了一些特定的概念（弱演绎、演绎链、非单调演绎、限制单调性规则、（普通）非单调演绎系统和非单调逻辑）。这是一项非常有趣的工作，尽管作者显然没有考虑到非单调逻辑的全部复杂性（他研究的是“因果”非单调演绎系统，更重要的是，一致性是一个基本特征）。审核人：V.Calmatuianu公司 引用于1审查引用于64文件 MSC公司： 68T99型 人工智能 03B60号 其他非经典逻辑 关键词：非单调逻辑 引文：Zbl 0566.00027号 PDF格式BibTeX公司 XML格式