On the Logical Aspects of Argument-based Negotiation among Agents, Technical Report, Departamento de Informtica, Universidade do Minho (2001) [3 citations — 3 self]
Abstract:
Abstract The use of agents in Electronic Commerce (EC) environments leads to the necessity to introduce some formal analysis and denitions. Negotiations which take into account a multi-step exchange of arguments provide extra information, at each step, for the intervening agents, enabling them to react accordingly. This argument-based negotiation among agents has much to gain from the use of logical mechanisms. Although the use of logic to express arguments in Law is well known, EC poses new challenges. Concepts such as round and probable conict are important in the formalization of negotiation arguments. The ideas of conict/attack and victory/defeat are some of the most important to be formalized. Incomplete information is common in EC scenarios therefore, arguments must take into account the presence of of statements with an unknown valuation. The set of rules that is to express the knowledge of an agent needs priorization; i.e., some rules have a higher priority than others. Priorities are usually set by the relative ordering of clauses, however, through knowledge classication and the introduction of embedded priority rules, an higher exibility is reached.
Citations
| 256 | Programs with Common Sense – McCarthy - 1959 |
| 197 | Logic Programming and Knowledge Representation – Baral, Gelfond - 1994 |
| 72 | Logical Tools for Modelling Legal Argument – Prakken - 1993 |
| 13 | A Formal Model of Legal Argumentation – Sartor - 1994 |
| 12 | A Simple Computational Model for Nonmonotonic and Adversarial Legal Reasoning – Sartor - 1993 |
| 5 | A General Agent-Based Architecture for Production Planning – Brito, Novais, et al. - 2000 |
| 5 | Business-to-Business e-Commerce with Open Buying on the Internet – Tian, Liu, et al. - 1999 |
| 2 | Experience-Based Mediator Agents as the Basis of an – Novais, Brito, et al. - 2000 |
