Back to Search
Start Over
Belief revision and projection in the epistemic situation calculus.
- Source :
-
Artificial Intelligence . Oct2017, Vol. 251, p62-97. 36p. - Publication Year :
- 2017
-
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. [ABSTRACT FROM AUTHOR]
- Subjects :
- *EPISTEMIC logic
*DEFEASIBLE reasoning
*LEXICOGRAPHY
*CALCULUS
*COMPUTER science
Subjects
Details
- Language :
- English
- ISSN :
- 00043702
- Volume :
- 251
- Database :
- Academic Search Index
- Journal :
- Artificial Intelligence
- Publication Type :
- Academic Journal
- Accession number :
- 124819867
- Full Text :
- https://doi.org/10.1016/j.artint.2017.07.004