Computing Publications

Publications Home » Interleaving belief revision and ...

Interleaving belief revision and reasoning: preliminary report

Fariba Sadri, Francesca Toni

Conference or Workshop Paper
Convegno Italiano di Logica Computazionale (CILC 2005)
June, 2005
Abstract

Most existing work on belief revision and knowledge representation and reasoning tacitly assumes that belief revision is performed off-line, and that reasoning from the beliefs is performed either before or after the beliefs are changed. This imposes that, if a revision occurs while reasoning is performed, reasoning has to be stopped and re-started anew so that the revision is taken into account, with an obvious wastage of reasoning effort. In this paper, we tackle the problem of performing belief revision on-line, while reasoning is taking place by means of an abductive proof procedure.

PDF of full publication (182 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.