Yes - No - Yes - No - Yes

Transcript

1. Yes - No - Yes - No - Yes ... Is this how Argumentation works?! Claudia Schulz Student Seminars October 18, 2013
2. Academic Me BSc Cognitive Science MSc AI CAKES ICCSW’13 ACM Student Chapter
3. Non-Academic Me
4. My Background - Cognitive Science & AI mind & brain intelligent behaviour humans & machines
5. My Background - Cognitive Science & AI mind & brain intelligent behaviour humans & machines Artificial Intelligence understand & build intelligent systems what makes an artificial system intelligent?
6. What makes an artificial system intelligent?
7. What makes an artificial system intelligent? AI - A modern approach:
8. What makes an artificial system intelligent? AI - A modern approach: think like a human
9. What makes an artificial system intelligent? AI - A modern approach: think like a human think “rationally”
10. What makes an artificial system intelligent? AI - A modern approach: think like a human think “rationally” act like a human
11. What makes an artificial system intelligent? AI - A modern approach: think like a human think “rationally” act like a human act rationally
12. The areas of AI
13. The areas of AI
14. The areas of AI
15. The areas of AI
16. The areas of AI
17. The areas of AI Knowledge Representation (KR) and Reasoning
18. Knowledge Representation & Reasoning Classical Logic Defeasible Logic
19. Knowledge Representation & Reasoning Classical Logic Defeasible Logic IF it is summer THEN the sun is usually shining. It is summer.
20. Knowledge Representation & Reasoning Classical Logic Defeasible Logic IF it is summer THEN the sun is usually shining. It is summer. summer ⇒ sun. summer.
21. Knowledge Representation & Reasoning Classical Logic Defeasible Logic IF it is summer THEN the sun is usually shining. It is summer. summer ⇒ sun. summer.
22. 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}
23. 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}
24. 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.
25. 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.
26. 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.
27. 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. ⊥
28. 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}
29. Argumentation Theory WHAT is it? WHERE does it fit into AI? HOW is it useful?
30. Argumentation Theory HOW is it useful?
31. Argumentation Theory HOW is it useful? WHAT is it?
32. Argumentation Theory HOW is it useful? WHAT is it? WHERE does it fit into AI?
33. HOW is Argumentation Theory useful?
34. HOW is Argumentation Theory useful?
35. HOW is Argumentation Theory useful? robot-robot & robot-human interaction
36. HOW is Argumentation Theory useful? robot-robot & robot-human interaction decision making: medicine, law, ...
37. HOW is Argumentation Theory useful? robot-robot & robot-human interaction decision making: medicine, law, ... analyse online discussion: twitter, facebook, ...
38. WHAT is Argumentation Theory? - Abstract Argumentation Yes - No - Yes - No - Yes ...
39. WHAT is Argumentation Theory? - Abstract Argumentation Yes - No - Yes - No - Yes ...
40. WHAT is Argumentation Theory? - Abstract Argumentation Yes - No - Yes - No - Yes ...
41. 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.
42. WHAT is Argumentation Theory? - Abstract Argumentation Yes - No - Yes - No - Yes ... yes no yes yes no
43. WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference
44. WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference conclusion premises inference
45. WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference conclusion premises inference conclusion premises inference
46. WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference conclusion premises inference conclusion premises inference conclusion premises inference
47. WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference
48. WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference win
49. WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference conclusion premises inference
50. WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference conclusion premises inference win loose
51. WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference conclusion premises inference conclusion premises inference
52. WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference conclusion premises inference conclusion premises inference loose win win
53. WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference conclusion premises inference conclusion premises inference conclusion premises inference
54. WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference conclusion premises inference conclusion premises inference conclusion premises inference win win loose loose
55. WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference conclusion premises inference conclusion premises inference
56. WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference conclusion premises inference conclusion premises inference win loose win
57. WHAT is Argumentation Theory? - Structured Argumentation conclusion premises inference conclusion premises inference conclusion premises inference win loose win
58. Argumentation Theory - An example summer ⇒ sun. summer.
59. Argumentation Theory - An example summer ⇒ sun. summer. summer inference
60. Argumentation Theory - An example summer ⇒ sun. summer. summer inference sun summer inference
61. Argumentation Theory - An example UK ⇒ ¬sun. UK.
62. Argumentation Theory - An example UK ⇒ ¬sun. UK. summer inference sun summer inference UK inference
63. Argumentation Theory - An example UK ⇒ ¬sun. UK. summer inference sun summer inference UK inference ⌐sun UK inference
64. Argumentation Theory - An example not UK ⇒ sun.
65. Argumentation Theory - An example not UK ⇒ sun. summer inference sun summer inference UK inference ⌐sun UK inference not UK not UK inference
66. 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
67. Argumentation Theory - An example summer inference sun summer inference UK inference ⌐sun UK inference not UK not UK inference sun not UK inference
68. Argumentation Theory - An example summer inference sun summer inference UK inference ⌐sun UK inference not UK not UK inference sun not UK inference
69. Argumentation Theory - An example summer inference sun summer inference UK inference ⌐sun UK inference not UK not UK inference sun not UK inference
70. 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
71. 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
72. 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
73. 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
74. WHERE does Argumentation Theory fit into AI? AI - A modern approach: think like a human think “rationally” act like a human act rationally
75. WHERE does Argumentation Theory fit into AI? AI - A modern approach: think like a human think “rationally” act like a human act rationally
76. WHERE does Argumentation Theory fit into AI? AI - A modern approach: think like a human think “rationally” act like a human act rationally
77. WHERE does Argumentation Theory fit into AI? AI - A modern approach: think like a human think “rationally” act like a human act rationally
78. WHERE does Argumentation Theory fit into AI? AI - A modern approach: think like a human think “rationally” act like a human act rationally
79. HOW is Argumentation Theory useful? robot-robot interaction
80. 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
81. HOW is Argumentation Theory useful? robot-human interaction
82. 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
83. HOW is Argumentation Theory useful? decision making in medicine
84. 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
85. HOW is Argumentation Theory useful? analyse online discussions
86. HOW is Argumentation Theory useful? analyse online discussions
87. My research in Argumentation Theory veeeeeery theoretical
88. My research in Argumentation Theory compare Argumentation Frameworks: argument structure, attacks, winning arguments
89. My research in Argumentation Theory compare Argumentation Frameworks: argument structure, attacks, winning arguments combine Argumentation Theory with other reasoning methods: more powerful
90. 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
91. Thank you for your attention!
92. 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