Journal Article

From Situation Calculus to Dynamic Epistemic Logic

Hans Van Ditmarsch, Andreas Herzig and Tiago De Lima

in Journal of Logic and Computation

Volume 21, issue 2, pages 179-204
Published in print April 2011 | ISSN: 0955-792X
Published online July 2010 | e-ISSN: 1465-363X | DOI: http://dx.doi.org/10.1093/logcom/exq024
From Situation Calculus to Dynamic Epistemic Logic

Show Summary Details

Preview

We start from Reiter’s solution to the frame problem in terms of successor state axioms and Scherl and Levesque’s extension to knowledge, as formulated by Lakemeyer and Levesque in their logic ES.While it was believed up to now that quantification over actions is a characteristic feature of Reiter’s solution, we here show that for a reasonably large subset of Reiter’s basic action theories one can do without.We do so by recasting restricted basic action theories in a propositional modal logic, viz. dynamic epistemic logic with public announcements and public assignments.

Keywords: Reasoning about actions; situation calculus; frame problem; successor state axioms; knowledge representation and reasoning; dynamic epistemic logic

Journal Article.  0 words. 

Subjects: Computing ; Logic

Full text: subscription required

How to subscribe Recommend to my Librarian

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.