No full text
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations
Boella, Guido; Broersen, Jan; van der Torre, Leon
2008In Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings
Peer reviewed
 

Files


Full Text
No document available.

Send to



Details



Keywords :
norms and time is of central concern; regulation or control of the behavior; multi-agent system
Abstract :
[en] Reasoning about norms and time is of central concern to the regulation or control of the behavior of a multi-agent system. In earlier work we introduce a representation of normative systems that distinguishes between norms and the detached obligations of agents over time. In this paper we consider constitutive norms and the detached counts-as conditionals and institutional facts in this framework, we introduce deadlines in the regulative norms, and we consider the corresponding role of violations. We focus on the reasoning tasks to determine whether a constitutive or regulative norm is redundant in a normative system and whether two normative systems are equivalent. We distinguish counts-as equivalence, institutional equivalence, obligation equivalence and violation equivalence, depending on whether we are interested in all normative consequences, or only a subset of them. For the various notions of equivalence, we give sound and complete characterizations.
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2009-212
Author, co-author :
Boella, Guido
Broersen, Jan
van der Torre, Leon ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations
Publication date :
2008
Event name :
Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings
Event date :
2008
Audience :
International
Main work title :
Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings
Publisher :
Springer
ISBN/EAN :
978-3-540-89673-9
Collection name :
Lecture Notes in Computer Science 5357
Pages :
86–97
Peer reviewed :
Peer reviewed
Commentary :
5357
Available on ORBilu :
since 01 March 2016

Statistics


Number of views
63 (2 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
27
Scopus citations®
without self-citations
21
OpenCitations
 
16
WoS citations
 
17

Bibliography


Similar publications



Contact ORBilu