论文标题
两层框架中的定性推理
Qualitative reasoning in a two-layered framework
论文作者
论文摘要
具有定性不确定性度量的推理涉及有关事件的可能性比较陈述，而不必为这些事件分配确切的数值价值。该纸分为两部分。在第一部分中，我们在两层逻辑的框架内与能力，信念功能和概率的定性对应物形式化推理。也就是说，我们提供了两层逻辑，该逻辑使用一元信念模态$ \ be $ $ \ be $ $ $ \ be提供了两层逻辑，该逻辑将内层连接到外层，其中推理是通过Gödel逻辑形式化了推理的。我们设计了他们的希尔伯特风格的公理化，并证明了它们的完整性。在第二部分中，我们讨论了定性不确定性的逻辑概括的概括，考虑到可用信息是矛盾或尚无定论的情况。
The reasoning with qualitative uncertainty measures involves comparative statements about events in terms of their likeliness without necessarily assigning an exact numerical value to these events. The paper is divided into two parts. In the first part, we formalise reasoning with the qualitative counterparts of capacities, belief functions, and probabilities, within the framework of two-layered logics. Namely, we provide two-layered logics built over the classical propositional logic using a unary belief modality $\Be$ that connects the inner layer to the outer one where the reasoning is formalised by means of Gödel logic. We design their Hilbert-style axiomatisations and prove their completeness. In the second part, we discuss the paraconsistent generalisations of the logics for qualitative uncertainty that take into account the case of the available information being contradictory or inconclusive.
