34, A Verifiable Protocol for Arguing about Rejections in Negotiation

Notes taken from 'A Verifiable Protocol for Arguing about Rejections in Negotiation' (2005), by Jelle van Veenen and Henry Prakken

1, Introduction

2, Negotiation and Argumentation

Speech acts and replies in negotiation with embedded persuasion:

Negotiation

Act: request(a)
Attacks: offer(a'), withdraw
Surrenders:

Act: offer(a)
Attacks: offer(a') (a /= a'), reject(a), withdraw
Surrenders: accept(a)

Act: reject(a)
Attacks: offer(a') (a /= a'), why-reject(a), withdraw
Surrenders:

Act: accept(a)
Attacks:
Surrenders:

Act: why-reject(a)
Attacks: claim(¬a), withdraw
Surrenders:

Act: withdraw
Attacks:
Surrenders:

Persuasion

Act: claim(a)
Attacks: why(a)
Surrenders: concede(a)

Act: why(a)
Attacks: argue(A) (conc(A) = a)
Surrenders: retract(a)

Act: argue(A)
Attacks: why(a) (a is in prem(A)), argue(B) (B defeats A)
Surrenders: concede(a) (a is in prem(A) or a = conc(A))

Act: concede(a)
Attacks:
Surrenders:

Act: retract(a)
Attacks:
Surrenders:

The speech acts above show the combination of languages for negotiation and persuasion. The negotiation is extended with the why-reject locution, which allows a negotiation to shift into a persuasion subdialogue.

3, An Example

4, Conclusion