Bounded Epistemic Situation Calculus Theories. Giacomo, De, G., Lespérance, Y., & Patrizi, F. In IJCAI, 2013. IJCAI/AAAI. Paper 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
{"_id":{"_str":"538836340e577e1d6b002d68"},"__v":0,"authorIDs":[],"author_short":["Giacomo","De, G.","Lespérance, Y.","Patrizi, F."],"bibbaseid":"giacomo-de-lesprance-patrizi-boundedepistemicsituationcalculustheories-2013","bibdata":{"downloads":0,"keyword":["optique-project"],"bibbaseid":"giacomo-de-lesprance-patrizi-boundedepistemicsituationcalculustheories-2013","urls":{"Paper":"http://dblp.uni-trier.de/db/conf/ijcai/ijcai2013.html#GiacomoLP13","Link":"http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6649"},"role":"author","yearoptique":"Y1","year":"2013","wpoptique":"WP4","url":"http://dblp.uni-trier.de/db/conf/ijcai/ijcai2013.html#GiacomoLP13","type":"inproceedings","title":"Bounded Epistemic Situation Calculus Theories.","publisher":"IJCAI/AAAI","partneroptique":"UNIROMA1","keywords":"optique-project","key":"conf/ijcai/GiacomoLP13","isbn":"978-1-57735-633-2","intrahash":"2855536a14aac6d121ed9d17f4d2ed3b","interhash":"60a22b61f95b2e4445db2e5564138df9","id":"conf/ijcai/GiacomoLP13","ee":"http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6649","editor_short":["Rossi, F."],"editor":["Rossi, Francesca"],"booktitle":"IJCAI","biburl":"http://www.bibsonomy.org/bibtex/22855536a14aac6d121ed9d17f4d2ed3b/savo.fabio","bibtype":"inproceedings","bibtex":"@inproceedings{ conf/ijcai/GiacomoLP13,\n abstract = {We define the class of e-bounded theories in the epistemic situation calculus, where the number of \r\n fluent atoms that the agent thinks may be true is bounded by a constant. Such theories can still \r\n have an infinite domain and an infinite set of states. We show that for them verification of an expressive class of first-order \r\n mu-calculus temporal epistemic properties is decidable. We also show that if the agent’s knowledge in the initial situation is \r\n e-bounded and the objective part of an action theory maintains boundedness, then the entire epistemic theory is e-bounded.},\n added-at = {2014-06-02T12:31:31.000+0200},\n audience = {academic},\n author = {Giacomo, Giuseppe De and Lespérance, Yves and Patrizi, Fabio},\n biburl = {http://www.bibsonomy.org/bibtex/22855536a14aac6d121ed9d17f4d2ed3b/savo.fabio},\n booktitle = {IJCAI},\n editor = {Rossi, Francesca},\n ee = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6649},\n interhash = {60a22b61f95b2e4445db2e5564138df9},\n intrahash = {2855536a14aac6d121ed9d17f4d2ed3b},\n isbn = {978-1-57735-633-2},\n keywords = {optique-project},\n partneroptique = {UNIROMA1},\n publisher = {IJCAI/AAAI},\n title = {Bounded Epistemic Situation Calculus Theories.},\n url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2013.html#GiacomoLP13},\n wpoptique = {WP4},\n year = {2013},\n yearoptique = {Y1}\n}","author_short":["Giacomo","De, G.","Lespérance, Y.","Patrizi, F."],"author":["Giacomo","De, Giuseppe","Lespérance, Yves","Patrizi, Fabio"],"audience":"academic","added-at":"2014-06-02T12:31:31.000+0200","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."},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/search/optique-project?bibtex.entriesPerPage=10000","downloads":1,"keywords":["optique-project"],"search_terms":["bounded","epistemic","situation","calculus","theories","giacomo","de","lespérance","patrizi"],"title":"Bounded Epistemic Situation Calculus Theories.","year":2013,"dataSources":["tYYCZGwzkJatkJPTa"]}