Reading 6: Argumentation

Reading Theme

Argumentation has been used to provide a proof-theoretic semantics for non-monotonic logic, starting with the influential work of Dung (1995). Computational argumentation systems have found particular application in domains where formal logic and classical decision theory are unable to capture the richness of reasoning, domains such as law and medicine. In this reading group, we aim to study basics of formal argumentation through reading seminal works in the field together. 

Objective

To develop research thinking a new perspective in the field of formal argumentation. 

Information

• Date and Time: August 7 - 8, 2024 from 14:00 to 16:00 

• Place: Seminar 8F and WebEx

All speakers should share your presentation via this shared folder beforehand.
Each presentation should be no longer than 1 hour including Q&A. 

Reading Materials

1. Dung's Abstract Argumentation: Syntax and Semantics

   • Papers: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games (Dung, 1995), Chapter 4 of HOFA (Baroni et al.)

2. Dung's Abstract Argumentation: Proof Procedure 

   • Paper: Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation (Thang et al.. 2009)

3. Assumption-based Argumentation: Syntax and Proof Procedure

   • Papers: Assumption-Based Argumentation (Dung et al., 2009), A tutorial on assumption-based argumentation (Toni, 2014)

4. Bipolar Abstract Argumentation: Syntax and Semantics 

   • Skip !!

5. Bipolar Abstract Argumentation: Proof Procedure 

   • Skip !!

6. Probabilistic-based Abstract Argumentation 

   • Papers: Towards (Probabilistic )Argumentation for Jury-based Dispute Resolution (Dung & Thang, 2010), Probabilistic Reasoning with Abstract Argumentation Frameworks (Hunter & Thimm, 2017)

7. Probabilistic Assumption-based Argumentation 

   • Paper: Inference procedures and engine for probabilistic argumentation (Hung, 2017)

8. Argumentation for Explainable AI

   • Skip !!

Agenda

1. August 7, 14:00 - 15:00

   • Topic: Dung's Abstract Argumentation: Syntax, Semantics, and Proof Procedure

   • Reading materials: #1, #2

   • Presenter: Phapontee

2. August 7, 15:00 - 16:00 

   • Topic: Assumption-based Argumentation: Syntax and Proof Procedure

   • Reading material: #3

   • Presenter: Chavakan

3. August 8, 14:00 - 15:30

   • Topics: Probabilistic-based Abstract Argumentation and Probabilistic Assumption-based Argumentation 

   • Reading materials: #6, #7

   • Presenter: Robin

4. August 22, 14:00 - 16:00

   • Topics: Proof-based Analysis in Abstract Argumentation

   • Presenter: Phapontee