Advanced search
Start date
(Reference retrieved automatically from Web of Science through information on FAPESP grant and its corresponding number as mentioned in the publication by the authors.)

Shielded base contraction

Full text
Garapa, Marco [1, 2] ; Ferme, Eduardo [1, 3] ; Reis, Mauricio D. L. [1, 2]
Total Authors: 3
[1] Univ Madeira, Fac Ciencias Exatas & Engn, Campus Univ Penteada, P-9020105 Funchal - Portugal
[2] CIMA, Evora - Portugal
[3] NOVA Lab Comp Sci & Informat NOVA LINCS, Caparica - Portugal
Total Affiliations: 3
Document type: Journal article
Source: ARTIFICIAL INTELLIGENCE; v. 259, p. 186-216, JUN 2018.
Web of Science Citations: 1

The one that is considered the standard model in the area of logic of belief change was proposed by Alchourron, Gardenfors and Makinson in 1985 and is, nowadays, known as the AGM model. Two of the main shortcomings pointed out to the AGM model of belief change are the (impractical) use of belief sets to represent belief states and the (unrealistic) acceptance of any new information. In this paper we study a kind of operators known as shielded base contractions which address both those issues. Indeed, on the one hand, these operators are defined on belief bases (rather than belief sets) and, on the other hand, they are constructed with the underlying idea that not all new informations are accepted. We propose twenty different classes of shielded base contractions and obtain axiomatic characterizations for each of them. Additionally we thoroughly investigate the interrelations (in the sense of inclusion) among all those classes. More precisely, we analyse whether each of those classes is or is not (strictly) contained in each of the remaining ones. (C) 2018 Elsevier B.V. All rights reserved. (AU)

FAPESP's process: 16/13354-3 - Belief base merging and applications to ontologies
Grantee:Renata Wassermann
Support Opportunities: Research Grants - Visiting Researcher Grant - International