Conference Papers Year : 2024

Partitioned Linear Orders and Belief Revision

Abstract

Despite their expressive power in representing alternatives or beliefs tainted by incomparabilities, it is often difficult to use generic partial orders. Hence, various structures have been historically studied in the literature, such as weak orders, semiorders or interval orders, each capturing a different fragment of partial orders. In this article, we propose and study in detail a fragment rich enough to represent some highly intuitive patterns involving incomparable elements that cannot be captured by the aforementioned fragments: partitioned linear orders (PLOs). These structures can be viewed as split independent linear orders, each one of them representing a local totally ranked situation. Then, we show how they can be used in Katsuno-Mendelzon-style belief revision. We propose a set of postulates, a representation theorem and a family of concrete operators.

Fichier principal
Vignette du fichier
PLOs_ICTAI_ou_SUM_2024.pdf (176.17 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Licence

Dates and versions

hal-05048277 , version 1 (27-04-2025)

Licence

Identifiers

Cite

Jérome Gaigne, Khaled Belahcene, Sylvain Lagrue. Partitioned Linear Orders and Belief Revision. 36th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2024), Oct 2024, Herndon, United States. pp.49--56, ⟨10.1109/ICTAI62512.2024.00016⟩. ⟨hal-05048277⟩
176 View
231 Download

Altmetric

Share

  • More