A computational model for belief change and fusing ordered belief bases - Archive ouverte HAL Access content directly
Book Sections Year : 2001

A computational model for belief change and fusing ordered belief bases

(1) , (1) , (1)
1

Abstract

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 and versions

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

Identifiers

Cite

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⟩
14 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More