---
title: "Bounded Epistemic Situation Calculus Theories"
authors:
  - "Giuseppe De Giacomo"
  - "Yves Lespérance"
  - "Fabio Patrizi"
doi: ""
url: "https://ijcai.org/proceedings/2013/131"
pdf: "https://ijcai.org/proceedings/2013/0131.pdf"
venue: "Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence"
year: 2013
pages: "846-852"
track: ""
keywords:
---

# Bounded Epistemic Situation Calculus Theories

Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi

*Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence*, pages 846-852.

## 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.