Specifying and analysing agent-based social institutions using Answer Set Programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3913 LNAI, Issue , 2006, Pages 99-113

  Cliffe, Owen ^a   De Vos, Marina ^a   Padget, Julian ^a  

^a University of Bath   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; INTELLIGENT AGENTS; MATHEMATICAL MODELS;

AGENT-BASED INSTITUTIONS; ANSWER SET PROGRAMMING;

COMPUTER PROGRAMMING;

EID: 33746093568     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11775331_7     Document Type: Conference Paper

References (26)

1. Alexander Artikis. Executable Specification of Open Norm-Governed Computational Systems. PhD thesis, Department of Electrical & Electronic Engineering, Imperial College London, September 2003.
2. A. Artikis, M. Sergot, and J. Pitt. An executable specification of an argumentation protocol. In Proceedings of conference on artificial intelligence and law (icail), pages 1-11. ACM Press, 2003.
3. A. Artikis, M. Sergot, and J. Pitt. Specifying electronic societies with the Causal Calculator. In F. Giunchiglia, J. Odell, and G. Weiss, editors, Proceedings of Workshop on Agent-Oriented Software Engineering III (AOSE), LNCS 2585. Springer, 2003.
4. Chitta Baral. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Press, 2003.
5. M. Colombetti, N. Fornara, and M. Verdicchio. The role of institutions in multiagent systems. In Proceedings of the Workshop on Knowledge based and reasoning agents, VIII Convegno AI*IA 2002, Siena, Italy, 2002.
6. Marco Colombetti and Mario Verdicchio. An analysis of agent speech acts as institutional actions. In The First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS '02), pages 1157-1164, New York, NY, USA, 2002. ACM Press.
7. Marina De Vos and Dirk Vermeir. Extending Answer Sets for Logic Programming Agents. Annals of Mathematics and Artifical Intelligence, 42(1-3): 103-139, September 2004. Special Issue on Computational Logic in Multi-Agent Systems.
8. Mark Denecker. What's in a Model? Epistemological Analysis of Logic Programming. CeurWS, September 2003. online CEUR-WS.org/Vol-78/.
9. Virginia Dignum, John-Jules Meyer, Frank Dignum, and Hans Weigand. Formal Specification of Interaction in Agent Societies. In Formal Approaches to Agent-Based Systems (FAABS-02), volume 2699 of Lecture Notes in Computer Science, pages 37-52, October 2003.
10. Douglass C. North. Institutions, Institutional Change and Economic Performance. Cambridge University Press, 1991.
11. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and Francesco Scarcello. The KR system dlv: Progress report, comparisons and benchmarks. In Anthony G. Cohn, Lenhart Schubert, and Stuart C. Shapiro, editors, KR'98: Principles of Knowledge Representation and Reasoning, pages 406-417. Morgan Kaufmann, San Francisco, California, 1998.
12. Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, and Hudson Turner, Nonmonotonic causal theories. Artificial Intelligence, Vol. 153, pp. 49-104, 2004.
13. Nicoletta Fornara and Marco Colombetti. Operational specification of a commitment-based agent communication language. In AAMAS '02: Proceedings of the first international joint conference on Autonomaus agents and multiagent systems, pages 536-542, New York, NY, USA, 2002. ACM Press.
14. Frank Dignum, Jan Broersen, Virginia Dignum, and John-Jules Meyer. Meeting the Deadline: Why, When and How. In Michael G. Hinchey, James L. Rash, and Walter F. Truszkowski, editors, Proceeding of the 3rd Conference on Formal Aspects of Agent-Based Systems (FAABS III), Greenbelt, Maryland, USA, volume 3228 of Lecture Notes in Computer Science, pages 30-40. Springer-Verlag, 26 April 2004.
15. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proc. of fifth logic programming symposium, pages 1070-1080. MIT PRESS, 1988.
16. Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9(3-4):365-386, 1991.
17. Frank Guerin and Jeremy Pitt. Denotational semantics for agent communication language. In AGENTS '01: Proceedings of the fifth international conference on Autonomous agents, pages 497-504. ACM Press, 2001.
18. Javier Vázquez-Salceda, Huib Aldewereld, and Frank Dignum. Imlementing Norms in Multiagent Systems. In Gabriela Lindemann, Jörg Denzinger, Ingo J. Timm, and et al., editors, Multiagent System Technologies: Second German Conference, MATES 2004, Erfurt, Germany, volume 3187 of Lecture Notes in Computer Science, pages 313-327. Springer Verlag GmbH, September 2004.
19. John R. Searle. The Construction of Social Reality. Alien Lane, The Penguin Press, 1995.
20. Andrew J.I. Jones and Marek Sergot. A Formal Characterisation of Institutionalised Power. ACM Computing Surveys, 28(4es):121, 1996. Read 28/11/2004.
21. L. Kamara, A. Artikis, B. Neville, and J. Pitt. Simulating computational societies. In P. Petta, R. Tolksdorf, and F. Zambonelli, editors, Proceedings of workshop on engineering societies in the agents world (esaw), LNCS 2577, pages 53-67. Springer, 2003.
22. R Kowalski and M Sergot. A logic-based calculus of events. New Gen. Comput., 4(1):61-95, 1986.
23. I. Niemelä and P. Simons. Smodels: An implementation of the stable model and well-founded semantics for normal LP. In Jürgen Dix, Ulrich Furbach, and Anil Nerode, editors, Proceedings of the 4th International Conference on Logic Programing and Nonmonotonic Reasoning, volume 1265 of LNAI, pages 420-429, Berlin, July 28-31 1997. Springer.
24. Marek Sergot. (C+)++: An action language for representing norms and institutions. Technical report, Imperial College, London, August 2004.
25. Munindar P. Singh. A social semantics for agent communication languages. In Frank Dignum and Mark Greaves, editors, Issues in Agent Communication, pages 31-45. Springer-Verlag: Heidelberg, Germany, 2000.
26. Mario Verdicchio and Marco Colombetti. A logical model of social commitment for agent communication. In AAMAS '03: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pages 528-535, New York, NY, USA, 2003. ACM Press.