发表机构
Indraprastha Institute of Information Technology-Delhi（德里印度理工学院）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文在形式不一致逻辑上构建新的可能性逻辑，定义一致性等度量并证明可靠性与完备性，以提升机器推理能力。
AI 中文摘要
本文在形式不一致逻辑的基础上引入了一种新的可能性逻辑，旨在发展一个可能性理论框架，以有意义地处理不确定性和不一致性，而不会导致系统崩溃。我们讨论了该逻辑的语法和语义，并证明了可靠性和完备性定理。我们定义了一组新的度量，用于衡量公式集的一致性、矛盾性和平凡性。随后，这些度量被应用于一个示例中，以表明该框架能够为机器推理提供更好的手段。
英文摘要
In this article, we have introduced a new possibilistic logic on a logic of formal inconsistency with the aim of developing a possibility theoretic framework to deal with uncertainty and inconsistency meaningfully without leading to a system collapse. We have discussed the syntax and semantics for this logic and have proved the soundness and completeness theorems. A set of new measures of consistency, contradictoriness, and triviality of a set of formulas have been defined. These have then been put to use in an example to show that this framework can provide better means of machine reasoning.
Comments23 pages. The final version of this paper has been submitted to a journal for publication
