Reference : Reasoning About Norms, Obligations, Time and Agents
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/25080
Reasoning About Norms, Obligations, Time and Agents
English
Broersen, Jan [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
van der Torre, Leon mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2007
PRIMA
Springer
Lecture Notes in Computer Science
Yes
International
978-3-642-01638-7
PRIMA
2007
[en] Norms, Obligations, Time and Agents ; concern to the regulation or control
[en] 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.
Researchers ; Professionals ; Students ; General public ; Others
http://hdl.handle.net/10993/25080
10.1007/978-3-642-01639-4_15
http://link.springer.com/chapter/10.1007%2F978-3-642-01639-4_15

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.