We present here a new formalization of beliefs, which has a simpler semantics than the previous formalizations, and develop an inference method for it by generalizing the resolution method. The usual prepositional formulas are embedded in our logic as a special type of belief formulas. One can obtain a non-monotonic logic of beliefs by applying, say, circumscription to the basic belief-logic developed here which is monotonic in nature. One can also apply the technique repeatedly to construct a hierarchy of belief-logics BL_k, k≥1, where BL_k {is contained in}BL_(k-1) and BL_k can handle formulas involving up to level k nested applications of the belief operator B.
展开▼
机译：我们在这里展示了一个新的信仰形式化，它具有比以前的形式化更简单的语义，并通过概括分辨率方法来开发它的推理方法。 通常的介词式嵌入我们的逻辑作为一种特殊类型的信仰公式。 人们可以通过申请来获得非单调的信仰逻辑，说明在这里开发的基本信念逻辑，其在本质上是单调的。 人们还可以重复应用该技术来构建信仰逻辑BL_K，K≥1的层次结构，其中BL_K {包含在} BL_（k-1）和BL_K中可以处理涉及级别的kEief opered应用程序的公式 B.
展开▼
