一个基于顺序条件函数的信念逻辑系统

A System of Belief Logic Based on Ordinal Conditional Function

经典的信念逻辑系统SKD45只能处理信念的表示与推理,而无法同时处理知识与信念。在对可能世界排序,给出顺序条件函数的基础上,将知识当作一种特殊的信念,建立一个新的信念逻辑系统SSBR,并给出完全性的证明。

As a classical system SKD45, it is successful to give the representation and reasoning of belief, but it＇ s false to treat both knowledge and belief at the same time. Ordering possible worlds, this paper makes a tentative approach to introduce a new system of belief logic on the base of OCF. In this logic, knowledge is especial belief. Finally, the logic system is proved complete.