A Syntactic Possibilistic Belief Change Operator: Theory and empirical study

Célia Da Costa Pereira 1, * Andrea G. B. Tettamanzi 2
* Auteur correspondant
1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe KEIA
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 , 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.
Type de document :
Article dans une revue
Web Intelligence and Agent Systems: An International Journal, 2014, 12 (2), pp.155-169. <10.3233/WIA-140290>
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-00983200
Contributeur : Andrea G. B. Tettamanzi <>
Soumis le : samedi 26 avril 2014 - 09:17:38
Dernière modification le : lundi 5 octobre 2015 - 16:56:57
Document(s) archivé(s) le : samedi 26 juillet 2014 - 10:40:12

Fichier

daCostaPereiraTettamanzi.pdf
Accord explicite pour ce dépôt

Identifiants

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>

Partager

Métriques

Consultations de
la notice

316

Téléchargements du document

122