Sciweavers

BIRTHDAY
2009
Springer

A Semantical Account of Progression in the Presence of Defaults

14 years 7 months ago
A Semantical Account of Progression in the Presence of Defaults
In previous work, we proposed a modal fragment of the situation calculus called ES, which fully captures Reiter’s basic action theories. ES also has epistemic features, including only-knowing, which refers to all that an agent knows in the sense of having a knowledge base. While our model of onlyknowing has appealing properties in the static case, it appears to be problematic when actions come into play. First of all, its utility seems to be restricted to an agent’s initial knowledge base. Second, while it has been shown that only-knowing correctly captures default inferences, this was only in the static case, and undesirable properties appear to arise in the presence of actions. In this paper, we remedy both of these shortcomings and propose a new dynamic semantics of only-knowing, which is closely related to Lin and Reiter’s notion of progression when actions are performed and where defaults behave properly.
Gerhard Lakemeyer, Hector J. Levesque
Added 19 May 2010
Updated 19 May 2010
Type Conference
Year 2009
Where BIRTHDAY
Authors Gerhard Lakemeyer, Hector J. Levesque
Comments (0)