Abstract
Argumentation has received steadily increasing attention in the multi-agent systems community over the past decade, with particular interest in the use of argument models from the informal logic community. The formalisation of such argument systems is a necessary step if they are to be successfully deployed, and their properties rigorously understood. However, there is as yet no widely accepted approach to the formalisation of argument systems. In this paper, we take as our starting point the view that arguments and dialogues are inherently meta-logical, and that any proper formalisation of argument must embrace this aspect of their nature. For example, a statement that serves as a justification of an argument is is statement about an argument: the argument for which the justification serves must itself be referred to in the justification. From this starting position, we develop a formalisation of arguments using a hierarchical first-order meta-logic, in which statements in successively higher tiers of the argumentation hierarchy refer to statements further down the hierarchy. This enables us to give a clean formal separation between object-level statements, arguments made about these object level statements, and statements about arguments.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bench-Capon, T.J.M.: Persuasion in practical argument using value based argumentation frameworks. Journal of Logic and Computation 13(3), 429–448 (2003)
Besnard, P., Hunter, A.: A logic-based theory of deductive arguments. Artificial Intelligence 128, 203–235 (2001)
Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumen- tation-theoretic approach to default reasoning. Artificial Intelligence 93(1-2), 63–101 (1997)
Brewka, G.: Dynamic argument systems: A formal model of argumentation processes based on situation calculus. Journal of Logic and Computation 11(2), 257–282 (2001)
Costantini, S.: Meta-reasoning: A survey. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2408, pp. 253–288. Springer, Heidelberg (2002)
Dummett, M.: Elements of Intuitionism. Oxford University Press, Oxford (1977)
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77, 321–357 (1995)
Genesereth, M.R., Nilsson, N.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers, San Mateo (1987)
Grant, J., Kraus, S., Perlis, D.: A logic for characterizing multiple bounded agents. Autonomous Agents and Multi-Agent Systems 3(4), 351–387 (2000)
Konolige, K.: A first-order formalization of knowledge and action for a multi-agent planning system. In: Hayes, J.E., Michie, D., Pao, Y. (eds.) Machine Intelligence 10, pp. 41–72. Ellis Horwood, Chichester (1982)
Krause, P., Ambler, S., Elvang-Gøransson, M., Fox, J.: A logic of argumentation for reasoning under uncertainty. Computational Intelligence 11, 113–131 (1995)
Parsons, S., Sierra, C.A., Jennings, N.R.: Agents that reason and negotiate by arguing. Journal of Logic and Computation 8(3), 261–292 (1998)
Parsons, S., Wooldridge, M., Amgoud, L.: Properties and complexity of some formal inter-agent dialogues. Journal of Logic and Computation 13(3), 347–376 (2003)
Perelman, C., Olbrechts-Tyteca, L.: The New Rhetoric: A Treatise on Argumentation. University of Notre Dame Press, Notre Dame (1969)
Perlis, D.: Languages with self reference I: Foundations. Artificial Intelligence 25, 301–322 (1985)
Perlis, D.: Meta in logic. In: Maes, P., Nardi, D. (eds.) Meta-Level Architectures and Reflection, pp. 37–49. Elsevier Science Publishers B.V., Amsterdam (1988)
Pollock, J.L.: Justification and defeat. Artificial Intelligence 67, 377–407 (1994)
Prakken, H., Vreeswijk, G.: Logics for defeasible argumentation. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, 2nd edn. Kluwer Academic Publishers, Dordrecht (2001)
Reed, C.: Dialogue frames in agent communication. In: Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS 1998), Paris, France, pp. 246–253 (1998)
Sierra, C., Jennings, N.R., Noriega, P., Parsons, S.: A framework for argumentation-based negotiation. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 177–192. Springer, Heidelberg (1998)
Sterling, L., Shapiro, E.: The Art of Prolog, 2nd edn. MIT Press, Cambridge (1994)
Toulmin, S.: The Uses of Argument. Cambridge University Press, Cambridge (1958)
Turner, R.: Truth and Modality for Knowledge Representation. Pitman Publishing, London (1990)
Walton, D.N., Krabbe, E.C.W.: Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State University of New York Press, Albany (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wooldridge, M., McBurney, P., Parsons, S. (2006). On the Meta-logic of Arguments. In: Parsons, S., Maudet, N., Moraitis, P., Rahwan, I. (eds) Argumentation in Multi-Agent Systems. ArgMAS 2005. Lecture Notes in Computer Science(), vol 4049. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11794578_3
Download citation
DOI: https://doi.org/10.1007/11794578_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36355-2
Online ISBN: 978-3-540-36356-9
eBook Packages: Computer ScienceComputer Science (R0)