DocumentCode :
2270195
Title :
Characterising simple negotiation as distributed agent-based theorem-proving-a preliminary report
Author :
Fisher, Michael
Author_Institution :
Dept. of Comput. & Math., Manchester Metropolitan Univ., UK
fYear :
2000
fDate :
2000
Firstpage :
127
Lastpage :
134
Abstract :
Negotiation is a key technique for dynamically organising activity in multi-agent systems, yet the negotiation process itself can often be difficult to reason about. We introduce a framework in which negotiation can be characterised as a form of distributed, multi-agent theorem-proving. Thus, in this preliminary analysis, we show that certain simple forms of negotiation will be successful if, and only if a corresponding theorem can be proved by agents acting as theorem-proving components. We extend this approach further to represent situations where the agent has a choice of possible responses, given a proposal received. In such cases, an ordering strategy is used to select the order in which replies are provided; this corresponds to a common use of ordering within classical theorem-proving
Keywords :
multi-agent systems; theorem proving; distributed agent-based theorem-proving; ordering strategy; simple negotiation; Autonomous agents; Distributed computing; Game theory; Humans; Logic; Mathematics; Multiagent systems; Proposals; Protocols; Research and development;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
MultiAgent Systems, 2000. Proceedings. Fourth International Conference on
Conference_Location :
Boston, MA
Print_ISBN :
0-7695-0625-9
Type :
conf
DOI :
10.1109/ICMAS.2000.858444
Filename :
858444
Link To Document :
بازگشت