argumentation logics lecture 3: abstract argumentation semantics (3)

37
Argumentation Logics Lecture 3: Abstract argumentation semantics (3) Henry Prakken Chongqing May 28, 2010

Upload: lidia

Post on 06-Jan-2016

51 views

Category:

Documents


0 download

DESCRIPTION

Argumentation Logics Lecture 3: Abstract argumentation semantics (3). Henry Prakken Chongqing May 28, 2010. Contents. Review of grounded, stable and preferred semantics Labelling-based Stable and preferred semantics Extension-based - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Argumentation LogicsLecture 3:

Abstract argumentationsemantics (3)

Henry PrakkenChongqing

May 28, 2010

Page 2: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Contents

Review of grounded, stable and preferred semantics Labelling-based

Stable and preferred semantics Extension-based

Correspondence between labelling-based and extension-based semantics

Concluding remarks on semantics of abstract argumentation.

Page 3: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Status of arguments: abstract semantics (Dung 1995)

INPUT: an abstract argumentation theory AAT = Args,Defeat

OUTPUT: An assignment of the status ‘in’ or ‘out’ to all members of Args So: semantics specifies conditions for

labeling the ‘argument graph’.

Page 4: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)
Page 5: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Possible labeling conditions

Every argument is either ‘in’ or ‘out’.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’.

Produces unique labelling with:

But produces two labellings with:

A B C

A BA B

Page 6: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Two solutions

Change conditions so that always a unique status assignment results

Use multiple status assignments:

and

A B C

A BA B

A B C

A B

Page 7: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

A problem(?) with grounded semantics

We have: We want(?):

A B

C

D

A B

C

D

Page 8: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Multiple labellings

A B

C

D

A B

C

D

Page 9: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Stable status assignments (Below is AAT = Args,Defeat implicit) A stable status assignment assigns to all members

of Args either the status In or Out (but not both) such that :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.

A is justified if A is In in all s.a. A is overruled if A is Out in all s.a. A is defensible if A is In in some but not all s.a.

Page 10: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Stable status assignments:a problem

A stable status assignment assigns to all members of Args either the status In or Out (but not both) such that: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.

A B

C

Page 11: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Stable status assignments:a problem

A stable status assignment assigns to all members of Args either the status In or Out (but not both) such that: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.

A B

C

Page 12: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Stable status assignments:a problem

A stable status assignment assigns to all members of Args either the status In or Out (but not both) such that: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.

A B

C

Page 13: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Stable status assignments:a problem

A stable status assignment assigns to all members of Args either the status In or Out (but not both) such that: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.

A B

C

Page 14: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Stable status assignments:a problem

A stable status assignment assigns to all members of Args either the status In or Out (but not both) such that: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.

A B

C

D

Page 15: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Status assignments A status assignment assigns to zero or more members of

Args either the status In or Out (but not both) such that: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.

Let Undecided = Args / (In Out): A status assignment is stable if Undecided = .

In is a stable argument extension A status assignment is preferred if Undecided is -minimal.

In is a preferred argument extension A status assignment is grounded if Undecided is -maximal.

In is the grounded argument extension

Page 16: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

A B

C

D

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.

Grounded s.a. minimise node labelling Preferred s.a maximise node labelling

Page 17: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

A B

C

D

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.

Grounded s.a. minimise node labelling Preferred s.a maximise node labelling

Page 18: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

A B

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.

Grounded s.a. minimise node labelling Preferred s.a maximise node labelling

Page 19: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Correspondence between labelling-based and extension-

based semantics ofabstract argumentation

Bart Verheij (1996)Hadassah Jakobovits (1999)

Martin Caminada (2006)

Page 20: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Status assignments A status assignment assigns to zero or more members of

Args either the status In or Out (but not both) such that: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.

Let Undecided = Args / (In Out): A status assignment is stable if Undecided = .

In is a stable argument extension A status assignment is preferred if Undecided is -minimal.

In is a preferred argument extension A status assignment is grounded if Undecided is -maximal.

In is the grounded argument extension

Page 21: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Grounded extensions again

Dung (1995): Construct a sequence such that:

S0: the empty set Si+1: Si + all arguments in Args that are defended by Si

The endpoint of the sequence is the grounded extension

Recall: S is a grounded argument extension if (In,Out) is a

grounded status assignment and S = In.

Proposition 2.3.16: S is a grounded argument extension iff S is a grounded extension

Page 22: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Stable extensions Dung (1995):

S is conflict-free if no member of S defeats a member of S

S is a stable extension if it is conflict-free and defeats all arguments outside it

Recall: S is a stable argument extension if (In,Out) is a

stable status assignment and S = In.

Proposition 2.3.4: S is a stable argument extension iff S is a stable extension

Page 23: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Preferred extensions Dung (1995):

S is conflict-free if no member of S defeats a member of S

S is admissible if it is conflict-free and all its members are acceptable wrt S

S is a preferred extension if it is -maximally admissible

Recall: S is a preferred argument extension if (In,Out) is a

preferred status assignment and S = In.

Proposition 2.3.13: S is a preferred argument extension iff S is a preferred extension

Page 24: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

A B

C D E

S defends A if all defeaters of A are defeated by a member of S

S is admissible if it is conflict-free and defends all its members

Admissible?

Page 25: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

A B

C D E

S defends A if all defeaters of A are defeated by a member of S

S is admissible if it is conflict-free and defends all its members

Admissible?

Page 26: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

A B

C D E

S defends A if all defeaters of A are defeated by a member of S

S is admissible if it is conflict-free and defends all its members

Admissible?

Page 27: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

A B

C D E

S defends A if all defeaters of A are defeated by a member of S

S is admissible if it is conflict-free and defends all its members

Admissible?

Page 28: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

A B

C D E

S defends A if all defeaters of A are defeated by a member of S

S is admissible if it is conflict-free and defends all its members

Preferred?S is preferred if it is maximally admissible

Page 29: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

A B

C D E

S defends A if all defeaters of A are defeated by a member of S

S is admissible if it is conflict-free and defends all its members

Preferred?S is preferred if it is maximally admissible

Page 30: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

A B

C D E

S defends A if all defeaters of A are defeated by a member of S

S is admissible if it is conflict-free and defends all its members

Preferred?S is preferred if it is maximally admissible

Page 31: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

A B

C D E

S defends A if all defeaters of A are defeated by a member of S

S is admissible if it is conflict-free and defends all its members

Grounded?

Page 32: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

A B

C D E

S defends A if all defeaters of A are defeated by a member of S

S is admissible if it is conflict-free and defends all its members

Grounded?

Page 33: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

A B

C D E

1. An argument is In if all arguments defeating it are Out.2. An argument is Out if it is defeated by an argument that is In.

F

Page 34: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Properties Every admissible set is included in a preferred

extension The grounded extension is unique Every stable extension is preferred (but not v.v.) There exists at least one preferred extension The grounded extension is a subset of all preferred

and stable extensions Every AAT without infinite defeat paths has a unique

extension (which is the same in all semantics) Every AAT without defeat cycles of odd length has a

stable extension ...

Page 35: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Self-defeating arguments again

Recall (for preferred and stable semantics): A is justified if A is In in all s/p.s.a. A is overruled if A is Out in all s/p.s.a. A is defensible if A is In in some but not in

all s/p.s.a.

In (grounded and) preferred semantics self-defeating arguments are not always overruled

They can make that there are no stable extensions

A B

Page 36: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Self-defeating arguments again

Recall (for preferred and stable semantics): A is justified if A is In in all s/p.s.a. A is overruled if A is Out in all s/p.s.a. A is defensible if A is In in some but not in

all s/p.s.a.

In (grounded and) preferred semantics self-defeating arguments are not always overruled

They can make that there are no stable extensions

A B

Page 37: Argumentation Logics Lecture 3: Abstract argumentation semantics (3)

Which semantics is the “right” one?

Alternative semantics may each have their use in different contexts E.g. in criminal procedure the burden of

proof is on the prosecution, so grounded semantics with justified arguments is suitable.

Or in decision making a choice must be made between alternative ways to achieve one’s goals, so preferred semantics with defensible arguments is suitable.