A Game-Theoretic Perspective on Inconsistency Handling

A Game-Theoretic Perspective on Inconsistency Handling

Yakoub Salhi

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence
Main Track. Pages 4651-4659. https://doi.org/10.24963/ijcai.2025/518

This paper introduces a game-theoretic framework for restoring consistency in propositional bases. The process is modeled as an interactive dialogue between two agents: a Proponent, who seeks to isolate a unique, consistent subset by posing strategic questions, and an Opponent, who aims to obstruct that goal through adversarial responses. We show that this framework provides a foundation for quantifying the effort involved in restoring consistency, revealing a connection between this effort and entropy in information theory. Focusing on the case where consistency is achieved by isolating a single maximal consistent subset, we establish links between the structure and number of such subsets and the existence of winning strategies. Finally, we demonstrate how the quantified restoration effort can serve as a basis for measuring inconsistency.
Keywords:
Knowledge Representation and Reasoning: KRR: Reasoning about knowledge and belief
Knowledge Representation and Reasoning: KRR: Other