[非经典信念逻辑王心亮]

【非经典信念逻辑王心亮】.pdfAbstract 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é的自知逻辑.这些逻辑系统的另一“奇异“之处在于有许多以往信念逻辑系统申所没有的新概念和由 此而产生的一系列新的特性,尽管如此,我们仍然可以容易地发现 这二种逻辑系统同其它信念逻辑系统之间的承继和相通关系。
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。