哲思之窗 | 逻辑学读书会：形式论辩文献选读

基本介绍

论辩是日常生活中的常见行为。近代人工智能和逻辑学的发展让我们得以从形式的角度审视论辩，这些发展成果统称为形式论辩。Phan Minh Dung在1995年提出的抽象论辩框架是如今知识表示与推理领域的核心。抽象论辩框架的各种性质、多种变体得到了充分的研究，并在价值推理、法律推理、自动决策等方面均有应用。

本期逻辑学读书会将会阅读形式论辩相关文献，希望通过对论文的阅读和讨论，分享科研的乐趣，提升对形式论辩这个研究领域的理解，提升学术写作能力，欢迎感兴趣的同学参加。

具有一些数学知识和数学写作能力将有助于文献的阅读，参与者可以在参加活动过程中培养这种能力。以下为阅读文献过程中会遇到的语句的例子：

Definition. An abstract argumentation framework F is a pair (A, R), where A is a set of arguments and R is a binary relation on R. If (a, b) ∈ R, we say that a attacks b.

Definition. Let S be a set of arguments and a an argument. We say that S is conflict-free, if there does not exist a, b in S such that a attacks b. We say that S defends a if for any argument b that attacks a, there exists an argument in S that attacks b.

Definition. A set of arguments S is admissible, if S is conflict-free and defends each of its elements.

Lemma. If S is admissible and S defends a, then S∪{a} is admissible.

读书会具体形式

每次活动时长为2小时。第一个小时为学生报告，报告文章的内容。第二个小时为讨论时间，每个人发表自己对文章的看法。哲学学院廖备水教授参与讨论，博士后陈锦盛主持。

联系人

陈锦盛 

[e-mail]

时间地点

秋冬学期每周五下午两点到四点（具体见下表）

紫金港校区蒙民伟楼307

阅读材料

书籍

1. Baroni, P., Gabbay, D., Giacomin, M., & Van der Torre, L. (2018). Handbook of formal argumentation. (参考)

2. Gabbay, D. M., Giacomin, M., Simari, G. R., & Thimm, M. (2021). Journal of Applied Logics: Special Issue on Formal argumentation. (部分)

3. Rahwan, I., & Simari, G. R. (Eds.). (2009). Argumentation in artificial intelligence (Vol. 47). Heidelberg: Springer. (部分)

文献

1. Amgoud, L. (2012, July). Five weaknesses of ASPIC+. In International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (pp. 122-131). Springer, Berlin, Heidelberg.

2. Modgil, S. (2009). Reasoning about preferences in argumentation frameworks. Artificial intelligence, 173(9-10), 901-934.

3. Modgil, S., & Prakken, H. (2013). A general account of argumentation with preferences. Artificial Intelligence, 195, 361-397.

4. Verheij, B. (2012). Clarifying some misconceptions on the ASPIC+ framework. Computational Models of Argument: Proceedings of COMMA 2012, 245, 442.

日程安排

日期	阅读材料
9月16日	Semantics of Abstract Argument Systems (书籍3)
9月23日	Abstract Argumentation and Values (书籍3)
9月30日	Bipolar abstract argumentation systems (书籍3)
10月14日	Complexity of Abstract Argumentation (书籍3)
10月21日	Proof Theories and Algorithms for Abstract Argumentation Frameworks (书籍3)
10月28日	Argumentation Based on Classical Logic (书籍3)
11月4日	期中考放假
11月11日	Argument-based Logic Programming (书籍3)
11月18日	A Recursive Semantics for Defeasible Reasoning (书籍3)
11月25日	Assumption-Based Argumentation (书籍3)
12月2日	A general account of argumentation with preferences (文献3)
12月9日	weakness on ASPIC+ & Responses (文献1,4)
12月16日	Reasoning about Preferences in Argumentation Frameworks (文献2)
12月23日	On the Incremental Computation of
Semantics in Dynamic Argumentation (书籍2)
12月30日	期末考放假

编辑 | 郭航宇

责任编辑 | 陈舒舒