Rules of encounter: designing conventions for automated negotiation among computers
Rules of encounter: designing conventions for automated negotiation among computers
Representing and reasoning about mappings between domain models
Eighteenth national conference on Artificial intelligence
Language learning in multi-agent systems
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Hi-index | 0.00 |
This paper is on negotiation, precisely on the negotiation of meaning. We advance and discuss a formal paradigm of coordination and variants thereof, wherein meaning negotiation plays a major role in the process of convergence to a common agreement. Our model engages a kind of pairwise, model-theoretic coordination between knowledge-based agents, eventually able to communicate the complete & local meaning of their beliefs by expressions taken from the literals of a common first-order language. We focus on the framework of inductive inference---sometimes called “formal learning theory,” and argue that it offers a fresh and rigorous perspective on many current debates in Artificial Intelligence in the context of multiple agents in interaction.