Share
Embed
Transcript
92 slides
-
Yes - No - Yes - No - Yes ...
Is this how Argumentation works?! Claudia Schulz Student Seminars October 18, 2013 -
Academic Me BSc Cognitive Science MSc AI CAKES ICCSW’13 ACM
Student Chapter -
My Background - Cognitive Science & AI mind & brain
intelligent behaviour humans & machines -
My Background - Cognitive Science & AI mind & brain
intelligent behaviour humans & machines Artificial Intelligence understand & build intelligent systems what makes an artificial system intelligent? -
What makes an artificial system intelligent? AI - A modern
approach: think like a human -
What makes an artificial system intelligent? AI - A modern
approach: think like a human think “rationally” -
What makes an artificial system intelligent? AI - A modern
approach: think like a human think “rationally” act like a human -
What makes an artificial system intelligent? AI - A modern
approach: think like a human think “rationally” act like a human act rationally -
Knowledge Representation & Reasoning Classical Logic Defeasible Logic IF it
is summer THEN the sun is usually shining. It is summer. -
Knowledge Representation & Reasoning Classical Logic Defeasible Logic IF it
is summer THEN the sun is usually shining. It is summer. summer ⇒ sun. summer. -
Knowledge Representation & Reasoning Classical Logic Defeasible Logic IF it
is summer THEN the sun is usually shining. It is summer. summer ⇒ sun. summer. -
Knowledge Representation & Reasoning Classical Logic Defeasible Logic IF it
is summer THEN the sun is usually shining. It is summer. summer ⇒ sun. summer. {summer, sun} -
Knowledge Representation & Reasoning Classical Logic Defeasible Logic IF it
is summer THEN the sun is usually shining. It is summer. summer ⇒ sun. summer. {summer, sun} {summer, sun} -
Knowledge Representation & Reasoning Classical Logic Defeasible Logic IF it
is summer THEN the sun is usually shining. It is summer. summer ⇒ sun. summer. {summer, sun} {summer, sun} IF you are living in the UK THEN the sun is usually not shining. You are living in the UK. -
Knowledge Representation & Reasoning Classical Logic Defeasible Logic IF it
is summer THEN the sun is usually shining. It is summer. summer ⇒ sun. summer. {summer, sun} {summer, sun} IF you are living in the UK THEN the sun is usually not shining. You are living in the UK. UK ⇒ ¬sun. UK. -
Knowledge Representation & Reasoning Classical Logic Defeasible Logic IF it
is summer THEN the sun is usually shining. It is summer. summer ⇒ sun. summer. {summer, sun} {summer, sun} IF you are living in the UK THEN the sun is usually not shining. You are living in the UK. UK ⇒ ¬sun. UK. -
Knowledge Representation & Reasoning Classical Logic Defeasible Logic IF it
is summer THEN the sun is usually shining. It is summer. summer ⇒ sun. summer. {summer, sun} {summer, sun} IF you are living in the UK THEN the sun is usually not shining. You are living in the UK. UK ⇒ ¬sun. UK. ⊥ -
Knowledge Representation & Reasoning Classical Logic Defeasible Logic IF it
is summer THEN the sun is usually shining. It is summer. summer ⇒ sun. summer. {summer, sun} {summer, sun} IF you are living in the UK THEN the sun is usually not shining. You are living in the UK. UK ⇒ ¬sun. UK. ⊥ {summer, UK, sun} / {summer, UK, ¬sun} -
Argumentation Theory WHAT is it? WHERE does it fit into
AI? HOW is it useful? -
Argumentation Theory HOW is it useful? WHAT is it? WHERE
does it fit into AI? -
HOW is Argumentation Theory useful? robot-robot & robot-human interaction decision
making: medicine, law, ... -
HOW is Argumentation Theory useful? robot-robot & robot-human interaction decision
making: medicine, law, ... analyse online discussion: twitter, facebook, ... -
WHAT is Argumentation Theory? - Abstract Argumentation Yes - No
- Yes - No - Yes ... -
WHAT is Argumentation Theory? - Abstract Argumentation Yes - No
- Yes - No - Yes ... -
WHAT is Argumentation Theory? - Abstract Argumentation Yes - No
- Yes - No - Yes ... -
WHAT is Argumentation Theory? - Abstract Argumentation Yes - No
- Yes - No - Yes ... The sun is shining because it is summer. The sun is not shining because we’re in the UK. But 10 days a year the sun shines in the UK. The sun already shone 9 days this year, I doubt that today is the 10th day BBC forecasted sun for today. -
WHAT is Argumentation Theory? - Abstract Argumentation Yes - No
- Yes - No - Yes ... yes no yes yes no -
WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference
conclusion premises inference -
WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference
conclusion premises inference conclusion premises inference -
WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference
conclusion premises inference conclusion premises inference conclusion premises inference -
WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference
conclusion premises inference -
WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference
conclusion premises inference win loose -
WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference
conclusion premises inference conclusion premises inference -
WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference
conclusion premises inference conclusion premises inference loose win win -
WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference
conclusion premises inference conclusion premises inference conclusion premises inference -
WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference
conclusion premises inference conclusion premises inference conclusion premises inference win win loose loose -
WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference
conclusion premises inference conclusion premises inference -
WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference
conclusion premises inference conclusion premises inference win loose win -
WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference
conclusion premises inference conclusion premises inference win loose win -
Argumentation Theory - An example summer ⇒ sun. summer. summer
inference sun summer inference -
Argumentation Theory - An example UK ⇒ ¬sun. UK. summer
inference sun summer inference UK inference -
Argumentation Theory - An example UK ⇒ ¬sun. UK. summer
inference sun summer inference UK inference ⌐sun UK inference -
Argumentation Theory - An example not UK ⇒ sun. summer
inference sun summer inference UK inference ⌐sun UK inference not UK not UK inference -
Argumentation Theory - An example not UK ⇒ sun. summer
inference sun summer inference UK inference ⌐sun UK inference not UK not UK inference sun not UK inference -
Argumentation Theory - An example summer inference sun summer inference
UK inference ⌐sun UK inference not UK not UK inference sun not UK inference -
Argumentation Theory - An example summer inference sun summer inference
UK inference ⌐sun UK inference not UK not UK inference sun not UK inference -
Argumentation Theory - An example summer inference sun summer inference
UK inference ⌐sun UK inference not UK not UK inference sun not UK inference -
Argumentation Theory - An example summer inference sun summer inference
UK inference ⌐sun UK inference not UK not UK inference sun not UK inference win win -
Argumentation Theory - An example summer inference sun summer inference
UK inference ⌐sun UK inference not UK not UK inference sun not UK inference win win loose loose -
Argumentation Theory - An example summer inference sun summer inference
UK inference ⌐sun UK inference not UK not UK inference sun not UK inference win win loose loose loose win -
Argumentation Theory - An example summer inference sun summer inference
UK inference ⌐sun UK inference not UK not UK inference sun not UK inference win win loose loose loose win -
WHERE does Argumentation Theory fit into AI? AI - A
modern approach: think like a human think “rationally” act like a human act rationally -
WHERE does Argumentation Theory fit into AI? AI - A
modern approach: think like a human think “rationally” act like a human act rationally -
WHERE does Argumentation Theory fit into AI? AI - A
modern approach: think like a human think “rationally” act like a human act rationally -
WHERE does Argumentation Theory fit into AI? AI - A
modern approach: think like a human think “rationally” act like a human act rationally -
WHERE does Argumentation Theory fit into AI? AI - A
modern approach: think like a human think “rationally” act like a human act rationally -
HOW is Argumentation Theory useful? robot-robot interaction I’ll get the
ball because I’m closest. You won’t get the ball because you are too slow. Not if the opponent stops to think. Player 1 Player 2 Action: Player 1– get theball -
HOW is Argumentation Theory useful? robot-human interaction You should do
your exercises now. But I want to watch TV. The doctor says you have to do them at exactly the same time every day. Robot Human Humanconvincedby robot -
HOW is Argumentation Theory useful? decision making in medicine Decision-System
disease A, not allergic to X → drug1 disease A, not drug1 → drug2 disease B → ⌐drug2 disease A. disease B. disease A inference disease B inference not all. X not all. X inference ⌐drug2 disease B inference drug2 disease A, not drug1 inference drug1 disease A, not all. X inference loose win win win win win Give drug1 -
My research in Argumentation Theory compare Argumentation Frameworks: argument structure,
attacks, winning arguments -
My research in Argumentation Theory compare Argumentation Frameworks: argument structure,
attacks, winning arguments combine Argumentation Theory with other reasoning methods: more powerful -
My research in Argumentation Theory compare Argumentation Frameworks: argument structure,
attacks, winning arguments combine Argumentation Theory with other reasoning methods: more powerful applications: law, medicine -
Thank you for your attention! Further reading on AI and
Argumentation: S. Russell, P. Norvig: Artificial Intelligence - A Modern Approach (3rd Edition), Pearson Education 2010 Rahwan, Iyad (Ed.): Argumentation in Artificial Intelligence Springer 2009 proceedings of COMMA conferences (Computational Models of Argument) Argument & Computation journal