Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

JOLLI
2010

favoriteEmaildiscussreport

123views more JOLLI 2010»

The Situation Calculus: A Case for Modal Logic

13 years 2 months ago

The Situation Calculus: A Case for Modal Logic

Download ai.stanford.edu

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 sacriﬁcing the advantages of the original. Keywords Situation Calculus · Epistemic Logic · Dynamic Logic

Gerhard Lakemeyer

Real-time Traffic

Calculus | JOLLI 2010 | Keywords Situation Calculus | Reiter’s Version |

claim paper

Related Content

» Situation Calculus as Hybrid Logic First Steps

» The Chisholm Paradox and the Situation Calculus

» Theories of Intentions in the Framework of Situation Calculus

» Inductive Situation Calculus

» Knowledge and Planning in an ActionBased Multiagent Framework A Case Study

» Existential rigidity and many modalities in ordersorted logic

» Modal Event Calculus

» Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4

» On the Progression of Situation Calculus Basic Action Theories Resolving a 10yearold Conje...

Post Info
More Details (n/a)

Added	28 Jan 2011
Updated	28 Jan 2011
Type	Journal
Year	2010
Where	JOLLI
Authors	Gerhard Lakemeyer

Comments (0)