讲座预告 | Martin Caminada：突破有限之界：无限论辩框架中的强可相容性

讲座主题：突破有限之界：无限论辩框架中的强可相容性

Strong Admissibility for Infinite Argumentation Frameworks

主讲人：Martin Caminada 卡迪夫大学计算机科学与信息学院 

主持人：崔建英 中山大学哲学系

时间：2025年11月20日（星期四）9：00

地点：锡昌堂103

主办：中山大学“多向度心灵与智能跨学科研究创新团队” 、中山大学哲学系、逻辑与认知研究所

主讲人简介

Martin Caminada 是可计算论辩领域具有重要国际影响力的学者，研究工作主要涵盖人工智能知识表示与推理、逻辑学及论辩理论，致力于探索在信息不完整与观点冲突的复杂环境下，如何实现计算机系统的类人推理能力。他在论辩语义与理性假设方面的奠基性工作为该领域构建了核心理论框架并获得了全球学者的广泛引用。

讲座内容

在形式论辩理论中，强可相容性（Strong Admissibility）是解释一个论点在理性讨论中何以可被接受的核心概念。然而，其传统定义长期局限于有限论辩框架。本讲座基于最新研究成果，探讨如何将这一概念推广至无限论辩框架（Infinite Argumentation Frameworks）。讲座将分析从有限到无限系统转变时的逻辑与计算挑战，并介绍一种新的强可相容性定义，使其在有限与无限框架中均可成立且与既有定义保持一致性。该新定义不仅保留了核心语义性质，也为形式论辩在人工智能可解释性与逻辑推理中的理论拓展提供了新的可能。

Strong admissibility plays an important role in formal argumentation under the grounded semantics, especially when explaining the acceptance of an argument. However, strong admissibility has traditionally only been defined in the context of finite argumentation frameworks. In the current presentation (based on recently published work) we examine the case of infinite argumentation frameworks and explain why these are relevant. In particular, we assess what the challenges are when moving from finite to infinite argumentation frameworks and we show that despite these challenges, strong admissibility can meaningfully be defined and applied in the context of infinite argumentation frameworks.