An Abductive Logic Programming Architecture for Negotiating Agents
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
An abductive framework for computing knowledge base updates
Theory and Practice of Logic Programming
Adaptive agent negotiation via argumentation
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Logical foundations of negotiation: outcome, concession and adaptation
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Abductive framework for nonmonotonic theory change
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A new framework for knowledge revision of abductive agents through their interaction
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Inductive Negotiation in Answer Set Programming
Declarative Agent Languages and Technologies VI
Logic Programming for Multiagent Planning with Negotiation
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Negotiation using logic programming with consistency restoring rules
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
ASP-Prolog for negotiation among dishonest agents
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Abduction guided query relaxation
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Group decision making in multiagent systems with abduction
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Abduction-based search for cooperative answers
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Generalizing conjunctive queries for informative answers
FQAS'11 Proceedings of the 9th international conference on Flexible Query Answering Systems
Cooperative dialogues with conditional arguments
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Hi-index | 0.00 |
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduce methods of constructing counter-proposals in response to proposals made by an agent. To this end, we combine the techniques of extended abduction in artificial intelligence and relaxation in cooperative query answering for databases. These techniques are respectively used for producing conditional proposals and neighborhood proposals in the process of negotiation. We provide a negotiation protocol based on the exchange of these proposals and develop procedures for computing new proposals.