An executable specification of an argumentation protocol

ABSTRACT

Open multi-agent computational systems are composed of heterogeneous and possibly antagonistic software entities. Characteristic features are limited trust and unpredictable behaviour. Members of such systems may fail to, or even choose not to, conform to the norms governing their interactions. It has been argued that systems of this type should have a formal, declarative, verifiable, and meaningful semantics. We present a theoretical and computational framework being developed for the executable specification of such systems. We adopt an external perspective and view open computational systems as instances of normative systems. In this paper we demonstrate how the framework can be applied to specifying and executing an argumentation protocol based on Brewka's reconstruction of Rescher's theory of formal disputation. The specification is formalised in the action language C+ and executed using the 'Causal Calculator' (CCALC) implementation.

REFERENCES

• 1: Alexander Artikis , Jeremy Pitt , Marek Sergot, Animated specifications of computational societies, Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3, July 15-19, 2002, Bologna, Italy [doi>10.1145/545056.545070]
• 2: A. Artikis, M. Sergot, and J: Pitt. Specifying electronic societies with the Causal Calculator. In Proceedings of Workshop on Agent-Oriented Software Engineering III (AOSE), LNCS 2585. Springer, 2003.
• 3: G. Brewka. Dynamic argument systems: A formal model of argumentation processes based on situation calculus. Journal of Logic and Computation, 11(2): 257--282, 2001.
• 4: Gerhard Brewka , Thomas Eiter, Prioritizing Default Logic, Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), p.27-45, January 2000
• 5: Marc Esteva , Juan A. Rodríguez-Aguilar , Carles Sierra , Pere Garcia , Josep Lluís Arcos, On the Formal Specifications of Electronic Institutions, Agent Mediated Electronic Commerce, The European AgentLink Perspective., p.126-147, January 2001
• 6: Enrico Giunchiglia , Joohyung Lee , Vladimir Lifschitz , Norman McCain , Hudson Turner, Nonmonotonic causal theories, Artificial Intelligence, v.153 n.1-2, p.49-104, March 2004 [doi>10.1016/j.artint.2002.12.001]
• 7: E. Giunchiglia, J. Lee, V. Lifschitz, and H. Turner. Causal laws and multi-valued fluents. In Proceedings of the Workshop on Nonmonotonic Reasoning, Action, and Change, 2001.
• 8: Enrico Giunchiglia , Vladimir Lifschitz, An action language based on causal explanation: preliminary report, Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence, p.623-630, July 1998, Madison, Wisconsin, United States
• 9: Carl Hewitt, Open information systems semantics for distributed artificial intelligence, Artificial Intelligence, v.47 n.1-3, p.79-106, Jan. 1991 [doi>10.1016/0004-3702(91)90051-K]
• 10: Andrew J. I. Jones , Marek Sergot, On the characterization of law and computer systems: the normative systems perspective, Deontic logic in computer science: normative system specification, John Wiley and Sons Ltd., Chichester, UK, 1994
• 11: A. Jones and M. Sergot. A formal characterisation of institutionalised power. Journal of the IGPL, 4(3):429--445, 1996.
• 12: Y. Moses and M. Tennenholtz. Artificial social systems. Computers and Artificial Intelligence, 14(6):533--562, 1995.
• 13: Prakken,, Formalizing Robert''s Rules of Order An Experiment in Automating Mediation of Group Decision Making, European Research Consortium for Informatics and Mathematics at FHG, 2001
• 14: Knowlege in action: logical foundations for specifying and implementing dynamical systems, MIT Press, Cambridge, MA, 2001
• 15: N. Rescher, Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge. State University of New York Press, 1977.
• 16: M. Sergot. The language (C/C+)++. In J. Pitt, editor, Deliverable D6(2) of ALFEBIITE EÜ-Project (IST-1999--10298), pages 55--84, 2002.
• 17: R. Smith and R. Davis. Distributed problem solving: The contract-net approach. In Proceedings of Conference of Canadian Society for Computational Studies of Intelligence, pages 217--236, 1978.
• 18: Pinar Yolum , Munindar P. Singh, Flexible protocol specification and execution: applying event calculus planning using commitments, Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2, July 15-19, 2002, Bologna, Italy [doi>10.1145/544862.544867]