Bounded Epistemic Situation Calculus Theories. Giacomo, De, G., Lespérance, Y., & Patrizi, F. In IJCAI, 2013. IJCAI/AAAI.
Bounded Epistemic Situation Calculus Theories. [link]Paper  Bounded Epistemic Situation Calculus Theories. [link]Link  abstract   bibtex   
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.
@inproceedings{ conf/ijcai/GiacomoLP13,
  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.},
  added-at = {2014-06-02T12:31:31.000+0200},
  audience = {academic},
  author = {Giacomo, Giuseppe De and Lespérance, Yves and Patrizi, Fabio},
  biburl = {http://www.bibsonomy.org/bibtex/22855536a14aac6d121ed9d17f4d2ed3b/savo.fabio},
  booktitle = {IJCAI},
  editor = {Rossi, Francesca},
  ee = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6649},
  interhash = {60a22b61f95b2e4445db2e5564138df9},
  intrahash = {2855536a14aac6d121ed9d17f4d2ed3b},
  isbn = {978-1-57735-633-2},
  keywords = {optique-project},
  partneroptique = {UNIROMA1},
  publisher = {IJCAI/AAAI},
  title = {Bounded Epistemic Situation Calculus Theories.},
  url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2013.html#GiacomoLP13},
  wpoptique = {WP4},
  year = {2013},
  yearoptique = {Y1}
}

Downloads: 0