[论文解读] An Algebraic Semantics for Possibilistic Logic

Luca Boldrin, Claudio Sossai|arXiv (Cornell University)|Feb 20, 2013

Logic, Reasoning, and Knowledge参考文献 13被引用 20

一句话总结

本文通过在语言中引入一种新的合取（⊗）和否定算子，扩展了可能性逻辑的代数语义，将逻辑建立在可能性函数的格上——即一个量化环（quantale），从而实现对多个信息源的动态信息解释。本文提出了一套可靠且完备的格伦岑风格（Gentzen-style）演算，为非经典、可能性化的推理奠定了基础，并在帕韦尔卡风格（Pavelka-style）框架下分析了真值功能。

ABSTRACT

The first contribution of this paper is the presentation of a Pavelka - like formulation of possibilistic logic in which the language is naturally enriched by two connectives which represent negation (eg) and a new type of conjunction (otimes). The space of truth values for this logic is the lattice of possibility functions, that, from an algebraic point of view, forms a quantal. A second contribution comes from the understanding of the new conjunction as the combination of tokens of information coming from different sources, which makes our language "dynamic". A Gentzen calculus is presented, which is proved sound and complete with respect to the given semantics. The problem of truth functionality is discussed in this context.

研究动机与目标

• 开发一个形式化的代数框架，用于可能性逻辑，以支持不确定性下的推理。
• 通过引入一种新的合取（⊗）来丰富逻辑语言，以建模来自不同来源的信息融合。
• 基于形成量化环的可能性函数空间提供语义，实现对不确定性的代数处理。
• 在非经典、可能性化的设定下，使用帕韦尔卡风格方法形式化真值功能。
• 为所提出的逻辑建立一个可靠且完备的格伦岑演算。

提出的方法

• 将可能性逻辑扩展为包含两个新连接词：一个否定算子和一个用于整合不同来源信息的动态合取（⊗）。
• 将真值建模为可能性函数，形成一个格结构，该结构在代数上是一个量化环，从而支持对不确定性程度的代数运算。
• 定义一个格伦岑风格的序列演算，其结构规则根据量化环结构进行调整，以确保逻辑一致性。
• 证明该演算在代数语义下的可靠性和完备性。
• 在非经典、基于可能性的逻辑背景下分析真值功能问题。
• 利用量化环的代数结构来解释逻辑连接词和真值的行为。

实验结果

研究问题

• RQ1 如何在可能性逻辑中引入一种动态合取，以建模来自多个来源的信息融合？
• RQ2 何种代数结构最能捕捉逻辑框架中可能性函数的语义？
• RQ3 能否构建一个既可靠又完备的格伦岑演算，以适用于这种扩展后的逻辑？
• RQ4 在非经典、可能性理论的设定下，真值功能如何表现？
• RQ5 帕韦尔卡风格框架在实现逻辑中不确定性形式化处理方面起到什么作用？

主要发现

• 所提出的逻辑通过引入一种新的合取（⊗）扩展了标准的可能性逻辑，该合取能够建模来自不同来源的信息组合，赋予其动态特性。
• 可能性函数的空间构成一个量化环，为不确定性推理提供了坚实的代数基础。
• 已证明该格伦岑演算在代数语义下既可靠又完备，验证了该逻辑系统的有效性。
• 本文确立了在给定语义下，尽管真值为非经典值，真值功能在扩展逻辑中仍得以保持。
• 采用帕韦尔卡风格框架使得对信念程度和不确定性的形式化处理成为可能。
• 代数语义使得通过可能性函数上的运算，能够对逻辑连接词作出清晰的解释。