The cost of social agents

In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show that the notion of social agent either requires more complex computations or has some philosophical drawbacks.

[1]  Frank Dignum,et al.  Autonomous agents with norms , 1999, Artificial Intelligence and Law.

[2]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

[3]  A. Montefiore.  NORM AND ACTION , 1964 .

[4]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[5]  Frank Dignum,et al.  Towards socially sophisticated BDI agents , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[6]  Michael J. Maher,et al.  Efficient defeasible reasoning systems , 2000, Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000.

[7]  Guido Governatori,et al.  Programming Cognitive Agents in Defeasible Logic , 2005, LPAR.

[8]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[9]  Guido Governatori,et al.  Preferences of Agents in Defeasible Logic , 2005, Australian Conference on Artificial Intelligence.

[10]  Krister Segerberg,et al.  Modal logic and philosophy , 2007, Handbook of Modal Logic.

[11]  Guido Governatori,et al.  Defeasible Logic: Agency, Intention and Obligation , 2004, DEON.

[12]  Michael J. Maher,et al.  A Flexible Framework for Defeasible Logics , 2000, AAAI/IAAI.

[13]  G. Sartor.  Legal Reasoning: A Cognitive Approach to Law , 2005 .

[14]  Michael J. Maher.  Under consideration for publication in Theory and Practice of Logic Programming 1 Propositional Defeasible Logic has Linear Complexity , 2004 .

[15]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[16]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[17]  Ioannis P. Vlahavas,et al.  DR-DEVICE: A Defeasible Logic System for the Semantic Web , 2004, PPSWR.

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