Presentation is loading. Please wait.

Presentation is loading. Please wait.

Argumentation in Artificial Intelligence Henry Prakken Lissabon, Portugal December 11, 2009.

Similar presentations


Presentation on theme: "Argumentation in Artificial Intelligence Henry Prakken Lissabon, Portugal December 11, 2009."— Presentation transcript:

1 Argumentation in Artificial Intelligence Henry Prakken Lissabon, Portugal December 11, 2009

2 Why do agents need argumentation? For their internal reasoning To draw conclusions given conflicting arguments For their interaction with other agents To persuade given a conflict of opinion

3 Toulmin’s argument scheme ClaimData So Warrant Since Backing On account of Rebuttal Unless

4 Toulmin’s argument scheme João is catholic João is Portuguese So Most Portuguese are catholic Since statistics On account of João often visits a protestant church Unless

5 Toulmin’s argument scheme João is Portuguese João was Born In Portugal So Who is born in Portugal is Portuguese Since Portuguese law On account of João adopted another nationality Unless

6 From Toulmin to modern argumentation theory Toulmin’s (1958) main contributions: Arguments can be defeated Validity of arguments is procedural (and field- dependent?) This led to the idea of argument(ation) schemes. An argument is acceptable if: it instantiates an argument scheme the critical questions asked in dialogue can be answered

7 Argument(ation) schemes: general form But also critical questions Premise 1, …, Premise n Therefore (presumably), conclusion

8 Expert testimony (Walton 1996) Critical questions: Is E really expert on D? Did E really say that P? Is P really within D? Is E biased? Is P consistent with what other experts say? Is P consistent with known evidence? E is expert on D E says that P P is within D Therefore (presumably), P is the case

9 Witness testimony Critical questions: Is W sincere? Does W’s memory function properly? Did W’s senses function properly? W says P W was in the position to observe P Therefore (presumably), P

10 Arguments from consequences Critical questions: Does A also have bad consequences? Are there other ways to bring about G?... Action A brings about G, G is good Therefore (presumably), A should be done

11 Three layers in argumentation Logic layer Fixed theory Procedural layer Dynamic theory Strategic layer Dynamic theory My point: even logic is partly dialectic

12 We should lower taxes Lower taxes increase productivity Increased productivity is good

13 We should lower taxes Lower taxes increase productivity Increased productivity is good We should not lower taxes Lower taxes increase inequality Increased inequality is bad

14 We should lower taxes Lower taxes increase productivity Increased productivity is good We should not lower taxes Lower taxes increase inequality Increased inequality is bad Lower taxes do not increase productivity USA lowered taxes but productivity decreased

15 We should lower taxes Lower taxes increase productivity Increased productivity is good We should not lower taxes Lower taxes increase inequality Increased inequality is bad Lower taxes do not increase productivity Prof. P says that … USA lowered taxes but productivity decreased

16 We should lower taxes Lower taxes increase productivity Increased productivity is good We should not lower taxes Lower taxes increase inequality Increased inequality is bad Lower taxes do not increase productivity Prof. P says that … Prof. P has political ambitions People with political ambitions are not objective Prof. P is not objective USA lowered taxes but productivity decreased

17 We should lower taxes Lower taxes increase productivity Increased productivity is good We should not lower taxes Lower taxes increase inequality Increased inequality is bad Lower taxes do not increase productivity Prof. P says that … Prof. P has political ambitions People with political ambitions are not objective Prof. P is not objective USA lowered taxes but productivity decreased

18 We should lower taxes Lower taxes increase productivity Increased productivity is good We should not lower taxes Lower taxes increase inequality Increased inequality is bad Lower taxes do not increase productivity Prof. P says that … Prof. P has political ambitions People with political ambitions are not objective Prof. P is not objective Increased inequality is good Increased inequality stimulates competition Competition is good USA lowered taxes but productivity decreased

19 We should lower taxes Lower taxes increase productivity Increased productivity is good We should not lower taxes Lower taxes increase inequality Increased inequality is bad Lower taxes do not increase productivity Prof. P says that … Prof. P has political ambitions People with political ambitions are not objective Prof. P is not objective Increased inequality is good Increased inequality stimulates competition Competition is good USA lowered taxes but productivity decreased

20 AB C D E 1. An argument is In iff all arguments defeating it are Out. 2. An argument is Out iff it is defeated by an argument that is In. Dung 1995 Grounded semantics minimises node colouring Preferred semantics maximises node colouring

21 Argument game for grounded semantics Rules of the game: Proponent starts with an argument Then each player defeats the previous move of the other player Proponent moves strict defeaters, opponent moves defeaters Proponent does not repeat his moves A player wins iff the other player cannot move Result: A is in the grounded extension iff proponent has a winning strategy in a game about A.

22 A defeat graph A B C D E F

23 A game tree P: A A B C D E F move

24 A game tree P: A A B C D E F O: F move

25 A game tree P: A A B C D E F O: F P: E move

26 A game tree P: A O: B A B C D E F O: F P: E move

27 A game tree P: A O: B P: C A B C D E F O: F P: E move

28 A game tree P: A O: B P: C O: D A B C D E F O: F P: E move

29 A game tree P: A O: B P: CP: E O: D A B C D E F O: F P: E move

30 We should lower taxes Lower taxes increase productivity Increased productivity is good We should not lower taxes Lower taxes increase inequality Increased inequality is bad Lower taxes do not increase productivity Prof. P says that … Prof. P has political ambitions People with political ambitions are not objective Prof. P is not objective Increased inequality is good Increased inequality stimulates competition Competition is good USA lowered taxes but productivity decreased

31 Structured arguments Argument structure: Trees where Nodes are formulas of a logical language L Links are applications of inference rules R s = Strict rules (  1,...,  1   ); or R d = Defeasible rules (  1,...,  1   ) Reasoning starts from a knowledge base K  L Defeat: attack on conclusion, premise or defeasible inference, + preferences Argument acceptability: Dung (1995)

32 Argument(ation) schemes: general form Defeasible inference rules! But also critical questions Negative answers are counterarguments Premise 1, …, Premise n Therefore (presumably), conclusion

33 Expert testimony (Walton 1996) Critical questions: Is E really expert on D? Did E really say that P? Is P really within D? Is E biased? Is P consistent with what other experts say? Is P consistent with known evidence? E is expert on D E says that P P is within D Therefore (presumably), P is the case

34 We should lower taxes Lower taxes increase productivity Increased productivity is good We should not lower taxes Lower taxes increase inequality Increased inequality is bad Lower taxes do not increase productivity Prof. P says that … Prof. P has political ambitions People with political ambitions are not objective Prof. P is not objective Increased inequality is good Increased inequality stimulates competition Competition is good USA lowered taxes but productivity decreased

35 Three layers in argumentation Logic layer Fixed theory Procedural layer Dynamic theory Strategic layer Dynamic theory

36 Interaction Argument games verify status of argument (or statement) given a single theory (knowledge base) But real argumentation dialogues have Distributed information Dynamics Real players!

37 A ‘real’ argumentation dialogue I claim that we should lower taxes Why? Since lower taxes increase productivity, which is good I disagree. We should not lower taxes, since that would increase inequality, which is bad. Besides, lower taxes will not increase productivity Why not? Since the USA recently lowered their taxes but productivity decreased. OK, I admit that lower taxes do not always increase productivity; I retract my claim.

38 Dialogue systems (according to Carlson 1983) Dialogue systems define the conditions under which an utterance is appropriate An utterance is appropriate if it furthers the goal of the dialogue in which it is made Appropriateness defined not at speech act level but at dialogue level Dialogue game approach Protocol should promote the goal of the dialogue

39 Dialogue game systems A communication language Well-formed utterances Rules for when an utterance is allowed Protocol Turntaking rules Termination rules

40 Dialogical aspects of argument schemes Some critical questions ask “why this premise?” Other critical questions ask “is there no exception?” But burden of proof is on respondent to show that there are exceptions! Dialogue systems should allow for counterarguments

41 Need for other speech acts (and for rhetoric) Paul: r Olga: s p  q r  p s   r Knowledge basesInference rules P1: q since p

42 Need for other speech acts (and for rhetoric) Paul: r Olga: s Knowledge basesInference rules P1: q since p O1: why p? p  q r  p s   r

43 Need for other speech acts (and for rhetoric) Paul: r Olga: s Knowledge basesInference rules P1: q since p O1: why p? P2: p since r p  q r  p s   r

44 Need for other speech acts (and for rhetoric) Paul: r Olga: s Knowledge basesInference rules P1: q since p O1: why p? O2:  r since s P2: p since r p  q r  p s   r

45 Some properties that can be studied Correspondence with participants’ beliefs If union of beliefs implies p, can/will agreement on p result? If participants agree on p, does union of beliefs imply p? Disregarding vs. assuming agent strategies/tactics In general it will be hard to enforce agreement …

46 Conclusions Argumentation theory can benefit from AI Formalisation Computer models Computer tools AI can benefit from argumentation theory Concepts Theories …


Download ppt "Argumentation in Artificial Intelligence Henry Prakken Lissabon, Portugal December 11, 2009."

Similar presentations


Ads by Google