Normative multiagent systems

In this paper we use recursive modelling to formalize sanction-based obligations in a qualitative game theory. In particular, we formalize an agent who attributes mental attitudes such as goals and desires to the normative system which creates and enforces its obligations. The wishes (goals, desires) of the normative system are the commands (obligations) of the agent. Since the agent is able to reason about the normative system’s behavior, our model accounts for many ways in which an agent can violate a norm believing that it will not be sanctioned. The theory can be used in theories or applications that need a model of rational decision making in normative multiagent systems, such as for example theories of fraud and deception, trust dynamics and reputation, electronic commerce, and virtual communities.

[1]  Henry Prakken.  Two approaches to the formalisation of defeasible deontic reasoning , 1996, Stud Logica.

[2]  Sarit Kraus,et al.  Reaching Agreements Through Argumentation: A Logical Model and Implementation , 1998, Artif. Intell..

[3]  V. S. Subrahmanian,et al.  Heterogeneous Active Agents, I: Semantics , 1999, Artif. Intell..

[4]  Edgar A. Whitley,et al.  The Construction of Social Reality , 1999 .

[5]  Guido Boella,et al.  Attributing mental attitudes to normative systems , 2003, AAMAS '03.

[6]  Mehdi Dastani,et al.  Goal generation in the BOID architecture , 2002 .

[7]  Gérard Chollet,et al.  Directory name retrieval over the telephone in the Picasso project , 1998, Proceedings 1998 IEEE 4th Workshop Interactive Voice Technology for Telecommunications Applications. IVTTA '98 (Cat. No.98TH8376).

[8]  V. S. Subrahmanian,et al.  Heterogeneous Active Agents , 1998 .

[9]  Leon van der Torre,et al.  Permission from an Input/Output Perspective , 2003, J. Philos. Log..

[10]  R. Tuomela.  The Importance of Us: A Philosophical Study of Basic Social Notions , 1995 .

[11]  Frank Dignum,et al.  Deliberative Normative Agents: Principles and Architecture , 1999, ATAL.

[12]  Guido Boella,et al.  Regulative and Constitutive Norms in Normative Multiagent Systems , 2004, KR.

[13]  Guido Boella,et al.  Local policies for the control of virtual communities , 2003, Proceedings IEEE/WIC International Conference on Web Intelligence (WI 2003).

[14]  Leon van der Torre,et al.  Contrary‐to‐duty reasoning with preference‐based dyadic obligations , 1999, Annals of Mathematics and Artificial Intelligence.

[15]  Leon van der Torre,et al.  Constraints for Input/Output Logics , 2001, J. Philos. Log..

[16]  Lou Boves,et al.  Incorporating confidence measures in the Dutch train timetable information system developed in the ARISE project , 1999, 1999 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings. ICASSP99 (Cat. No.99CH36258).

[17]  Moshe Tennenholtz,et al.  On the Emergence of Social Conventions: Modeling, Analysis, and Simulations , 1997, Artif. Intell..

[18]  Leon van der Torre,et al.  Diagnosis and decision making in normative reasoning , 1999, Artificial Intelligence and Law.

[19]  Lin-Shan Lee,et al.  Speaker intention modeling for large vocabulary Mandarin spoken dialogues , 1996, Proceeding of Fourth International Conference on Spoken Language Processing. ICSLP '96.

[20]  Stephen D. Schwarz.  The Right and the Good , 1992 .

[21]  Cesare marchese di Beccaria,et al.  Dei delitti e delle pene , 1964 .

[22]  Andreas Kellner,et al.  PADIS - An automatic telephone switchboard and directory information system , 1997, Speech Communication.

[23]  Jhing-Fa Wang,et al.  A Conversational Agent for Food-ordering Dialog Based on VenusDictate , 1997, ROCLING.

[24]  Chung-Hsien Wu,et al.  Telephone speech multi-keyword spotting using fuzzy search algorithm and prosodic verification , 1998, ICSLP.

[25]  C. Castelfranchi,et al.  Social Trust : A Cognitive Approach , 2000 .

[26]  Michael Wooldridge,et al.  Agent-based software engineering , 1997, IEE Proc. Softw. Eng..

[27]  Alexander H. Waibel,et al.  Recognition of spelled names over the telephone , 1996, Proceeding of Fourth International Conference on Spoken Language Processing. ICSLP '96.

[28]  Leon van der Torre,et al.  Input/Output Logics , 2000, J. Philos. Log..

[29]  Cristiano Castelfranchi,et al.  Modeling Social Action for AI Agents , 1997, IJCAI.

[30]  Vijay Raman,et al.  Progress in deployment and further development of the NYNEX VoiceDialingSM service , 1997, Speech Commun..

[31]  Guido Boella,et al.  Norm governed multiagent systems: the delegation of control to autonomous agents , 2003, IEEE/WIC International Conference on Intelligent Agent Technology, 2003. IAT 2003..

[32]  Victor Zue,et al.  JUPlTER: a telephone-based conversational interface for weather information , 2000, IEEE Trans. Speech Audio Process..

[33]  Ismael Cortázar,et al.  Current and experimental applications of speech technology for telecom services in Europe , 1997, Speech Commun..

[34]  Immanuel Kant,et al.  Kritik der praktischen Vernunft , 2003 .

[35]  Ian T. Foster,et al.  A community authorization service for group collaboration , 2002, Proceedings Third International Workshop on Policies for Distributed Systems and Networks.