Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4942043 | Artificial Intelligence | 2017 | 43 Pages |
Abstract
This article considers defeasible beliefs in dynamic settings. In particular, we examine the belief projection problem: what is believed after performing an action and/or receiving new information? The approach is based on an epistemic variant of Reiter's situation calculus, where actions not only have physical effects but may also provide new information to the agent. The preferential belief structure is initially determined using conditional statements. New information is then incorporated using two popular belief revision schemes, namely natural and lexicographic revision. The projection problem is solved twofold in this formalism: by goal regression and by knowledge base progression.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco,