A dynamic logic for reasoning about sub-ideal states

F. Dignum, J.-J.Ch. Meyer, Roelf J. Wieringa

    Research output: Contribution to conferencePaper

    17 Downloads (Pure)

    Abstract

    In this paper, we will show how dynamic logic can be used to reason about so-called sub-ideal states, i.e. states in which some deontic constraint is violated. For this purpose we have to extend the defonition of the deontic operators. Instead of only giving a post-condition with respect to violations for each action we will consider the complete state transition. In order to distinguish between different states of violation we will also index the violation predicates. The introduction of these two extensions makes it possible to reason in a flexible and natural way about sub-ideal states.
    Original languageUndefined
    Pages79-92
    Number of pages14
    Publication statusPublished - Aug 1994
    EventECAI 1994 Workshop on Artificial Normative Reasoning - Amsterdam, Netherlands
    Duration: 8 Aug 19948 Aug 1994

    Workshop

    WorkshopECAI 1994 Workshop on Artificial Normative Reasoning
    CountryNetherlands
    CityAmsterdam
    Period8/08/948/08/94

    Keywords

    • EWI-10655
    • IR-76207
    • SCS-Services

    Cite this

    Dignum, F., Meyer, J-JC., & Wieringa, R. J. (1994). A dynamic logic for reasoning about sub-ideal states. 79-92. Paper presented at ECAI 1994 Workshop on Artificial Normative Reasoning, Amsterdam, Netherlands.