A Syntactic Possibilistic Belief Change Operator: Theory and empirical study

Célia Da Costa Pereira 1, * Andrea G. B. Tettamanzi 2
* Corresponding author
1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe KEIA
Laboratoire I3S - SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
2 WIMMICS - Web-Instrumented Man-Machine Interactions, Communities and Semantics
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Abstract : We propose a syntactic possibilistic belief-change operator, which operates on a belief base of necessity-valued formulas. Such a base may be regarded as a finite and compact encoding of a possibility distribution over a possibly infinite set of interpretations. The proposed operator is designed so that it behaves like a semantic possibilistic belief-change operator for BDI agents recently proposed in the literature. The equivalence of the semantic and syntactic operators is then proved. Experimental results are presented. The aim of these experiments is to demonstrate that the cost of belief revision (expressed in terms of the number of entailment checks required) as well as the size of the belief base do not explode as the number of new pieces of information (formulas) supplied increases.
Document type :
Journal articles
Liste complète des métadonnées

Cited literature [21 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00983200
Contributor : Andrea G. B. Tettamanzi <>
Submitted on : Saturday, April 26, 2014 - 9:17:38 AM
Last modification on : Thursday, February 7, 2019 - 5:50:36 PM
Document(s) archivé(s) le : Saturday, July 26, 2014 - 10:40:12 AM

File

daCostaPereiraTettamanzi.pdf
Explicit agreement for this submission

Identifiers

Collections

Citation

Célia Da Costa Pereira, Andrea G. B. Tettamanzi. A Syntactic Possibilistic Belief Change Operator: Theory and empirical study. Web Intelligence and Agent Systems: An International Journal, 2014, 12 (2), pp.155-169. ⟨10.3233/WIA-140290⟩. ⟨hal-00983200⟩

Share

Metrics

Record views

492

Files downloads

164