40 Years of Research in Possibilistic Logic – a Survey

Dubois, Didier; Prade, Henri

doi:10.24963/ijcai.2025/1158

40 Years of Research in Possibilistic Logic – a Survey

Download BibTeX Cite

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. Survey Track. Pages 10427-10435.

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

Keywords

Knowledge Representation and Reasoning: General
Knowledge Representation and Reasoning: KRR: Other
Uncertainty in AI: UAI: Nonprobabilistic models

Abstract

Possibilistic logic is forty years old. Possibilistic logic is a logic that handles classical logic formulas

associated with weights taking values in a linearly ordered set or more generally in a lattice. Over the

decades, possibilistic logic has undergone numerous developments at both theoretical and applied

levels. The ambition of this article is to review all these developments while exposing the main ideas

behind them.

Didier Dubois, and Henri Prade. 2025. 40 Years of Research in Possibilistic Logic – a Survey. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25. IJCAI, 10427–10435. https://doi.org/10.24963/ijcai.2025/1158

@inproceedings{ijcai2025p1158,
  title     = {40 Years of Research in Possibilistic Logic – a Survey},
  author    = {Dubois, Didier and Prade, Henri},
  booktitle = {Proceedings of the Thirty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-25}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {James Kwok},
  pages     = {10427--10435},
  year      = {2025},
  month     = {8},
  note      = {Survey Track},
  doi       = {10.24963/ijcai.2025/1158},
  url       = {https://doi.org/10.24963/ijcai.2025/1158},
}

TY  - CPAPER
TI  - 40 Years of Research in Possibilistic Logic – a Survey
AU  - Dubois, Didier
AU  - Prade, Henri
T2  - Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2025
SP  - 10427
EP  - 10435
DO  - 10.24963/ijcai.2025/1158
UR  - https://doi.org/10.24963/ijcai.2025/1158
ER  -