A dynamic logic for reasoning about sub-ideal states


Dignum, F. and Meyer, J.-J.Ch. and Wieringa, R.J. (1994) A dynamic logic for reasoning about sub-ideal states. In: ECAI Workshop on Artificial Normative Reasoning, 8 Aug 1994, Amsterdam, The Netherlands (pp. pp. 79-92).

open access
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.
Item Type:Conference or Workshop Item
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/76207
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page