3 research outputs found

    Удвоение памяти для набора программ в ЭВМ "Проминь"

    Get PDF
    In previous work, we proposed a modal fragment of the sit-uation calculus called ES, which fully captures Reiter’s ba-sic action theories. ES also has epistemic features, includ-ing 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
    corecore