Abstract
Logic-Based Argumentation (LBA) exhibits unique properties and advantages over other kinds of argumentation proceedings, namely: the adequacy to logic-based pre-argument reasoning, similarity to the human reasoning process, reasoning with incomplete information and argument composition and extension. Logic enables a formal specification to be built and a quick prototype to be developed. In order for LBA to achieve feasibility in Electronic Commerce scenarios, a set of properties must be present: self-support, correctness, conjugation, temporal containment and acyclicity. At the same time, LBA is shown to achieve stability in argument exchange (guaranteed success problem) and, depending on the definition of success, computational efficiency at each round (success problem).
José Neves would like to acknowledge the financial support from FCT, given under the project POSI/EEI/13096/2000 - Um Sistema de Informação com base na Web para acesso a Jurisprudência.
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
L. Amgoud, N. Maudet, and S. Parsons. Modelling Dialogues using Argumentation. In Proceedings of the 4th International Conference on Multi-Agent Systems, Boston, USA, 2000.
C. Analide and J. Neves. Representation of Incomplete Information. In Conferencia da Associacao Portuguesa de Sistemas de Infomnaçao (CAPSI), Universidade do Minho, Guimaraes, Portugal, 2000.
K. Apt and M. Bezem. Acyclic Programs. Neu Generation Computing, 9(3,4):335–365, 1991.
C. Baral and M. Gelfond. Logic Programming and Knowledge Representation. Technical report, Computer Science Department, University of Texas at El Paso, El Paso, Texas, USA, 1994.
L. Brito and J. Neves. Discussing Logic-Based Argumentation in Extended Electronic Commerce Environments. In Workshop “Adventures in Argumentation” at the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’01), Toulouse, France, September 2001.
L. Brito and J. Neves. Argument Exchange in Heterogeneous Electronic Commerce Environments. In Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems AAMAS 2002, Bologna, Italy, June 2002. ACM Press.
L. Brito, P. Novais, and J. Neves. On the Logical Aspects of Argument-based Negotiation among Agents. In Matthias Klush and Franco Zambonelli, editors, Cooperative Information Agents V, Proceedings of the 5th International Workshop CIA 2001, number 2182 in Lecture Notes in Artificial Intelligence, pages 178–189, Modena, Italy, September 2001. Springer-Verlag: Heidelberg, Germany.
L. Brito, P. Novais, and J. Neves. Temporalityd, Priorities and Delegation in an E-Commerce Environment. In Proceedings of the 24th Bled Electronic Commerce Conference (BEedOI), Bled, Slovenia, July 2001.
L. Brito, P. Novais, and J. Neves. Intelligent Agent Software Engineering, chapter The Logic Behing Negotiation: From Pre-Argument Reasoning to Argument-Based Negotiation. IDEA Group, 2002.
E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov. Complaity and Expressive Power of Logic Programming. ACM Computing Surveys, 3(33):374–425, 2001.
N. Jennings, S. Parsons, P. Noriega, and C. Sierra. On Argumentation-based Negotiation. In Proceedings of the International Workshop on Multi-Agent Systems, Boston, USA, 1998.
H. Jung, H. Tambe, and S. Kulkarni. Argumentation as Distributed Constraint Satisfaction: Applications and Results. In Proceedings of the International Conference on Autonomous Agents (Agents01), Montreal, Canada, 2001.
R. Kowalski and F. Toni. Argument and Reconciliation. In Proceedings of the International Symposium on the Fifth Generation Computer Systems: Workshop on Legal Reasoning, pages 9–16, Tokyo, Japan, 1994.
R. Loui. Defeat Among Arguments: A System of Defeasible Inference. Computational Intelligence, (3):100–106, 1987.
P. Novais, L. Brito, and J. Neves. Developing Agents for Electronic Commerce: A Constructive Approach. In Proceedings of the World Conference on Systemics, Cybernetics and Informatics (SCI2OOl), Orlando, Florida, 2001.
S. Parsons and N. Jennings. Argumentation and Multi-Agent Decision Making. In Proceedings of the AAAI Spring Symposium on Intemctive and Mixed-Initiative Decision Making, pages 89–91, Stanford, USA, 1998.
H. Prakken and G. Sartor. Argument-based Logic Programming with Defeasible Priorities. Journal of Applied Non-Classical Logics, (7):25–75, 1997.
G. Simari, C. Chesñevar, and A. Garcia. Modelling Argumentation in a Logic Programming Setting: Formalization and Logic Properties. In Workshop “Adventures in Argumentation” at the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’01), Toulouse, France, September 2001.
S. Toulmin. The Uses of Arguments. Cambridge University Press, 1958.
M. Wooldridge and S. Parsons. Languages for Negotiation. In Proceedings of 14th European Conference on Artificial Intelligence (ECAI2000), 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brito, L., Neves, J. (2002). Properties and Complexity in Feasible Logic-Based Argumentation for Electronic Commerce. In: Garijo, F.J., Riquelme, J.C., Toro, M. (eds) Advances in Artificial Intelligence — IBERAMIA 2002. IBERAMIA 2002. Lecture Notes in Computer Science(), vol 2527. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36131-6_10
Download citation
DOI: https://doi.org/10.1007/3-540-36131-6_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00131-7
Online ISBN: 978-3-540-36131-2
eBook Packages: Springer Book Archive