{"type":"ScholarlyArticle","title":"Bounded Epistemic Situation Calculus Theories","authors":[{"name":"Giuseppe De Giacomo","slug":"giuseppe-de-giacomo","given":"Giuseppe","family":"De Giacomo","affiliation":""},{"name":"Yves Lespérance","slug":"yves-lesperance","given":"Yves","family":"Lespérance","affiliation":""},{"name":"Fabio Patrizi","slug":"fabio-patrizi","given":"Fabio","family":"Patrizi","affiliation":""}],"abstract":"We define the class of e-bounded theories in the epistemic situation calculus, where the number of fluent atoms that the agent thinks may be true is bounded by a constant. Such theories can still have an infinite domain and an infinite set of states. We show that for them verification of an expressive class of first-order mu-calculus temporal epistemic properties is decidable. We also show that if the agent's knowledge in the initial situation is e-bounded and the objective part of an action theory maintains boundedness, then the entire epistemic theory is e-bounded.","doi":null,"url":"https://ijcai.org/proceedings/2013/131","pdf":"https://ijcai.org/proceedings/2013/0131.pdf","markdown":"https://ijcai.org/proceedings/2013/131.md","bibtex":"https://ijcai.org/proceedings/2013/bibtex/131","volume":{"slug":"2013","title":"Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2013","url":"https://ijcai.org/proceedings/2013/","year":2013,"location":"Beijing, China","dates":"3–9 August 2013","editors":"Francesca Rossi","isbn":"978-1-57735-633-2","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":131,"pages":{"first":846,"last":852},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}