On the Semantics of Partially Ordered Bases - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

On the Semantics of Partially Ordered Bases

Résumé

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.
Fichier principal
Vignette du fichier
Cayrol_12863.pdf (333.03 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01147243 , version 1 (30-04-2015)

Identifiants

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

Citer

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⟩
168 Consultations
115 Téléchargements

Partager

Gmail Facebook X LinkedIn More