A simple computational model for nonmonotonic and adversarial legal reasoning
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Argumentative Procedures in eCommerce Environments
I3E '02 Proceedings of the IFIP Conference on Towards The Knowledge Society: E-Commerce, E-Business, E-Government
A logic interpreter to handle time and negation in logic data bases
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Rights and Commitment in Multi-Agent Agreements
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Hi-index | 0.00 |
Intelligent agents configure a new generation of virtual entities that perform various autonomous tasks on behalf of others, namely the humans. On the other hand, the information society requires the development of new and more intelligent methods, tools and theories to analyse, define, model and specify agent-based systems. It is under this presupposition that in this work are introduced a pre-argumentative reasoning scheme, which need to be able to take into account, in a negotiation, factors such as temporality, priority, delegation, gratitude and agreement, enabling the agents to react and pro-act accordingly. This argument-based negotiation among agents has much to gain from the use of Extended Logic Programming and Incomplete Information, in terms of the argument's evaluation. Indeed, it is based on this substratum that are presented the bases for a pre-contract negotiation via argumentation, where pre-contract negotiation will be defined as a protocol which, once enforced, will allow the exchange of messages containing proposals, counter-proposals, critiques, justifications or even explanations. The terms of a negotiation are also set, adjusting the contract according to the agent's knowledge base. In fact, an important contribution of this work relies on the presentation of the basic definitions and the general model of pre-contract-based negotiations via argumentation.