ISSN:
1573-0670
Keywords:
Belief revision
;
update
;
algorithms
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract Numerous belief revision and update semantics have been proposed in the literature in the past few years, but until recently, no work in the belief revision literature has focussed on the problem of implementing these semantics, and little attention has been paid to algorithmic questions. In this paper, we present and analyze our update algorithms built in Immortal, a model-based belief revision system. These algorithms can work for a variety of model-based belief revision semantics proposed to date. We also extend previously proposed semantics to handle updates involving the equality predicate and function symbols and incorporate these extensions in our algorithms. As an example, we discuss the use of belief revision semantics to model the action-augmented envisioning problem in qualitative simulation, and we show the experimental results of running an example simulation in Immortal.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF00881886
Permalink
