Luís Brito
ABSTRACT
Argumentation enables agents to justify their actions and to reach stable situations faster, due to the amount of information that is exchanged. Logic and, in special, Extended Logic Programming (ELP) provides a way to develop arguments which are mathematically correct and close to a working prototype. Logic-based argumentation exhibits a set of unparalleled features such as: adequacy to logic-based approaches to pre-argument reasoning, similarity to the human reasoning processes, reasoning with incomplete information, and argument composition and extension, among many others.Electronic Commerce (EC) poses new challenges to argumentation due to the presence of heterogeneous environments. The ontological problems raised by such environments have been approached by the use of eXtensible Markup Language (XML) frameworks. Thus, solving the problem of argument exchange in heterogeneous environments should build on such frameworks. CommerceNet's eCo framework provides a 7-layer framework on which an argumentation service can be easily built.
- 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.]] Google Scholar
Digital Library
- C. Analide and J. Neves. Representation of Incomplete Information. In Conferencia da Associacao Portuguesa de Sistemas de Informaçao (CAPSI), Universidade do Minho, Guimaraes, Portugal, 2000.]]Google Scholar
- M. Baldoni, L. Giordano, and A. Martelli. Translating a Modal Language with Embedded Implications into Horn Clause Logic. In Proceedings of the 5th International Workshop on Extensions of Logic Programming (ELP96), 1996.]] Google ScholarDigital Library
- 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.]]Google Scholar
- 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.]]Google Scholar
- L. Brito, P. Novais, and J. Neves. Mediation, Agreement and Gratitude in Strategic Planning for Virtual Organisations. In Proceedings of the 2nd International Conference on Enterprise Information Systems (ICEIS2000), pages 395--401, Stafford, UK, July 2001. Escola Superior de Tecnologia do Instituto Politecnico de Setubal.]]Google Scholar
- 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.]] Google ScholarDigital Library
- L. Brito, P. Novais, and J. Neves. Temporality, Priorities and Delegation in an E-Commerce Environment. In Proceedings of the 14th Bled Electronic Commerce Conference (Bled01), Bled, Slovenia, July 2001.]]Google Scholar
- CommerceNet. eCo. http://eco.commerce.net.]]Google Scholar
- CommerceNet. eCo Architecture for Electronic Commerce Interoperability - Specification, 1999. http://eco.commerce.net/rsrc/eCoSpec.pdf.]]Google Scholar
- B. Grosof, Y. Labrou, and H. Chan. A Declarative Approach to Business Rules in Contracts: Corteous Logic Programs in XML. In Proceedings of the 1st ACM Conference on Electronic Commerce (EC'99), New York, USA, 1999.]] Google ScholarDigital Library
- 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.]]Google Scholar
- 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.]] Google ScholarDigital Library
- R. Loui. Defeat Among Arguments: a System of Defeasible Inference. Computational Intelligence, (3):100--106, 1987.]]Google Scholar
- S. Parsons and N. Jennings. Argumentation and Multi-Agent Decision Making. In Proceedings of the AAAI Spring Symposium on Interactive and Mixed-Initiative Decision Making, pages 89--91, Stanford, USA, 1998.]]Google Scholar
- H. Prakken. Logical Tools for Modelling Legal Argument. PhD thesis, Free University, Amsterdam, The Netherlands, 1993.]]Google Scholar
- H. Prakken and G. Sartor. Argument-based Logic Programming with Defeasible Priorities. Journal of Applied Non-Classical Logics, (7):25--75, 1997.]]Google Scholar
- RosettaNet. RosettaNet. http://www.rosettanet.org.]]Google Scholar
- G. Sartor. A Formal Model of Legal Argumentation. Ratio Juris, (7):212--226, 1994.]]Google Scholar
- K. Sycara. Persuasive Argumentation in Negotiation. Theory and Decision, (28):203--242, May 1990.]]Google Scholar
- OASIS UN/CEFACT. ebXML. http://www.ebxml.org.]]Google Scholar
- W3C. Extensible Markup Language (XML). http://www.w3c.org/TR/REC-xml.]]Google Scholar
- D. Walton and C. Krabbe. Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State Univesity of New York Press: Albany: New York: USA, 1995.]]Google Scholar
Index Terms
- Argument exchange in heterogeneous electronic commerce environments
Recommendations
A parameterised hierarchy of argumentation semantics for extended logic programming and its application to the well-founded semantics
Argumentation has proved a useful tool in defining formal semantics for assumption-based reasoning by viewing a proof as a process in which proponents and opponents attack each others arguments by undercuts (attack to an argument's premise) and rebuts (...
Classical logic, argument and dialectic
AbstractA well studied instantiation of Dung's abstract theory of argumentation yields argumentation-based characterisations of non-monotonic inference over possibly inconsistent sets of classical formulae. This provides for single-agent ...
XML security model for secure information exchange in e-commerce
ICCSA'06: Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part IVThe most important technology in the electronic commerce based on Internet is to guarantee the security of trading information exchange. Many technologies are proposed as a standard to support this security problem. One of them is an XML (eXtensible ...
Comments