Logics for Belief Base Updating - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 1998

Logics for Belief Base Updating

Résumé

A database is a device to store and retrieve information. In the terminology of Levesque [Levesque, 1984], a database comes equipped with a querying function ASK and an update function TELL. The query ASK (light-on) means that the database is asked whether it follows from the data contained in it that the light in question is on. The answer is basically ‘yes’ or ‘no’. (There might be more cooperative answers such as a variable substitution à la PROLOG.) In the simplest case light-on ollows from the database just if light-on explicitly appears in it, but in the case of more expressive systems such as logical databases the answering mechanism resorts to deduction.
Fichier non déposé

Dates et versions

hal-04030465 , version 1 (15-03-2023)

Identifiants

Citer

Andreas Herzig. Logics for Belief Base Updating. Belief Change, 3, Springer Netherlands, pp.189-231, 1998, Handbook of Defeasible Reasoning and Uncertainty Management Systems book series (HAND), 978-94-010-6123-0. ⟨10.1007/978-94-011-5054-5_5⟩. ⟨hal-04030465⟩
4 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More