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

主持人：余喆（主播大秀-主播大秀av ）

时间：2025年11月18日（星期二）14：30

地点：锡昌堂103室

主办：主播大秀-主播大秀av 、中山大学“多向度心灵与智能跨学科研究创新团队”

主讲人简介

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

讲座内容

In many situations that involve human reasoning, what can rationally be inferred is based on argument and counter-argument. That is, questions of what to believe or what to do can be settled by looking what can be reasonably defended using rational discussion. The field of formal argumentation theory aims to model the construction and evaluation of arguments, and make connections between formal models of reasoning and human forms of reasoning. In the current presentation, we provide a brief overview of some of the main approaches in the field.