CONSA: Collaborative Negotiation System based on Argumentation

• Representation: Based on John Pollock�s notation:

• Three stage argumentation process

Propose-Evaluate

Counter-propose

Jointly terminate

Negotiation

Create team goal

to negotiate

INITIAL

ARGUMENTATION

TERMINATION

<C, <?, R>> : C - claim, ? - ancestors, R - inference rules

<C0, <?0, R0>>: ?0= {C1, C2}, R0 = {C1 ^ C2 => C0}

< C2, ? >

< C1, ? >

An example of inference tree

Previous slide

Back to first slide

View graphic version