Proceedings

A Game-Theoretic Perspective on Inconsistency Handling

Yakoub Salhi

Download BibTeX Cite

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. Main Track. Pages 4651-4659.

https://doi.org/10.24963/ijcai.2025/518

Keywords

  • Knowledge Representation and Reasoning: KRR: Reasoning about knowledge and belief
  • Knowledge Representation and Reasoning: KRR: Other

Abstract

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.

Yakoub Salhi. 2025. A Game-Theoretic Perspective on Inconsistency Handling. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25. IJCAI, 4651–4659. https://doi.org/10.24963/ijcai.2025/518
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards