definition of counts-as relations; normative multiagent systems
Abstract :
[en] In this paper we reconsider the definition of counts-as relations in normative multiagent systems: counts-as relations do not always provide directly an abstract interpretation of brute facts in terms of institutional facts. We argue that in many cases the inference of institutional facts from brute facts is the result of actions of agents acting on behalf of the normative systems and who are in charge of recognizing which institutional facts follow from brute facts. We call this relation delegation of power: it is composed of a counts-as relation specifying that the effect of an action of an agent is an institutional fact and by a goal of the normative system that the fact is considered as an institutional fact. This relation is more complex than institutional empowerment, where an action of an agent counts-as an action of the normative system but no goal is involved, and than delegation of goals, where a goal is delegated to an agent without giving it any power. With two case studies we show the importance of the delegation of power. Finally, we show how the new definition can be related with existing ones by using different levels of abstraction.
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2009-118
Author, co-author :
Boella, Guido
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 :
Delegation of Power in Normative Multiagent Systems
Publication date :
2006
Event name :
Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ($$EON'06)
Event date :
2006
Main work title :
Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ($$EON'06)
scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.
Bibliography
Searle, J.: The Construction of Social Reality. The Free Press, New York (1995)
Grossi, D., Meyer, J.J., Dignum, F.: Counts-as: Classification or constitution? an answer using modal logic. In: Procs. of DEON'06, Berlin, Springer Verlag (2006)
Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Journal of IGPL 3 (1996) 427-443
Grossi, D., Dignum, F., Meyer, J.: Contextual terminologies. In: Procs. of CLIMA'05, Berlin, Springer Verlag (2005)
Boella, G., van der Torre, L.: A game theoretic approach to contracts in multiagent systems. IEEE Transactions on Systems, Man and Cybernetics - Part C (2006)
Boella, G., van der Torre, L.: Constitutive norms in the design of normative multiagent systems. In: Procs. of CLIMA'05, Berlin, Springer Verlag (2006)
Georgeff, M., Ingrand, F.F.: Decision-making in an embedded reasoning system. In: Procs. of 11th IJCAI. (1989) 972-978
Boella, G., van der Torre, L.: Security policies for sharing knowledge in virtual communities. IEEE Transactions on Systems, Man and Cybernetics - Part A (2006)
Hart, H.: The Concept of Law. Clarendon Press, Oxford (1961)
Castelfranchi, C.: Modeling social action for AI agents. Artificial Intelligence 103(1-2) (1998) 157-182
Bottazzi, E., Ferrario, R.: A path to an ontology of organizations. In: Procs. of EDOC Int. Workshop on Vocabularies, Ontologies and Rules for The Enterprise (VORTE 2005). (2005)
Boella, G., van der Torre, L.: From the theory of mind to the construction of social reality. In: Procs. of CogSci'05, Mahwah (NJ), Lawrence Erlbaum (2005) 298-303
Boella, G., van der Torre, L.: Organizations as socially constructed agents in the agent oriented paradigm. In: LNAI n. 3451: Procs. of ESAW'04, Berlin, Springer Verlag (2004) 1-13
Boella, G., van der Torre, L.: An architecture of a normative system. In: Procs. of DEON'06, Berlin, Springer Verlag (2006)
Anderson, A.: A reduction of deontic logic to alethic modal logic. Mind 67 (1958) 100-103
Meyer, J.J.C.: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic 29(1) (1988) 109-136
Artikis, A., Sergot, M., Pitt, J.: An executable specification of an argumentation protocol. In: Procs. of 9th International Conference on Artificial Intelligence and Law, ICAIL 2003, New York (NJ), ACM Press (2003) 1-11
Boella, G., van der Torre, L.: Δ: The social delegation cycle. In: LNAI n.3065: Procs. of ΔEON'04, Berlin, Springer Verlag (2004) 29-42
Boella, G., van der Torre, L.: Norm governed multiagent systems: The delegation of control to autonomous agents. In: Procs. of IEEE/WIC IAT'03, IEEE Press (2003) 329- 335
Broersen, J., Dastard, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. Cognitive Science Quarterly 2(3-4) (2002) 428-447
Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic 29 (2000) 383-408
Makinson, D., van der Torre, L.: Constraints for input-output logics. Journal of Philosophical Logic 30(2) (2001) 155-185
Bochman, A.: Explanatory Nonmonotonic Reasoning. World Scientific Publishing, London (UK) (2005)
Lang, J., van der Torre, L., Weydert, E.: Utilitarian desires. Autonomous Agents and Multiagent Systems 5(3) (2002) 329-363
Pacheco, O., Santos, F.: Delegation in a role-based organization. In: Procs. of ΔEON'04, Berlin, Springer Verlag (2004) 209-227
Gelati, J., Rotolo, A., Sartor, G., Governatori, G.: Normative autonomy and normative coordination: Declarative power, representation, and mandate. Artificial Intellingence and Law 12(1-2) (2004) 53-81