ML Anthology

40 Years of Research in Possibilistic Logic - A Survey

Didier Dubois, Henri Prade
IJCAI 2025 pp. 10427-10435
doi:10.24963/IJCAI.2025/1158 /ijcai/2025/dubois2025ijcai-years/

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.

PDF IJCAI Semantic Scholar

Cite

Text

Dubois and Prade. "40 Years of Research in Possibilistic Logic - A Survey." International Joint Conference on Artificial Intelligence, 2025. doi:10.24963/IJCAI.2025/1158

Markdown

[Dubois and Prade. "40 Years of Research in Possibilistic Logic - A Survey." International Joint Conference on Artificial Intelligence, 2025.](https://mlanthology.org/ijcai/2025/dubois2025ijcai-years/) doi:10.24963/IJCAI.2025/1158

BibTeX

@inproceedings{dubois2025ijcai-years,
  title     = {{40 Years of Research in Possibilistic Logic - A Survey}},
  author    = {Dubois, Didier and Prade, Henri},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2025},
  pages     = {10427-10435},
  doi       = {10.24963/IJCAI.2025/1158},
  url       = {https://mlanthology.org/ijcai/2025/dubois2025ijcai-years/}
}