A computational model for belief change and fusing ordered belief bases - Université d'Artois Accéder directement au contenu
Chapitre D'ouvrage Année : 2001

A computational model for belief change and fusing ordered belief bases

Résumé

The problem of belief change has traditionally been a topic of investigation for philosophers of cognition (e.g., [Levi, 1980]). In the last decade, it has become a major issue in Artificial Intelligence and Information Systems for the purpose of managing the flux of information in databases. The revision of a database, due to the insertion of some input of information (often called update) has been considered since the early eighties [Fagin et al., 1983] and solved at the syntactic level often in an ad hoc way. On the contrary, revision tools proposed by philosophers are axiomatically justified [Gärdenfors, 19881, but difficult to implement in practice (see e.g., Nebel, [1992; 1998]); moreover the representation of epistemic states (also called cognitive states which gather the available beliefs about the real world) is carried out at the semantic level, sometimes by deductively closed logical theories, sometimes by set of possible worlds [Grove, 1988].

Dates et versions

hal-03300214 , version 1 (27-07-2021)

Identifiants

Citer

Salem Benferhat, Didier Dubois, Henri Prade. A computational model for belief change and fusing ordered belief bases. H.Rott; M.Williams. Frontiers of Belief Revision, 22, Kluwer Academic, pp.109-134, 2001, Applied Logic Series book series (APLS), 978-90-481-5720-4. ⟨10.1007/978-94-015-9817-0_5⟩. ⟨hal-03300214⟩
27 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More