Inductive Negotiation in Answer Set Programming
Proceedings of the 6th International Workshop on Declarative Agent Languages and Technologies (DALT'08), Lecture Notes in Artificial Intelligence 5397, Springer-Verlag, pages 143-160, 2008.
This paper provides a logical framework of negotiating agents
who have capabilities of evaluating and building proposals.
Given a proposal, an agent decides whether it is acceptable or not.
If the proposal is unacceptable as it is, the agent seeks conditions to accept it.
This attitude is captured as a process of making hypotheses by induction.
If an agent fails to find a hypothesis, it would concede by giving up some of its current belief.
This attitude is characterized using default reasoning.
We provide a logical framework of such think-act cycle of an agent, and
develop a method for computing proposals using
answer set programming.
Full Paper (PDF 150K)
Slide (pdf 109K)