主题：可废止论辩逻辑（Logics for Defeasible Argumentation）

报告人：周晓君

时间：2015年12月2日上午9:30—11:30

地点：浙大西溪校区主楼259会议室

摘要： 如何运用不完全、不一致、不确定的信息进行正确、高效的推理是人工智能领域的一个重要研究问题。由于经典一阶逻辑据斥矛盾，传统非单调逻辑主要处理认识推理，因此需要在它们的基础上建立更具普适性的形式系统。作为传统非单调逻辑的继承和发展，论辩系统提供了一种处理不一致问题的一般机制。对可废止推理进行形式化的方法有多种，本次讨论主要介绍基于论辩的方法。