Behovet av förhandlingar i multiagentsystem härrör från kravet på agenter att lösa de problem som uppstår till följd av deras ömsesidiga beroende av varandra. Förhandling ger en lösning på dessa problem genom att ge agenterna medel för att lösa sina motstridiga mål, korrigera inkonsekvenser i deras kunskap om andra agenters världssyn och samordna en gemensam strategi för domänuppgifter som gynnar alla berörda agenter. Vi föreslår en ram, baserad på ett system med argumentation, som tillåter agenter att förhandla för att fastställa godtagbara sätt att lösa problem. Ramverket ger en formell modell för argumentationsbaserat resonemang och förhandling, beskriver en designfilosofi som säkerställer en tydlig koppling mellan den formella modellen och dess praktiska momentiation, och beskriver en fallstudie av detta förhållande för en viss klass av arkitekturer (nämligen de för tro-önskningar-medarbetare).
I REF, Parsons et al. föreslå en formell modell för argumentationsbaserade resonemang och förhandlingar för självständiga agenter.
Agents that reason and negotiate by arguing
{'venue': 'Journal of Logic and Computation', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}