A Syntactic Possibilistic Belief Change Operator: Theory and empirical study

Célia da Costa Pereira (1) , Andrea G. B. Tettamanzi (2)

1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe KEIA
2 WIMMICS - Web-Instrumented Man-Machine Interactions, Communities and Semantics

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.

Mots clés: BDI agents; belief change; possibility theory

Domaines: Intelligence artificielle [cs.AI]

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