A syntactic possibilistic belief change operator: Theory and empirical study

Article type: Research Article

Authors: da Costa Pereira, Célia^; | Tettamanzi, Andrea G.B.

Affiliations: Université Nice Sophia Antipolis, I3S, UMR 7271, 06900 Sophia Antipolis, France. E-mail: {celia.pereira,andrea.tettamanzi}@unice.fr

Note: [] Corresponding author.

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.

Keywords: BDI agents, belief change, possibility theory

DOI: 10.3233/WIA-140290

Journal: Web Intelligence and Agent Systems: An International Journal, vol. 12, no. 2, pp. 155-169, 2014