From the specification to the implementation of norms: An automatic approach to generate rules from norms to govern the behavior of agents

Autonomous Agents and Multi-Agent Systems

Volumn 17, Issue 1, 2008, Pages 113-155

  Da Silva, Viviane Torres ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

Dialogical action; Governance of multi agent system; Implementation of norms; Non dialogical action; Norm; Specification of norms

Indexed keywords

EID: 44649179225     PISSN: 13872532     EISSN: 15737454     Source Type: Journal    
DOI: 10.1007/s10458-008-9039-8     Document Type: Article

References (41)

1. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., & Torroni, P. (2006). Compliance verification of agent interaction: A Logic-based tool. In Applied Artificial Intelligence, (Vol. 20 2-4, pp. 133-157). Taylor & Francis.
2. Aldewereld, H., Dignum, F., Garcia-Camino, A., Noriega, P., Rodriguez-Aguilar J., & Sierra, C. (2006). Operationalisation of norms for usage in electronic institutions. In Proceedings of the Fifth International Join Conference on Autonomous Agents and Multiagent Systems (pp. 223-225). ACM Press.
3. Artikis, A., Kamara, L., Pitt, J., & Sergot, M. (2005). A Protocol for resource sharing in norm-governed ad hoc networks. In Declarative agent languages and technologies II (pp. 221-238). LNCS 3476. Springer.
4. Bellifemine, F., Caire, G., & Greenwood, D. (2007). Developing multi-agent systems with JADE. Wiley.
5. Bigus, J. (2000). The agent building and learning environment. In Proceedings of the Fourth International Conference on Autonomous Agents (pp. 108-109). ACM Press.
6. Boella, G., & van der Torre, L. (2008) Substantive and procedural norms in normative multiagent systems. Journal of Applied Logic, 6(2), Revised versions of papers presented in the Proceeding of the Eight International Workshop on Deontic Logic in Computer Science (DEON06) (pp. 152-171).
7. Boella, G., & van der Torre, L. (2004). Regulative and constitutive norms in normative multi-Agent systems. In Proceedings of 9th International Conference on the Principles of Knowledge Representation and Reasoning, (KR'04) (pp. 255-265). AAAI Press.
8. Broersen, J., Dastani, M., Huang, Z., Hulstijn, J., & van der Torre, L. (2001). The BOID architecture: Conflicts between beliefs, obligations, intentions and desires. In Proceedings of the Fifth International Conference on Autonomous Agents (pp. 9-16). ACM Press.
9. Broersen, J., Dignum, F., Dignum, V., & Meyer, J.-J.Ch. (2004). Designing a deontic logic of deadlines. In Proceedings of the seventh international workshop on deontic logic in computer science (DEON04) (pp. 43-56). LNAI 3065, Springer.
10. Brown, M. (1996). Doing as we ought: Towards a logic of simply dischargeable obligations. In Proceedings of the Third International Workshop on Deontic Logic in Computer Science (DEON96) (pp. 47-65). Springer.
11. Brown M. (2000). Conditional obligation and positive permission for agents in time. Nordic Journal of Philosophical Logic (DEON00) 5(2): 83-112
12. Cholvy, L., & Garion, C. (2002). Collective obligations, commitments and individual obligations: a preliminary study. In Proceedings of the Sixth International Workshop on Deontic Logic in Computer Science (DEON02) (pp. 55-71).
13. CLIPS: A tool for building expert systems. (2008). Version 6.2, available on http://cliprules.sourceforge.net.
14. Colmerauer, A., & Roussel, P. (1992). The birth of prolog. In the Second ACM SIGPLAN conference on history of programming languages (pp. 37-52).
15. Cranefield, S. (2007). Modelling and monitoring social expectations in multi-agent systems. In Coordination, organizations, institutions, and norms in agent systems II (pp. 308-321). LNCS 4386. Springer.
16. Demolombe, R., & Hilpinen, R. (Eds.). (2007). Nordic Journal of Philosophical Logic, 5(2), Revised versions of papers presented in the Proceeding of the Fifth International Workshop on Deontic Logic in Computer Science (DEON00).
17. Dignum, F., Broersen, J., Dignum, V., & Meyer, J. (2004). Meeting the deadline: Why, when and how. In Formal approaches to agent-based systems (pp. 30-40). LNCS 3228. Springer.
18. Esteva, M., Padget, J., & Sierra, C. (2002). Formalizing a language for institutions and norms. In Intelligent Agents VIII (pp. 348-366). LNAI 2333. Springer.
19. FIPA-OS Agent Toolkit. (2008). Version 2.2.0. available on http://sourceforge.net/projects/fipa-os.
20. Fornara, N., & Colombetti M. (2006). Operational specification of a commitment-based agent communication language. In Proceedings of the Fifth International Join Conference on Autonomous Agents and Multiagent Systems (pp. 535-542). ACM Press.
21. Garcia, A., Lucena, C., & Cowan, D. (2004). Agents in object-oriented software engineering. In Software: Practice & Experience, (Vol. 34, 5, pp. 489-521). Elsevier.
22. García-Camino, A., Rodríguez-Aguilar, J., Sierra, C., & Vasconcelos, W. (2006). Norm-oriented programming of electronic institutions. In proceedings of the Fifth International Join Conference on Autonomous Agents and Multiagent Systems (pp. 670-672). ACM Press.
23. García-Camino, A., Noriega, P., & Rodríguez-Aguilar, J. (2005). Implementing norms in electronic institutions. In Proceedings of the Fourth International Join Conference on Autonomous Agents and Multiagent Systems (pp. 667-673). ACM Press.
24. Goble, L., & Meyer, J. (Eds.). (2008). Journal of Applied Logic, 6(2), Revised versions of papers presented in the Proceeding of the Eighth International Workshop on Deontic Logic in Computer Science (DEON06).
25. Governatori, G., & Rotolo, A. (2004). Defeasible logic: Agency, intention and obligation. In Deontic Logic in Computer Science, Seventh International Workshop on Deontic Logic in Computer Science (DEON04) (pp. 114-128). LNAI 3065, Springer.
26. Howden, N., Rönnquist, R., Hodgson, A., & Lucas, A. (2001). JACK intelligent agents-summary of an agent infrastructure. In Second International Workshop on Infrastructure for Agents, MAS, and Scalable MAS.
27. Jones, A. (Eds.). (2004). Journal of Applied Logic, 2(1), Revised versions of papers presented in the Proceeding of the Sixth International Workshop on Deontic Logic in Computer Science (DEON02).
28. Kendall, E., Malkoun, M., & Jiang, C. (1996). The layered agent patterns. In The Pattern Languages of Programs (PLoP'96).
29. Lomuscio, A., & Sergot, M. (2004). A formalisation of violation, error recovery, and enforcement in the bit transmission problem. Journal of Applied Logic, 2(1), Revised versions of papers presented in the Proceeding of the Sixth International Workshop on Deontic Logic in Computer Science (DEON02) (pp. 93-116).
30. Lomuscio, A., & Nute, D. (Eds.). (2004). Deontic Logic in Computer Science. In Proceedings of the seventh international workshop on deontic logic in Computer Science (DEON04), LNAI 3065, Springer Verlag.
31. López y López, F. (2003). Social power and norms: Impact on agent behavior. PhD thesis, Univ. of Southampton, Faculty of Engineering and Applied Science, Department of Electronics and Computer Science.
32. López y López, F., Luck, M., & d'Inverno, M. (2002). Constraining autonomy through norms. In Proceedings of the First International Join Conference on Autonomous Agents and Multiagent Systems (pp. 674-681). ACM Press.
33. Meyer, B. (1997). Object-oriented software construction (2nd ed.). Prentice Hall.
34. Nute, D. (1994). Defeasible logic. In Handbook of logic in artificial intelligence and logic programming, 3: Nonmonotonic reasoning and uncertain reasoning (pp. 353-395). Oxford University Press.
35. Pokahr, A., Braubach, L., & Lamersdorf, W. (2005). Jadex: A BDI Reasoning Engine. In Chapter 6 of multi-agent programming: Languages, platforms and Applications (pp. 149-174). Kluwer Book.
36. Rosenbloom P., Laird J. and Newell A. (1993). The soar papers: Research on Integrated intelligence. MIT Press, Cambridge, MA
37. Searle J. (1995). The construction of social reality. The Free Press, New York
38. Silva, V., Duran, F., Guedes, J., & Lucena, C. (2007). Governing multi-agent systems. Journal of Brazilian Computer Society. Special Issue in Software engineering for multi-agent systems, 13(2).
39. Singh, M. (1999). An ontology for commitments in multiagent systems: Toward a unification of normative concepts. Artificial Intelligence and Law, 7(1), Springer.
40. Vázquez-Salceda, J., Aldewereld, H., & Dignum, F. (2004). Implementing norms in multiagent systems. In Multiagent system technologies (pp. 313-327). LNAI 3187. Springer.
41. Yolum, P., & Singh, M. P. (2002). Flexible protocol specification and execution: applying event calculus planning using commitments. In Proceedings of the First International Join Conference on Autonomous Agents and Multiagent Systems (pp. 527-534). ACM Press.