Skip to Main content Skip to Navigation
Conference papers

On the Semantics of Partially Ordered Bases

Abstract : This paper presents first results toward the extension of possibilistic logic when the total order on formulas is replaced by a partial preorder. Few works have dealt with this matter in the past but they include some by Halpern, and Benferhat et al. Here we focus on semantic aspects, namely the construction of a partial order on interpretations from a partial order on formulas and conversely. It requires the capability of inducing a partial order on subsets of a set from a partial order on its elements. The difficult point lies in the fact that equivalent definitions in the totally ordered case are no longer equivalent in the partially ordered one. We give arguments for selecting one approach extending comparative possibility and its preadditive refinement, pursuing some previous works by Halpern. It comes close to non-monotonic inference relations in the style of Kraus Lehmann and Magidor. We define an intuitively appealing notion of closure of a partially ordered belief base from a semantic standpoint, and show its limitations in terms of expressiveness, due to the fact that a partial ordering on subsets of a set cannot be expressed by means of a single partial order on the sets of elements. We also discuss several existing languages and syntactic inference techniques devised for reasoning from partially ordered belief bases in the light of this difficulty. The long term purpose is to find a proof method adapted to partially ordered formulas, liable of capturing a suitable notion of semantic closure.
Complete list of metadatas

Cited literature [29 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Thursday, April 30, 2015 - 9:31:57 AM
Last modification on : Friday, June 12, 2020 - 3:52:24 AM
Long-term archiving on: : Monday, September 14, 2015 - 4:01:14 PM


Files produced by the author(s)


  • HAL Id : hal-01147243, version 1
  • OATAO : 12863


Claudette Cayrol, Didier Dubois, Fayçal Touazi. On the Semantics of Partially Ordered Bases. 8th International Symposium on Foundations of Information and Knowledge Systems - FolKS 2014, Mar 2014, Bordeaux, France. pp. 136-153. ⟨hal-01147243⟩



Record views


Files downloads