Arguing over Goals for Negotiation: Adopting an Assumption-Based Argumentation Decision Support System - Efficient Decision Support Systems: Practice and Challenges from Current to Future - page 234

decision([s(X)]).
decisionrule(r11(X), expensive,
[s(X), price(X,high), reply(accept)]).
decisionrule(r12(X), cheap,
[s(X), price(X,low), reply(accept)]).
decisionrule(r21(X), good,
[s(X), resolution(X,high), reply(accept)]).
decisionrule(r22(X), bad,
[s(X), resolution(X,low), reply(accept)]).
decisionrule(r31(X), fast,
[s(X), deliveryTime(X,low), reply(accept)]).
decisionrule(r32(X), slow,
[s(X), deliveryTime(X,high), reply(accept)]).
epistemicrule(f11, price(a,high), []).
epistemicrule(f12, resolution(a,low), []).
epistemicrule(f13, deliveryTime(a,high), []).
epistemicrule(f21, price(b,high), []).
epistemicrule(f22, resolution(b,high), []).
epistemicrule(f23, deliveryTime(b,high), []).
epistemicrule(f31, price(c,high), []).
epistemicrule(f32, resolution(c,low), []).
epistemicrule(f33, deliveryTime(c,low), []).
epistemicrule(f41, price(d,low), []).
epistemicrule(f42, resolution(d,low), []).
epistemicrule(f43, deliveryTime(d,low), []).
presumable(reply(accept)).
presumable(reply(reject)).
priority(fast, cheap).
priority(fast, good).
rv([fast]).
sincompatibility(fast,slow).
sincompatibility(cheap,expensive).
sincompatibility(good,bad).
Fig. 3. The decision problem of the buyer in the MARGO syntax
5. Related works
Unlike the theoretical reasoning, practical reasoning is not only about whether some beliefs are
true, but also about whether some actions should or should not be performed. The practical
reasoning (Raz, 1978) follows three main steps: i) deliberation , i.e. the generation of goals; ii)
means-end reasoning , i.e. the generation of plans; iii) decision-making , i.e. the selection of plans
that will be performed to reach the selected goals.
Argumentation has been put forward as a promising approach to support decision
making (Fox & Parsons, 1997). While influence diagrams and belief networks (Oliver & Smith,
1988) require that all the factors relevant for a decision are identified apriori , arguments are
defeasible or reinstantiated in the light of new information not previously available.