Apstraktni okvir za odlucivanje zasnovan na...

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Apstraktni okvir za odlucivanje zasnovan naargumentima

Sr�an VESIC

Master rad u oblasti: Vestacka inteligencijaUniverzitet Pol Sabatje, Tuluz

Odbranjen: 23. juna 2008.

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Plan

Problem odlucivanja pod rizikom

Apstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemi

Zakljucak i perspektive

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

Opcije : kisobran,¬kisobran

Ciljevi : ¬mokar ,¬natrpan

Baza znanja :oblacioblaci → kisakisobran → natrpankisobran → ¬ mokar¬ kisobran → ¬ natrpankisa ∧ ¬ kisobran → mokar

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

Opcije : kisobran,¬kisobran

Ciljevi : ¬mokar ,¬natrpan

Baza znanja :oblacioblaci → kisakisobran → natrpankisobran → ¬ mokar¬ kisobran → ¬ natrpankisa ∧ ¬ kisobran → mokar

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

Opcije : kisobran,¬kisobran

Ciljevi : ¬mokar ,¬natrpan

Baza znanja :oblacioblaci → kisakisobran → natrpankisobran → ¬ mokar¬ kisobran → ¬ natrpankisa ∧ ¬ kisobran → mokar

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

Opcije : kisobran,¬kisobran

Ciljevi : ¬mokar ,¬natrpan

Baza znanja :oblacioblaci → kisakisobran → natrpankisobran → ¬ mokar¬ kisobran → ¬ natrpankisa ∧ ¬ kisobran → mokar

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Sta je to odlucivanje ?

Problem odlucivanja =

Skup O opcija / alternativa / odlukaVerovanja o trenutnom stanju svetaCiljevi

Definisati poredak na skupu O opcija

Odabrati najbolju opciju

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Sta je to odlucivanje ?

Problem odlucivanja =

Skup O opcija / alternativa / odlukaVerovanja o trenutnom stanju svetaCiljevi

Definisati poredak na skupu O opcija

Odabrati najbolju opciju

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Sta je to odlucivanje ?

Problem odlucivanja =

Skup O opcija / alternativa / odlukaVerovanja o trenutnom stanju svetaCiljevi

Definisati poredak na skupu O opcija

Odabrati najbolju opciju

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Sta je to odlucivanje ?

Problem odlucivanja =

Skup O opcija / alternativa / odlukaVerovanja o trenutnom stanju svetaCiljevi

Definisati poredak na skupu O opcija

Odabrati najbolju opciju

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Zasto argumentacija u odlucivanju ?

Objasniti odluku korisniku

Doneti odluku na bazi argumenata za i protiv svake opcije

Obraditi slucaj kontradiktornih informacija

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Zasto argumentacija u odlucivanju ?

Objasniti odluku korisniku

Doneti odluku na bazi argumenata za i protiv svake opcije

Obraditi slucaj kontradiktornih informacija

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Zasto argumentacija u odlucivanju ?

Objasniti odluku korisniku

Doneti odluku na bazi argumenata za i protiv svake opcije

Obraditi slucaj kontradiktornih informacija

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Zasto argumentacija u odlucivanju ?

Objasniti odluku korisniku

Doneti odluku na bazi argumenata za i protiv svake opcije

Obraditi slucaj kontradiktornih informacija

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Argumentacija u pet etapa

1 Konstruisanje argumenta

2 Evaluacija snage svakog argumenta

3 Definisanje interakcija me�u argumentima

4 Definisanje statusa svakog argumenta

5 Zakljucak1 Izvesti zakljucke koji slede iz baze znanja2 Pore�ati opcije

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Argumentacija u pet etapa

1 Konstruisanje argumenta

2 Evaluacija snage svakog argumenta

3 Definisanje interakcija me�u argumentima

4 Definisanje statusa svakog argumenta

5 Zakljucak1 Izvesti zakljucke koji slede iz baze znanja2 Pore�ati opcije

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Argumentacija u pet etapa

1 Konstruisanje argumenta

2 Evaluacija snage svakog argumenta

3 Definisanje interakcija me�u argumentima

4 Definisanje statusa svakog argumenta

5 Zakljucak1 Izvesti zakljucke koji slede iz baze znanja2 Pore�ati opcije

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Argumentacija u pet etapa

1 Konstruisanje argumenta

2 Evaluacija snage svakog argumenta

3 Definisanje interakcija me�u argumentima

4 Definisanje statusa svakog argumenta

5 Zakljucak1 Izvesti zakljucke koji slede iz baze znanja2 Pore�ati opcije

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Argumentacija u pet etapa

1 Konstruisanje argumenta

2 Evaluacija snage svakog argumenta

3 Definisanje interakcija me�u argumentima

4 Definisanje statusa svakog argumenta

5 Zakljucak1 Izvesti zakljucke koji slede iz baze znanja2 Pore�ati opcije

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Argumentacija u pet etapa

1 Konstruisanje argumenta

2 Evaluacija snage svakog argumenta

3 Definisanje interakcija me�u argumentima

4 Definisanje statusa svakog argumenta

5 Zakljucak1 Izvesti zakljucke koji slede iz baze znanja2 Pore�ati opcije

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Tipovi argumenata

Epistemicki argumenti Prakticni argumenti

Podrzavaju verovanja Podrzavaju opcijeKondicionalni silogizam Prakticni silogizam

oblaci ¬natrpan je cilj za agentaoblaci → kisa ¬kisobran → ¬natrpan————————— —————————kisa dakle, odabrati opciju ¬kisobran

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Tipovi argumenata

Epistemicki argumenti Prakticni argumenti

Podrzavaju verovanja Podrzavaju opcijeKondicionalni silogizam Prakticni silogizam

oblaci ¬natrpan je cilj za agentaoblaci → kisa ¬kisobran → ¬natrpan————————— —————————kisa dakle, odabrati opciju ¬kisobran

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Tipovi argumenata (nastavak)

O = {o1, . . . , on} = skup opcija

Ap = skup prakticnih argumenata

Ae = skup epistemickih argumenata

Ap ∩ Ae = ∅H : O → 2Ap takav da :

Ap =⋃n

i=1 H(oi)(∀oi �= oj), H(oi) ∩H(oj) = ∅

Primer :O = {kisobran,¬kisobran}Ae = {α1 = {oblaci , oblaci → kisa}}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Tipovi argumenata (nastavak)

O = {o1, . . . , on} = skup opcija

Ap = skup prakticnih argumenata

Ae = skup epistemickih argumenata

Ap ∩ Ae = ∅H : O → 2Ap takav da :

Ap =⋃n

i=1 H(oi)(∀oi �= oj), H(oi) ∩H(oj) = ∅

Primer :O = {kisobran,¬kisobran}Ae = {α1 = {oblaci , oblaci → kisa}}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Tipovi argumenata (nastavak)

O = {o1, . . . , on} = skup opcija

Ap = skup prakticnih argumenata

Ae = skup epistemickih argumenata

Ap ∩ Ae = ∅H : O → 2Ap takav da :

Ap =⋃n

i=1 H(oi)(∀oi �= oj), H(oi) ∩H(oj) = ∅

Primer :O = {kisobran,¬kisobran}Ae = {α1 = {oblaci , oblaci → kisa}}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Tipovi argumenata (nastavak)

O = {o1, . . . , on} = skup opcija

Ap = skup prakticnih argumenata

Ae = skup epistemickih argumenata

Ap ∩ Ae = ∅H : O → 2Ap takav da :

Ap =⋃n

i=1 H(oi)(∀oi �= oj), H(oi) ∩H(oj) = ∅

Primer :O = {kisobran,¬kisobran}Ae = {α1 = {oblaci , oblaci → kisa}}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Tipovi argumenata (nastavak)

O = {o1, . . . , on} = skup opcija

Ap = skup prakticnih argumenata

Ae = skup epistemickih argumenata

Ap ∩ Ae = ∅H : O → 2Ap takav da :

Ap =⋃n

i=1 H(oi)(∀oi �= oj), H(oi) ∩H(oj) = ∅

Primer :O = {kisobran,¬kisobran}Ae = {α1 = {oblaci , oblaci → kisa}}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Tipovi argumenata (nastavak)

O = {o1, . . . , on} = skup opcija

Ap = skup prakticnih argumenata

Ae = skup epistemickih argumenata

Ap ∩ Ae = ∅H : O → 2Ap takav da :

Ap =⋃n

i=1 H(oi)(∀oi �= oj), H(oi) ∩H(oj) = ∅

Primer :O = {kisobran,¬kisobran}Ae = {α1 = {oblaci , oblaci → kisa}}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Tipovi argumenata (nastavak)

O = {o1, . . . , on} = skup opcija

Ap = skup prakticnih argumenata

Ae = skup epistemickih argumenata

Ap ∩ Ae = ∅H : O → 2Ap takav da :

Ap =⋃n

i=1 H(oi)(∀oi �= oj), H(oi) ∩H(oj) = ∅

Primer :O = {kisobran,¬kisobran}Ae = {α1 = {oblaci , oblaci → kisa}}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Tipovi argumenata (nastavak)

O = {o1, . . . , on} = skup opcija

Ap = skup prakticnih argumenata

Ae = skup epistemickih argumenata

Ap ∩ Ae = ∅H : O → 2Ap takav da :

Ap =⋃n

i=1 H(oi)(∀oi �= oj), H(oi) ∩H(oj) = ∅

Primer :O = {kisobran,¬kisobran}Ae = {α1 = {oblaci , oblaci → kisa}}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Tipovi argumenata (nastavak)

O = {o1, . . . , on} = skup opcija

Ap = skup prakticnih argumenata

Ae = skup epistemickih argumenata

Ap ∩ Ae = ∅H : O → 2Ap takav da :

Ap =⋃n

i=1 H(oi)(∀oi �= oj), H(oi) ∩H(oj) = ∅

Primer :O = {kisobran,¬kisobran}Ae = {α1 = {oblaci , oblaci → kisa}}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Tipovi argumenata (nastavak)

O = {o1, . . . , on} = skup opcija

Ap = skup prakticnih argumenata

Ae = skup epistemickih argumenata

Ap ∩ Ae = ∅H : O → 2Ap takav da :

Ap =⋃n

i=1 H(oi)(∀oi �= oj), H(oi) ∩H(oj) = ∅

Primer :O = {kisobran,¬kisobran}Ae = {α1 = {oblaci , oblaci → kisa}}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Tipovi argumenata (nastavak)

O = {o1, . . . , on} = skup opcija

Ap = skup prakticnih argumenata

Ae = skup epistemickih argumenata

Ap ∩ Ae = ∅H : O → 2Ap takav da :

Ap =⋃n

i=1 H(oi)(∀oi �= oj), H(oi) ∩H(oj) = ∅

Primer :O = {kisobran,¬kisobran}Ae = {α1 = {oblaci , oblaci → kisa}}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Preferencije medju argumentima

Argumenti nemaju uvek istu tezinu

Tri relacije preferencije :

≥p⊆ Ap ×Ap

≥e⊆ Ae ×Ae

≥m= Ae ×Ap

Primer :Ae = {α1 = {oblaci , oblaci → kisa}}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}≥m= {(α1, δ1), (α1, δ2)}≥p= {(δ1, δ2)}

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Preferencije medju argumentima

Argumenti nemaju uvek istu tezinu

Tri relacije preferencije :

≥p⊆ Ap ×Ap

≥e⊆ Ae ×Ae

≥m= Ae ×Ap

Primer :Ae = {α1 = {oblaci , oblaci → kisa}}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}≥m= {(α1, δ1), (α1, δ2)}≥p= {(δ1, δ2)}

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Preferencije medju argumentima

Argumenti nemaju uvek istu tezinu

Tri relacije preferencije :

≥p⊆ Ap ×Ap

≥e⊆ Ae ×Ae

≥m= Ae ×Ap

Primer :Ae = {α1 = {oblaci , oblaci → kisa}}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}≥m= {(α1, δ1), (α1, δ2)}≥p= {(δ1, δ2)}

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Preferencije medju argumentima

Argumenti nemaju uvek istu tezinu

Tri relacije preferencije :

≥p⊆ Ap ×Ap

≥e⊆ Ae ×Ae

≥m= Ae ×Ap

Primer :Ae = {α1 = {oblaci , oblaci → kisa}}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}≥m= {(α1, δ1), (α1, δ2)}≥p= {(δ1, δ2)}

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Preferencije medju argumentima

Argumenti nemaju uvek istu tezinu

Tri relacije preferencije :

≥p⊆ Ap ×Ap

≥e⊆ Ae ×Ae

≥m= Ae ×Ap

Primer :Ae = {α1 = {oblaci , oblaci → kisa}}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}≥m= {(α1, δ1), (α1, δ2)}≥p= {(δ1, δ2)}

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Preferencije medju argumentima

Argumenti nemaju uvek istu tezinu

Tri relacije preferencije :

≥p⊆ Ap ×Ap

≥e⊆ Ae ×Ae

≥m= Ae ×Ap

Primer :Ae = {α1 = {oblaci , oblaci → kisa}}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}≥m= {(α1, δ1), (α1, δ2)}≥p= {(δ1, δ2)}

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Preferencije medju argumentima

Argumenti nemaju uvek istu tezinu

Tri relacije preferencije :

≥p⊆ Ap ×Ap

≥e⊆ Ae ×Ae

≥m= Ae ×Ap

Primer :Ae = {α1 = {oblaci , oblaci → kisa}}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}≥m= {(α1, δ1), (α1, δ2)}≥p= {(δ1, δ2)}

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Preferencije medju argumentima

Argumenti nemaju uvek istu tezinu

Tri relacije preferencije :

≥p⊆ Ap ×Ap

≥e⊆ Ae ×Ae

≥m= Ae ×Ap

Primer :Ae = {α1 = {oblaci , oblaci → kisa}}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}≥m= {(α1, δ1), (α1, δ2)}≥p= {(δ1, δ2)}

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Konflikti me�u argumentima

Tri tipa konflikata me�u argumentima :

Re ⊆ Ae ×Ae

Rp ⊆ Ap ×Ap

Rm ⊆ Ae ×Ap

Tri relacije napada me�u argumentima. Neka su a, b ∈ A :(a, b) ∈ Defx , sa x ∈ {e, p,m} akko

(a, b) ∈ Rx i(b, a) /∈ ≥x

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Konflikti me�u argumentima

Tri tipa konflikata me�u argumentima :

Re ⊆ Ae ×Ae

Rp ⊆ Ap ×Ap

Rm ⊆ Ae ×Ap

Tri relacije napada me�u argumentima. Neka su a, b ∈ A :(a, b) ∈ Defx , sa x ∈ {e, p,m} akko

(a, b) ∈ Rx i(b, a) /∈ ≥x

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Konflikti me�u argumentima

Tri tipa konflikata me�u argumentima :

Re ⊆ Ae ×Ae

Rp ⊆ Ap ×Ap

Rm ⊆ Ae ×Ap

Tri relacije napada me�u argumentima. Neka su a, b ∈ A :(a, b) ∈ Defx , sa x ∈ {e, p,m} akko

(a, b) ∈ Rx i(b, a) /∈ ≥x

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Sistem za odlucivanje

Sistem za odlucivanje je ure�ena trojka 〈O,A, Def〉 takva da :

O = skup opcijaA = Ae ∪ Ap

Def = Defe ∪ Defp ∪ Defm

Razlicite semantike za izracunavanje prihvacenih argumenata(bazna, preferirana, stabilna, itd ...) [Dung, 1995]

E1, . . . , En = ekstenzije argumenata pod izabranomsemantikom

Neka je a ∈ A.a je skepticki prihvacen akko a ∈ E1 ∩ . . . ∩ En

a je odbacen akko a /∈ E1 ∪ . . . ∪ En

a je uslovno prihvacen akko ∃Ei , Ej td. a ∈ Ei i a /∈ Ej

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Sistem za odlucivanje

Sistem za odlucivanje je ure�ena trojka 〈O,A, Def〉 takva da :

O = skup opcijaA = Ae ∪ Ap

Def = Defe ∪ Defp ∪ Defm

Razlicite semantike za izracunavanje prihvacenih argumenata(bazna, preferirana, stabilna, itd ...) [Dung, 1995]

E1, . . . , En = ekstenzije argumenata pod izabranomsemantikom

Neka je a ∈ A.a je skepticki prihvacen akko a ∈ E1 ∩ . . . ∩ En

a je odbacen akko a /∈ E1 ∪ . . . ∪ En

a je uslovno prihvacen akko ∃Ei , Ej td. a ∈ Ei i a /∈ Ej

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Sistem za odlucivanje

Sistem za odlucivanje je ure�ena trojka 〈O,A, Def〉 takva da :

O = skup opcijaA = Ae ∪ Ap

Def = Defe ∪ Defp ∪ Defm

Razlicite semantike za izracunavanje prihvacenih argumenata(bazna, preferirana, stabilna, itd ...) [Dung, 1995]

E1, . . . , En = ekstenzije argumenata pod izabranomsemantikom

Neka je a ∈ A.a je skepticki prihvacen akko a ∈ E1 ∩ . . . ∩ En

a je odbacen akko a /∈ E1 ∪ . . . ∪ En

a je uslovno prihvacen akko ∃Ei , Ej td. a ∈ Ei i a /∈ Ej

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Sistem za odlucivanje

Sistem za odlucivanje je ure�ena trojka 〈O,A, Def〉 takva da :

O = skup opcijaA = Ae ∪ Ap

Def = Defe ∪ Defp ∪ Defm

Razlicite semantike za izracunavanje prihvacenih argumenata(bazna, preferirana, stabilna, itd ...) [Dung, 1995]

E1, . . . , En = ekstenzije argumenata pod izabranomsemantikom

Neka je a ∈ A.a je skepticki prihvacen akko a ∈ E1 ∩ . . . ∩ En

a je odbacen akko a /∈ E1 ∪ . . . ∪ En

a je uslovno prihvacen akko ∃Ei , Ej td. a ∈ Ei i a /∈ Ej

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Sistem za odlucivanje

Sistem za odlucivanje je ure�ena trojka 〈O,A, Def〉 takva da :

O = skup opcijaA = Ae ∪ Ap

Def = Defe ∪ Defp ∪ Defm

Razlicite semantike za izracunavanje prihvacenih argumenata(bazna, preferirana, stabilna, itd ...) [Dung, 1995]

E1, . . . , En = ekstenzije argumenata pod izabranomsemantikom

Neka je a ∈ A.a je skepticki prihvacen akko a ∈ E1 ∩ . . . ∩ En

a je odbacen akko a /∈ E1 ∪ . . . ∪ En

a je uslovno prihvacen akko ∃Ei , Ej td. a ∈ Ei i a /∈ Ej

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Sistem za odlucivanje

Sistem za odlucivanje je ure�ena trojka 〈O,A, Def〉 takva da :

O = skup opcijaA = Ae ∪ Ap

Def = Defe ∪ Defp ∪ Defm

Razlicite semantike za izracunavanje prihvacenih argumenata(bazna, preferirana, stabilna, itd ...) [Dung, 1995]

E1, . . . , En = ekstenzije argumenata pod izabranomsemantikom

Neka je a ∈ A.a je skepticki prihvacen akko a ∈ E1 ∩ . . . ∩ En

a je odbacen akko a /∈ E1 ∪ . . . ∪ En

a je uslovno prihvacen akko ∃Ei , Ej td. a ∈ Ei i a /∈ Ej

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Sistem za odlucivanje

Sistem za odlucivanje je ure�ena trojka 〈O,A, Def〉 takva da :

O = skup opcijaA = Ae ∪ Ap

Def = Defe ∪ Defp ∪ Defm

Razlicite semantike za izracunavanje prihvacenih argumenata(bazna, preferirana, stabilna, itd ...) [Dung, 1995]

E1, . . . , En = ekstenzije argumenata pod izabranomsemantikom

Neka je a ∈ A.a je skepticki prihvacen akko a ∈ E1 ∩ . . . ∩ En

a je odbacen akko a /∈ E1 ∪ . . . ∪ En

a je uslovno prihvacen akko ∃Ei , Ej td. a ∈ Ei i a /∈ Ej

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Sistem za odlucivanje

Sistem za odlucivanje je ure�ena trojka 〈O,A, Def〉 takva da :

O = skup opcijaA = Ae ∪ Ap

Def = Defe ∪ Defp ∪ Defm

Razlicite semantike za izracunavanje prihvacenih argumenata(bazna, preferirana, stabilna, itd ...) [Dung, 1995]

E1, . . . , En = ekstenzije argumenata pod izabranomsemantikom

Neka je a ∈ A.a je skepticki prihvacen akko a ∈ E1 ∩ . . . ∩ En

a je odbacen akko a /∈ E1 ∪ . . . ∪ En

a je uslovno prihvacen akko ∃Ei , Ej td. a ∈ Ei i a /∈ Ej

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Sistem za odlucivanje

Sistem za odlucivanje je ure�ena trojka 〈O,A, Def〉 takva da :

O = skup opcijaA = Ae ∪ Ap

Def = Defe ∪ Defp ∪ Defm

Razlicite semantike za izracunavanje prihvacenih argumenata(bazna, preferirana, stabilna, itd ...) [Dung, 1995]

E1, . . . , En = ekstenzije argumenata pod izabranomsemantikom

Neka je a ∈ A.a je skepticki prihvacen akko a ∈ E1 ∩ . . . ∩ En

a je odbacen akko a /∈ E1 ∪ . . . ∪ En

a je uslovno prihvacen akko ∃Ei , Ej td. a ∈ Ei i a /∈ Ej

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Sistem za odlucivanje

Sistem za odlucivanje je ure�ena trojka 〈O,A, Def〉 takva da :

O = skup opcijaA = Ae ∪ Ap

Def = Defe ∪ Defp ∪ Defm

Razlicite semantike za izracunavanje prihvacenih argumenata(bazna, preferirana, stabilna, itd ...) [Dung, 1995]

E1, . . . , En = ekstenzije argumenata pod izabranomsemantikom

Neka je a ∈ A.a je skepticki prihvacen akko a ∈ E1 ∩ . . . ∩ En

a je odbacen akko a /∈ E1 ∪ . . . ∪ En

a je uslovno prihvacen akko ∃Ei , Ej td. a ∈ Ei i a /∈ Ej

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Sistem za odlucivanje

Sistem za odlucivanje je ure�ena trojka 〈O,A, Def〉 takva da :

O = skup opcijaA = Ae ∪ Ap

Def = Defe ∪ Defp ∪ Defm

Razlicite semantike za izracunavanje prihvacenih argumenata(bazna, preferirana, stabilna, itd ...) [Dung, 1995]

E1, . . . , En = ekstenzije argumenata pod izabranomsemantikom

Neka je a ∈ A.a je skepticki prihvacen akko a ∈ E1 ∩ . . . ∩ En

a je odbacen akko a /∈ E1 ∪ . . . ∪ En

a je uslovno prihvacen akko ∃Ei , Ej td. a ∈ Ei i a /∈ Ej

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Izlaz sistema

1 Status svake opcije o ∈ O.

o est prihvatljiva akko ∃a ∈ H(o) td. a je skepticki prihvacen=⇒ Oa

o je odbijena akko H(o) �= ∅ i ∀a ∈ H(o), a je odbijen =⇒ Or

o je pregovorljiva akko ∃a ∈ H(o) td. a je uslovno prihvaceni �a′ ∈ H(o) td. a′ je skepticki prihvacen=⇒ On

o je nepodrzana akko H(o) = ∅ =⇒ Ons

2 Potpuni poredak � na OOa � On � Ons � Or

Ako o, o′ ∈ Ox , sa x ∈ {a, n, ns, r} onda o � o′ et o′ � o

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Izlaz sistema

1 Status svake opcije o ∈ O.

o est prihvatljiva akko ∃a ∈ H(o) td. a je skepticki prihvacen=⇒ Oa

o je odbijena akko H(o) �= ∅ i ∀a ∈ H(o), a je odbijen =⇒ Or

o je pregovorljiva akko ∃a ∈ H(o) td. a je uslovno prihvaceni �a′ ∈ H(o) td. a′ je skepticki prihvacen=⇒ On

o je nepodrzana akko H(o) = ∅ =⇒ Ons

2 Potpuni poredak � na OOa � On � Ons � Or

Ako o, o′ ∈ Ox , sa x ∈ {a, n, ns, r} onda o � o′ et o′ � o

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Izlaz sistema

1 Status svake opcije o ∈ O.

o est prihvatljiva akko ∃a ∈ H(o) td. a je skepticki prihvacen=⇒ Oa

o je odbijena akko H(o) �= ∅ i ∀a ∈ H(o), a je odbijen =⇒ Or

o je pregovorljiva akko ∃a ∈ H(o) td. a je uslovno prihvaceni �a′ ∈ H(o) td. a′ je skepticki prihvacen=⇒ On

o je nepodrzana akko H(o) = ∅ =⇒ Ons

2 Potpuni poredak � na OOa � On � Ons � Or

Ako o, o′ ∈ Ox , sa x ∈ {a, n, ns, r} onda o � o′ et o′ � o

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Izlaz sistema

1 Status svake opcije o ∈ O.

o est prihvatljiva akko ∃a ∈ H(o) td. a je skepticki prihvacen=⇒ Oa

o je odbijena akko H(o) �= ∅ i ∀a ∈ H(o), a je odbijen =⇒ Or

o je pregovorljiva akko ∃a ∈ H(o) td. a je uslovno prihvaceni �a′ ∈ H(o) td. a′ je skepticki prihvacen=⇒ On

o je nepodrzana akko H(o) = ∅ =⇒ Ons

2 Potpuni poredak � na OOa � On � Ons � Or

Ako o, o′ ∈ Ox , sa x ∈ {a, n, ns, r} onda o � o′ et o′ � o

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Izlaz sistema

1 Status svake opcije o ∈ O.

o est prihvatljiva akko ∃a ∈ H(o) td. a je skepticki prihvacen=⇒ Oa

o je odbijena akko H(o) �= ∅ i ∀a ∈ H(o), a je odbijen =⇒ Or

o je pregovorljiva akko ∃a ∈ H(o) td. a je uslovno prihvaceni �a′ ∈ H(o) td. a′ je skepticki prihvacen=⇒ On

o je nepodrzana akko H(o) = ∅ =⇒ Ons

2 Potpuni poredak � na OOa � On � Ons � Or

Ako o, o′ ∈ Ox , sa x ∈ {a, n, ns, r} onda o � o′ et o′ � o

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Izlaz sistema

1 Status svake opcije o ∈ O.

o est prihvatljiva akko ∃a ∈ H(o) td. a je skepticki prihvacen=⇒ Oa

o je odbijena akko H(o) �= ∅ i ∀a ∈ H(o), a je odbijen =⇒ Or

o je pregovorljiva akko ∃a ∈ H(o) td. a je uslovno prihvaceni �a′ ∈ H(o) td. a′ je skepticki prihvacen=⇒ On

o je nepodrzana akko H(o) = ∅ =⇒ Ons

2 Potpuni poredak � na OOa � On � Ons � Or

Ako o, o′ ∈ Ox , sa x ∈ {a, n, ns, r} onda o � o′ et o′ � o

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Izlaz sistema

1 Status svake opcije o ∈ O.

o est prihvatljiva akko ∃a ∈ H(o) td. a je skepticki prihvacen=⇒ Oa

o je odbijena akko H(o) �= ∅ i ∀a ∈ H(o), a je odbijen =⇒ Or

o je pregovorljiva akko ∃a ∈ H(o) td. a je uslovno prihvaceni �a′ ∈ H(o) td. a′ je skepticki prihvacen=⇒ On

o je nepodrzana akko H(o) = ∅ =⇒ Ons

2 Potpuni poredak � na OOa � On � Ons � Or

Ako o, o′ ∈ Ox , sa x ∈ {a, n, ns, r} onda o � o′ et o′ � o

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Izlaz sistema

1 Status svake opcije o ∈ O.

o est prihvatljiva akko ∃a ∈ H(o) td. a je skepticki prihvacen=⇒ Oa

o je odbijena akko H(o) �= ∅ i ∀a ∈ H(o), a je odbijen =⇒ Or

o je pregovorljiva akko ∃a ∈ H(o) td. a je uslovno prihvaceni �a′ ∈ H(o) td. a′ je skepticki prihvacen=⇒ On

o je nepodrzana akko H(o) = ∅ =⇒ Ons

2 Potpuni poredak � na OOa � On � Ons � Or

Ako o, o′ ∈ Ox , sa x ∈ {a, n, ns, r} onda o � o′ et o′ � o

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Izlaz sistema

1 Status svake opcije o ∈ O.

o est prihvatljiva akko ∃a ∈ H(o) td. a je skepticki prihvacen=⇒ Oa

o je odbijena akko H(o) �= ∅ i ∀a ∈ H(o), a je odbijen =⇒ Or

o je pregovorljiva akko ∃a ∈ H(o) td. a je uslovno prihvaceni �a′ ∈ H(o) td. a′ je skepticki prihvacen=⇒ On

o je nepodrzana akko H(o) = ∅ =⇒ Ons

2 Potpuni poredak � na OOa � On � Ons � Or

Ako o, o′ ∈ Ox , sa x ∈ {a, n, ns, r} onda o � o′ et o′ � o

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= {(δ1, δ2)}Defp = {(δ1, δ2)}Jedna preferirana ekstenzija : {δ1}δ1 je skepticki prihvacen, δ2 je odbacen

kisobran ∈ Oa,¬kisobran ∈ Or

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= {(δ1, δ2)}Defp = {(δ1, δ2)}Jedna preferirana ekstenzija : {δ1}δ1 je skepticki prihvacen, δ2 je odbacen

kisobran ∈ Oa,¬kisobran ∈ Or

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= {(δ1, δ2)}Defp = {(δ1, δ2)}Jedna preferirana ekstenzija : {δ1}δ1 je skepticki prihvacen, δ2 je odbacen

kisobran ∈ Oa,¬kisobran ∈ Or

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= {(δ1, δ2)}Defp = {(δ1, δ2)}Jedna preferirana ekstenzija : {δ1}δ1 je skepticki prihvacen, δ2 je odbacen

kisobran ∈ Oa,¬kisobran ∈ Or

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= {(δ1, δ2)}Defp = {(δ1, δ2)}Jedna preferirana ekstenzija : {δ1}δ1 je skepticki prihvacen, δ2 je odbacen

kisobran ∈ Oa,¬kisobran ∈ Or

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= {(δ1, δ2)}Defp = {(δ1, δ2)}Jedna preferirana ekstenzija : {δ1}δ1 je skepticki prihvacen, δ2 je odbacen

kisobran ∈ Oa,¬kisobran ∈ Or

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= {(δ1, δ2)}Defp = {(δ1, δ2)}Jedna preferirana ekstenzija : {δ1}δ1 je skepticki prihvacen, δ2 je odbacen

kisobran ∈ Oa,¬kisobran ∈ Or

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= {(δ1, δ2)}Defp = {(δ1, δ2)}Jedna preferirana ekstenzija : {δ1}δ1 je skepticki prihvacen, δ2 je odbacen

kisobran ∈ Oa,¬kisobran ∈ Or

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= {(δ1, δ2)}Defp = {(δ1, δ2)}Jedna preferirana ekstenzija : {δ1}δ1 je skepticki prihvacen, δ2 je odbacen

kisobran ∈ Oa,¬kisobran ∈ Or

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= {(δ1, δ2)}Defp = {(δ1, δ2)}Jedna preferirana ekstenzija : {δ1}δ1 je skepticki prihvacen, δ2 je odbacen

kisobran ∈ Oa,¬kisobran ∈ Or

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= {(δ1, δ2), (δ2, δ1)}Defp = ∅Jedna preferirana ekstenzija : {δ1, δ2}δ1, δ2 su oba skepticki prihvacena

kisobran,¬kisobran ∈ Oa

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= {(δ1, δ2), (δ2, δ1)}Defp = ∅Jedna preferirana ekstenzija : {δ1, δ2}δ1, δ2 su oba skepticki prihvacena

kisobran,¬kisobran ∈ Oa

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= {(δ1, δ2), (δ2, δ1)}Defp = ∅Jedna preferirana ekstenzija : {δ1, δ2}δ1, δ2 su oba skepticki prihvacena

kisobran,¬kisobran ∈ Oa

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= {(δ1, δ2), (δ2, δ1)}Defp = ∅Jedna preferirana ekstenzija : {δ1, δ2}δ1, δ2 su oba skepticki prihvacena

kisobran,¬kisobran ∈ Oa

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= {(δ1, δ2), (δ2, δ1)}Defp = ∅Jedna preferirana ekstenzija : {δ1, δ2}δ1, δ2 su oba skepticki prihvacena

kisobran,¬kisobran ∈ Oa

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar},

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= {(δ1, δ2), (δ2, δ1)}Defp = ∅Jedna preferirana ekstenzija : {δ1, δ2}δ1, δ2 su oba skepticki prihvacena

kisobran,¬kisobran ∈ Oa

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar ,

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= ∅Defp = {(δ1, δ2), (δ2, δ1)}Dve preferirane ekstenzije : {δ1} et {δ2}δ1, δ2 su pregovorljive

kisobran,¬kisobran ∈ On

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar ,

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= ∅Defp = {(δ1, δ2), (δ2, δ1)}Dve preferirane ekstenzije : {δ1} et {δ2}δ1, δ2 su pregovorljive

kisobran,¬kisobran ∈ On

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar ,

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= ∅Defp = {(δ1, δ2), (δ2, δ1)}Dve preferirane ekstenzije : {δ1} et {δ2}δ1, δ2 su pregovorljive

kisobran,¬kisobran ∈ On

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar ,

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= ∅Defp = {(δ1, δ2), (δ2, δ1)}Dve preferirane ekstenzije : {δ1} et {δ2}δ1, δ2 su pregovorljive

kisobran,¬kisobran ∈ On

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar ,

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= ∅Defp = {(δ1, δ2), (δ2, δ1)}Dve preferirane ekstenzije : {δ1} et {δ2}δ1, δ2 su pregovorljive

kisobran,¬kisobran ∈ On

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Primer

O = {kisobran,¬kisobran}Ap = { δ1 = {kisobran → ¬mokar ,

δ2 = {¬kisobran → ¬natrpan}}H(kisobran) = {δ1}, H(¬kisobran) = {δ2}Rp = {(δ1, δ2), (δ2, δ1)}

≥p= ∅Defp = {(δ1, δ2), (δ2, δ1)}Dve preferirane ekstenzije : {δ1} et {δ2}δ1, δ2 su pregovorljive

kisobran,¬kisobran ∈ On

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Izucavanje kompletnih sistema

Sistem AF = 〈O,A, Def〉 je kompletan akko :

1 Skup epistemickih argumenata je prazan (Ae = ∅)

2 Relacija Rp je kompletna(∀a ∈ Ap)(∀b ∈ Ap) a �= b ⇒ (a, b) ∈ Rp ∧ (b, a) ∈ Rp

=⇒ AF = 〈O,Ap, Defp〉

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Izucavanje kompletnih sistema

Sistem AF = 〈O,A, Def〉 je kompletan akko :

1 Skup epistemickih argumenata je prazan (Ae = ∅)

2 Relacija Rp je kompletna(∀a ∈ Ap)(∀b ∈ Ap) a �= b ⇒ (a, b) ∈ Rp ∧ (b, a) ∈ Rp

=⇒ AF = 〈O,Ap, Defp〉

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Izucavanje kompletnih sistema

Sistem AF = 〈O,A, Def〉 je kompletan akko :

1 Skup epistemickih argumenata je prazan (Ae = ∅)

2 Relacija Rp je kompletna(∀a ∈ Ap)(∀b ∈ Ap) a �= b ⇒ (a, b) ∈ Rp ∧ (b, a) ∈ Rp

=⇒ AF = 〈O,Ap, Defp〉

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Izucavanje kompletnih sistema

Sistem AF = 〈O,A, Def〉 je kompletan akko :

1 Skup epistemickih argumenata je prazan (Ae = ∅)

2 Relacija Rp je kompletna(∀a ∈ Ap)(∀b ∈ Ap) a �= b ⇒ (a, b) ∈ Rp ∧ (b, a) ∈ Rp

=⇒ AF = 〈O,Ap, Defp〉

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Izucavanje kompletnih sistema

Sistem AF = 〈O,A, Def〉 je kompletan akko :

1 Skup epistemickih argumenata je prazan (Ae = ∅)

2 Relacija Rp je kompletna(∀a ∈ Ap)(∀b ∈ Ap) a �= b ⇒ (a, b) ∈ Rp ∧ (b, a) ∈ Rp

=⇒ AF = 〈O,Ap, Defp〉

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Neka od svojstava kompletnih sistema

AF = 〈O,Ap, Defp〉 je koherentan (stabilna i preferiranasemantika daju isti rezultat tj. iste ekstenzije argumenata)

AF ima bar jednu nepraznu ekstenziju

Postojanje prihvatljivih i pregovorljivih opcija je uzajamnoiskljucivo

Opcija podrzana od strane najjaceg argumenta je favorizovana

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Neka od svojstava kompletnih sistema

AF = 〈O,Ap, Defp〉 je koherentan (stabilna i preferiranasemantika daju isti rezultat tj. iste ekstenzije argumenata)

AF ima bar jednu nepraznu ekstenziju

Postojanje prihvatljivih i pregovorljivih opcija je uzajamnoiskljucivo

Opcija podrzana od strane najjaceg argumenta je favorizovana

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Neka od svojstava kompletnih sistema

AF = 〈O,Ap, Defp〉 je koherentan (stabilna i preferiranasemantika daju isti rezultat tj. iste ekstenzije argumenata)

AF ima bar jednu nepraznu ekstenziju

Postojanje prihvatljivih i pregovorljivih opcija je uzajamnoiskljucivo

Opcija podrzana od strane najjaceg argumenta je favorizovana

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Neka od svojstava kompletnih sistema

AF = 〈O,Ap, Defp〉 je koherentan (stabilna i preferiranasemantika daju isti rezultat tj. iste ekstenzije argumenata)

AF ima bar jednu nepraznu ekstenziju

Postojanje prihvatljivih i pregovorljivih opcija je uzajamnoiskljucivo

Opcija podrzana od strane najjaceg argumenta je favorizovana

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Neka od svojstava kompletnih sistema

AF = 〈O,Ap, Defp〉 je koherentan (stabilna i preferiranasemantika daju isti rezultat tj. iste ekstenzije argumenata)

AF ima bar jednu nepraznu ekstenziju

Postojanje prihvatljivih i pregovorljivih opcija je uzajamnoiskljucivo

Opcija podrzana od strane najjaceg argumenta je favorizovana

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Revizija statusa date opcije

Neka je AF = 〈O,Ap, Defp〉, e /∈ Ap, et o ∈ O.

acc (∀a ∈ Acc) (a, e) ∈≥p

acc neg (∀a ∈ Acc) (a, e) /∈≥p ∧ (e, a) /∈≥p

rej e /∈ H(o) ∧ (∀a ∈ Acc) (e, a) ∈>p

acc e ∈ H(o) ∧ ((∀a ∈ Sp) (e, a) ∈>)

neg neg e ∈ H(o) ∧ (∃a ∈ Sp) (e, a) /∈>p ∧ (�a′ ∈ Sp) (a′, e) ∈>p

rej e /∈ H(o) ∧ (∀a ∈ Sp) (a ∈ H(o) ⇒ (e, a) ∈>p)

acc e ∈ H(o) ∧ (∀a ∈ Ap) (e, a) ∈≥p

rej neg e ∈ H(o) ∧ (∀a ∈ Ap) (a, e) /∈>p ∧ (∃a ∈ Ap) (e, a) /∈>p

rej e ∈ H(o) ∧ (∃a ∈ Ap)(a, e) ∈>

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Revizija statusa date opcije

Neka je AF = 〈O,Ap, Defp〉, e /∈ Ap, et o ∈ O.

acc (∀a ∈ Acc) (a, e) ∈≥p

acc neg (∀a ∈ Acc) (a, e) /∈≥p ∧ (e, a) /∈≥p

rej e /∈ H(o) ∧ (∀a ∈ Acc) (e, a) ∈>p

acc e ∈ H(o) ∧ ((∀a ∈ Sp) (e, a) ∈>)

neg neg e ∈ H(o) ∧ (∃a ∈ Sp) (e, a) /∈>p ∧ (�a′ ∈ Sp) (a′, e) ∈>p

rej e /∈ H(o) ∧ (∀a ∈ Sp) (a ∈ H(o) ⇒ (e, a) ∈>p)

acc e ∈ H(o) ∧ (∀a ∈ Ap) (e, a) ∈≥p

rej neg e ∈ H(o) ∧ (∀a ∈ Ap) (a, e) /∈>p ∧ (∃a ∈ Ap) (e, a) /∈>p

rej e ∈ H(o) ∧ (∃a ∈ Ap)(a, e) ∈>

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Revizija statusa date opcije

Neka je AF = 〈O,Ap, Defp〉, e /∈ Ap, et o ∈ O.

acc (∀a ∈ Acc) (a, e) ∈≥p

acc neg (∀a ∈ Acc) (a, e) /∈≥p ∧ (e, a) /∈≥p

rej e /∈ H(o) ∧ (∀a ∈ Acc) (e, a) ∈>p

acc e ∈ H(o) ∧ ((∀a ∈ Sp) (e, a) ∈>)

neg neg e ∈ H(o) ∧ (∃a ∈ Sp) (e, a) /∈>p ∧ (�a′ ∈ Sp) (a′, e) ∈>p

rej e /∈ H(o) ∧ (∀a ∈ Sp) (a ∈ H(o) ⇒ (e, a) ∈>p)

acc e ∈ H(o) ∧ (∀a ∈ Ap) (e, a) ∈≥p

rej neg e ∈ H(o) ∧ (∀a ∈ Ap) (a, e) /∈>p ∧ (∃a ∈ Ap) (e, a) /∈>p

rej e ∈ H(o) ∧ (∃a ∈ Ap)(a, e) ∈>

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Revizija statusa date opcije

Neka je AF = 〈O,Ap, Defp〉, e /∈ Ap, et o ∈ O.

acc (∀a ∈ Acc) (a, e) ∈≥p

acc neg (∀a ∈ Acc) (a, e) /∈≥p ∧ (e, a) /∈≥p

rej e /∈ H(o) ∧ (∀a ∈ Acc) (e, a) ∈>p

acc e ∈ H(o) ∧ ((∀a ∈ Sp) (e, a) ∈>)

neg neg e ∈ H(o) ∧ (∃a ∈ Sp) (e, a) /∈>p ∧ (�a′ ∈ Sp) (a′, e) ∈>p

rej e /∈ H(o) ∧ (∀a ∈ Sp) (a ∈ H(o) ⇒ (e, a) ∈>p)

acc e ∈ H(o) ∧ (∀a ∈ Ap) (e, a) ∈≥p

rej neg e ∈ H(o) ∧ (∀a ∈ Ap) (a, e) /∈>p ∧ (∃a ∈ Ap) (e, a) /∈>p

rej e ∈ H(o) ∧ (∃a ∈ Ap)(a, e) ∈>

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Revizija statusa date opcije

Neka je AF = 〈O,Ap, Defp〉, e /∈ Ap, et o ∈ O.

acc (∀a ∈ Acc) (a, e) ∈≥p

acc neg (∀a ∈ Acc) (a, e) /∈≥p ∧ (e, a) /∈≥p

rej e /∈ H(o) ∧ (∀a ∈ Acc) (e, a) ∈>p

acc e ∈ H(o) ∧ ((∀a ∈ Sp) (e, a) ∈>)

neg neg e ∈ H(o) ∧ (∃a ∈ Sp) (e, a) /∈>p ∧ (�a′ ∈ Sp) (a′, e) ∈>p

rej e /∈ H(o) ∧ (∀a ∈ Sp) (a ∈ H(o) ⇒ (e, a) ∈>p)

acc e ∈ H(o) ∧ (∀a ∈ Ap) (e, a) ∈≥p

rej neg e ∈ H(o) ∧ (∀a ∈ Ap) (a, e) /∈>p ∧ (∃a ∈ Ap) (e, a) /∈>p

rej e ∈ H(o) ∧ (∃a ∈ Ap)(a, e) ∈>

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Zakljucak

1 Predlozili smo jedan apstraktni sistem za odlucivanje podneizvesnoscu baziran na argumentima

2 Izucavali smo uticaj odabira semantike na status opcija

3 Izucavali smo klasu kompletnih sistema :1 Svojstva tih sistema2 Reviziju statusa date opcije pri dolasku novog argumenta

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Zakljucak

1 Predlozili smo jedan apstraktni sistem za odlucivanje podneizvesnoscu baziran na argumentima

2 Izucavali smo uticaj odabira semantike na status opcija

3 Izucavali smo klasu kompletnih sistema :1 Svojstva tih sistema2 Reviziju statusa date opcije pri dolasku novog argumenta

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Zakljucak

1 Predlozili smo jedan apstraktni sistem za odlucivanje podneizvesnoscu baziran na argumentima

2 Izucavali smo uticaj odabira semantike na status opcija

3 Izucavali smo klasu kompletnih sistema :1 Svojstva tih sistema2 Reviziju statusa date opcije pri dolasku novog argumenta

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Zakljucak

1 Predlozili smo jedan apstraktni sistem za odlucivanje podneizvesnoscu baziran na argumentima

2 Izucavali smo uticaj odabira semantike na status opcija

3 Izucavali smo klasu kompletnih sistema :1 Svojstva tih sistema2 Reviziju statusa date opcije pri dolasku novog argumenta

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Perspektive

1 Dva tipa argumenata : za i protiv opcija

2 Instancirati generalni okvir sa ciljem da se kodiraju drugikriterijumi odlucivanja

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Perspektive

1 Dva tipa argumenata : za i protiv opcija

2 Instancirati generalni okvir sa ciljem da se kodiraju drugikriterijumi odlucivanja

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Perspektive

1 Dva tipa argumenata : za i protiv opcija

2 Instancirati generalni okvir sa ciljem da se kodiraju drugikriterijumi odlucivanja

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima

Problem odlucivanjaApstraktni okvir za odlucivanje zasnovan na argumentima

Kompletni sistemiZakljucak i perspektive

Apstraktni okvir za odlucivanje zasnovan na argumentima

Merci de votre attention

Sr�an VESIC Apstraktni okvir za odlucivanje zasnovan na argumentima