MOCHA: Modularity in Model Checking
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
An architecture of a normative system: counts-as conditionals, obligations and permissions
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Sets, Sentences, and Some Logics about Imperatives
Fundamenta Informaticae - Deontic Logic in Computer Science
Specifying electronic societies with the causal calculator
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
A state/event temporal deontic logic
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
The deontic component of action language n C+
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Issues in Designing Logical Models for Norm Change
Organized Adaption in Multi-Agent Systems
Deontic redundancy: a fundamental challenge for deontic logic
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Ten problems of deontic logic and normative reasoning in computer science
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
Discussion paper: changing norms is changing obligation change
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
| Hi-index | 0.00 |
Reasoning about norms and time is of central concern to the regulation or control of the behavior of a multiagent system. In this paper we introduce a representation of normative systems that distinguishes between norms and the detached obligations of agents over time, leading to a simple and therefore practical way to reason about norms, obligations, time and agents. We consider the reasoning tasks to determine whether a norm is redundant in a normative system and whether two normative systems are equivalent. In the former case the redundant norm might be removed. In the latter case one norm might be replaced by the other. It is well known that properties concerning iterated or deontic detachment no longer hold when reasoning with multiple agents or with obligations over time. Yet, earlier approaches to reasoning about norms rarely consider the intricacies of time. We show how norms can be used to define the persistence of obligations of agents over time. We illustrate our approach by discussing three ways to relate norms and obligations of agents over time. Also we show how these three ways can be characterized.