【非经典信念逻辑王心亮】.pdf

Abstract Belif logicis an importantbranch ofArtifical Intelligence(Al) logic and non-classical logic.Many syestems of belief logic have been setup.In geneal,s regarded as the most original one,and this systen is Called classiaal belief logic(CBL)

而对信念逻辑的研究在许多方面则要相对薄弱一些.信念逻辑的兴起只是最近二、三十年的事,它的创立首先应归功于着名语盲哲学家JHintikka。其次,VonWright等人做过一些重要的其基工作.Hintikka在其著名的《知识和信念》一书中建立了一个比较完备的信念逻辑系统这一系统是基于其模型集语义的,而这被证明等价于Kripke的可能世界语义.逻辑学家们(包括Hintikka本人)很快就意识到这一逻辑系统存在某些缺陷。其中最严重的也许是此系统会出现所谓的逻辑万能问题。

的结论即不再成立。这样一种前提增加反而可能使结论减少的推理称为非单调推理,其形式化称作非单调逻辑。我们这里所讨论的奇异信念逻辑是非单调逻辑的一种,称作自知逻辑(AUtoep1st一 emiLog1o)它包括Moore的自知逻辑和 Levesqué的自知逻辑.这些逻辑系统的另一“奇异“之处在于有许多以往信念逻辑系统申所没有的新概念和由此而产生的一系列新的特性,尽管如此,我们仍然可以容易地发现这二种逻辑系统同其它信念逻辑系统之间的承继和相通关系。