Förhandling är en interaktion som sker i multiagentsystem när agenter har motstridiga mål och måste leta efter en godtagbar överenskommelse. En typisk förhandlingssituation inbegriper två agenter som inte kan nå sina mål själva eftersom de inte har vissa resurser som de behöver eller inte vet hur de ska använda dem för att nå sina mål. Därför måste de inleda en förhandlingsdialog, med hänsyn också till att de kan ha ofullständiga eller felaktiga uppfattningar om den andra agentens mål och resurser. Denna artikel presenterar en förhandlingsagentmodell baserad på argumentation, som används av agenterna för att resonera om hur man utbyter resurser och kunskap för att uppnå sina mål. Agenter som förhandlar har ofullständiga uppfattningar om de andra, så att utbytet av argument ger dem information som gör det möjligt att uppdatera sin tro. För att formalisera sina förslag i en förhandlingsmiljö måste agenterna kunna generera, välja och utvärdera argument i samband med sådana erbjudanden, uppdatera sitt mentala tillstånd i enlighet därmed. I vår strategi kommer vi att fokusera på en diskussionsbaserad förhandlingsmodell mellan två samarbetsvilliga aktörer. Argumentens genererings- och tolkningsprocess bygger på trosförändrande verksamhet (expansioner, sammandragningar och revideringar), och urvalsprocessen bygger på en strategi. Detta tillvägagångssätt presenteras genom en algoritm på hög nivå som genomförs i logisk programmering. Vi visar olika teoretiska egenskaper i samband med detta tillvägagångssätt, som har formaliserats och bevisats med hjälp av Coq, ett formellt bevishanteringssystem. Vi illustrerar också, genom en fallstudie, tillämpligheten av vår strategi för att lösa en något modifierad version av det välkända problemet med förbättringsmedel i hemmet. Dessutom presenterar vi olika simuleringar som gör det möjligt att bedöma effekterna av trosrevisionen på förhandlingsprocessen.
För att göra detta har vi i detta arbete utvidgat den argumentationsbaserade förhandlingsmodell som vi föreslog i REF.
A belief revision approach for argumentation-based negotiation agents
{'venue': None, 'journal': 'International Journal of Applied Mathematics and Computer Science', 'mag_field_of_study': ['Computer Science']}