{"type":"ScholarlyArticle","title":"On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus","authors":[{"name":"Liangda Fang","slug":"liangda-fang","given":"Liangda","family":"Fang","affiliation":""},{"name":"Yongmei Liu","slug":"yongmei-liu","given":"Yongmei","family":"Liu","affiliation":""},{"name":"Ximing Wen","slug":"ximing-wen","given":"Ximing","family":"Wen","affiliation":""}],"abstract":"In a seminal paper, Lin and Reiter introduced the notion of progression for basic action theories in the situation calculus. Recently, Fang and Liu extended the situation calculus to account for multi-agent knowledge and belief change. In this paper, based on their framework, we investigate progression of both belief and knowledge in the single-agent propositional case. We first present a model-theoretic definition of progression of knowledge and belief. We show that for propositional actions, i.e., actions whose precondition axioms and successor state axioms are propositional formulas, progression of knowledge and belief reduces to forgetting in the logic of knowledge and belief, which we show is closed under forgetting. Consequently, we are able to show that for propositional actions, progression of knowledge and belief is always definable in the logic of knowledge and belief.","doi":null,"url":"https://ijcai.org/proceedings/2015/418","pdf":"https://ijcai.org/proceedings/2015/0418.pdf","markdown":"https://ijcai.org/proceedings/2015/418.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/418","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Special Track on Knowledge Representation and Reasoning","track":"Special Track on Knowledge Representation and Reasoning","number":418,"pages":{"first":2955,"last":2962},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}