Substantive and procedural norms in normative multiagent systems

Journal of Applied Logic

Volumn 6, Issue 2, 2008, Pages 152-171

  Boella, Guido ^a   van der Torre, Leendert ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

Deontic logic; Multiagent systems; Normative systems; Procedural norms

Indexed keywords

EMPOWERMENT OF PERSONNEL; FORMAL LOGIC; LAW ENFORCEMENT; ONTOLOGY; SOFTWARE AGENTS;

ABSTRACTION HIERARCHY; DEONTIC LOGICS; NORMATIVE SYSTEMS; PROCEDURAL NORMS;

MULTI AGENT SYSTEMS;

EID: 42649123989     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2007.06.006     Document Type: Article

References (44)

1. H. Aldewereld, Autonomy vs. conformity: An institutional perspective on norms and protocols, PhD thesis, Utrecht University, 2007
2. Anderson A. A reduction of deontic logic to alethic modal logic. Mind 67 (1958) 100-103
3. Aqvist L. Deontic logic. In: Gabbay D., and Guenthner F. (Eds). Handbook of Philosophical Logic: vol. II: Extensions of Classical Logic (1984), Reidel, Dordrecht 605-714
4. Artikis A., Sergot M., and Pitt J. An executable specification of an argumentation protocol. Procs. of 9th International Conference on Artificial Intelligence and Law, ICAIL 2003 (2003), ACM Press, New York
5. Bochman A. Explanatory Nonmonotonic Reasoning (2005), World Scientific Publishing, London
6. Boella G., and van der Torre L. Norm governed multiagent systems: The delegation of control to autonomous agents. Procs. of the 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT'03) (2003), IEEE
7. Boella G., and van der Torre L. Game specification in normative multiagent system: The trias politica. Procs. of IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'04) (2004), IEEE
8. Boella G., and van der Torre L. Enforceable social laws. Procs. of 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'05) (2005), ACM, New York
9. Boella G., and van der Torre L. From the theory of mind to the construction of social reality. Procs. of the 27th Annual Conference of the Cognitive Science Society (CogSci'05) (2005), Lawrence Erlbaum, Mahwah
10. Boella G., and van der Torre L. Constitutive norms in the design of normative multiagent systems. Computational Logic in Multi-Agent Systems, 6th International Workshop (CLIMA VI). LNCS vol. 3900 (2006), Springer, Berlin
11. Boella G., and van der Torre L. A game theoretic approach to contracts in multiagent systems. IEEE Transactions on Systems, Man and Cybernetics-Part C: Applications and Reviews 36 1 (2006) 68-79
12. Boella G., and van der Torre L. A logical architecture of a normative system. Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science (ΔEON'06). LNCS vol. 4048 (2006), Springer, Berlin
13. Boella G., and van der Torre L. Security policies for sharing knowledge in virtual communities. IEEE Transactions on Systems, Man and Cybernetics-Part A: Systems and Humans 36 3 (2006) 439-450
14. G. Boella, L. van der Torre, Institutions with a hierarchy of authorities in distributed dynamic environments, Artificial Intelligence and Law Journal (AILaw)
15. Boella G., and van der Torre L. Norm negotiation in multiagent systems. International Journal of Cooperative Information Systems (IJCIS) 16 2 (2007) 97-122 (Special Issue: Emergent Agent Societies)
16. G. Boella, L. van der Torre, The ontological properties of social roles in multi-agent systems: Definitional dependence, powers and roles playing roles, Artificial Intelligence and Law Journal (AILaw)
17. Boella G., van der Torre L., and Verhagen H. Introduction to normative multiagent systems. Computation and Mathematical Organizational Theory 12 2-3 (2006) 71-79 (Special Issue on Normative Multiagent Systems)
18. E. Bottazzi, R. Ferrario, A path to an ontology of organizations, in: Procs. of EDOC Int. Workshop on Vocabularies, Ontologies and Rules for The Enterprise (VORTE 2005), 2005
19. Brafman R., and Tennenholtz M. On partially controlled multi-agent systems. Journal of Artificial Intelligence Research (JAIR) 4 (1996) 477-507
20. Broersen J., Dastani M., Hulstijn J., and van der Torre L. Goal generation in the BOID architecture. Cognitive Science Quarterly 2 3-4 (2002) 428-447
21. Castelfranchi C. Modeling social action for AI agents. Artificial Intelligence 103 1-2 (1998) 157-182
22. Castelfranchi C. The micro-macro constitution of power. Protosociology 18 (2003) 208-269
23. Gelati J., Rotolo A., Sartor G., and Governatori G. Normative autonomy and normative co-ordination: Declarative power, representation, and mandate, Artificial Intelligence and Law 12 1-2 (2004) 53-81
24. Georgeff M., and Ingrand F.F. Decision-making in an embedded reasoning system. Procs. of 11th International Joint Conference on Artificial Intelligence (IJCAI'89) (1989), Morgan Kaufmann, San Mateo, CA
25. Gmytrasiewicz P.J., and Durfee E.H. Formalization of recursive modeling. Procs. of the 1st International Conference on Multiagent Systems (ICMAS'95) (1995), AAAI/MIT Press, Cambridge
26. Grossi D., Aldewereld H., Vazquez-Salceda J., and Dignum F. Ontological aspects of the implementation of norms in agent-based electronic institutions. Computational & Mathematical Organization Theory 12 2-3 (2006) 251-275
27. Grossi D., Dignum F., and Meyer J. Contextual terminologies. Computational Logic in Multi-Agent Systems, 6th International Workshop (CLIMA VI). LNCS vol. 3900 (2006), Springer, Berlin
28. Grossi D., Meyer J.-J., and Dignum F. Counts-as: Classification or constitution? An answer using modal logic. Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science (ΔEON'06). LNCS vol. 4048 (2006), Springer, Berlin
29. Hart H. The Concept of Law (1961), Clarendon Press, Oxford
30. Jones A., and Carmo J. Deontic logic and contrary-to-duties. In: Gabbay D., and Guenthner F. (Eds). Handbook of Philosophical Logic vol. 3 (2001), Kluwer, Dordrecht 203-279
31. Jones A., and Sergot M. A formal characterisation of institutionalised power. Journal of IGPL 3 (1996) 427-443
32. Lang J., van der Torre L., and Weydert E. Utilitarian desires. Autonomous Agents and Multiagent Systems 5 3 (2002) 329-363
33. Makinson D., and van der Torre L. Input-output logics. Journal of Philosophical Logic 29 4 (2000) 383-408
34. Makinson D., and van der Torre L. Constraints for input-output logics. Journal of Philosophical Logic 30 2 (2001) 155-185
35. Merriam-Webster. Dictionary of Law (1996), Merriam-Webster
36. 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
37. Pacheco O., and Santos F. Delegation in a role-based organization. Procs. of ΔEON'04 (2004), Springer, Berlin
38. Ross A. Tû-tû. Harvard Law Review 70 5 (1957) 812-825
39. Sadighi Firozabadi B., and Sergot M. Contractual access control. Security Protocols, 10th International Workshop. LNCS vol. 2845 (2004), Springer, Berlin
40. Sadighi Firozabadi B., and van der Torre L. Formal models of control systems. Procs. of 13th European Conference on Artificial Intelligence (ECAI'98) (1998), John Wiley and Sons, Chichester
41. Searle J. The Construction of Social Reality (1995), The Free Press, New York
42. Sloman M.S. Policy driven management of distributed systems. Journal of Network and Systems Management 2 4 (1994) 333-360
43. van der Torre L., and Tan Y. Contrary-to-duty reasoning with preference-based dyadic obligations. Annals of Mathematics and Artificial Intelligence 27 1-4 (1999) 49-78
44. von Wright G.H. Deontic logic. Mind 60 (1950) 1-15