Sciweavers

Share
JOLLI
2010

The Situation Calculus: A Case for Modal Logic

8 years 12 months ago
The Situation Calculus: A Case for Modal Logic
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of the situation calculus, show how knowledge and time have been addressed in this framework, and point to some of the weaknesses of the situation calculus with respect to time. We then present a modal version of the situation calculus where these problems can be overcome with relative ease and without sacrificing the advantages of the original. Keywords Situation Calculus · Epistemic Logic · Dynamic Logic
Gerhard Lakemeyer
Added 28 Jan 2011
Updated 28 Jan 2011
Type Journal
Year 2010
Where JOLLI
Authors Gerhard Lakemeyer
Comments (0)
books