In previous work, we proposed a modal fragment of the situation calculus called , which fully captures Reiter's basic action theories. 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 only-knowing 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. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Lakemeyer, G., & Levesque, H. J. (2009). A semantical account of progression in the presence of defaults. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5600 LNCS, pp. 82–98). https://doi.org/10.1007/978-3-642-02463-4_6
Mendeley helps you to discover research relevant for your work.