Argumentative procedures in E-commerce environments

The use of agent's technology in electronic commerce environments leads to the necessity to introduce some sort of formal attitude in the processes of software development and analysis. Logic programming and specially extended logic programming provides a powerful tool for achieving such goal;...

Full description

Bibliographic Details
Main Author: Novais, Paulo (author)
Other Authors: Neves, José (author), Brito, Luís (author), Machado, José Manuel (author)
Format: conferencePaper
Language:eng
Published: 2003
Subjects:
Online Access:http://hdl.handle.net/1822/2724
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/2724
Description
Summary:The use of agent's technology in electronic commerce environments leads to the necessity to introduce some sort of formal attitude in the processes of software development and analysis. Logic programming and specially extended logic programming provides a powerful tool for achieving such goal; i.e., besides being mathematically correct it makes the prototyping phase easier. However, although no simple methodology had yet been stated to address the complexity present in this approach, it not only addresses problems of architecture development and analysis, but also looks at problems of knowledge representation and reasoning, and machine learning. Such a framework will follow the Experience-Based Mediator agent paradigm particularly suited to take into account the argumentation schemes that are inherent to any electronic commerce deal.