西溪逻辑论坛第22期 （本活动受中央高校基本科研业务费专项资金资助） 主题：可废止论辩逻辑（Logics for Defeasible Argumentation） 报告人：周晓君 时间：2015年12月2日上午9:30—11:30 地点：浙大西溪校区主楼259会议室 摘要： 如何运用不完全、不一致、不确定的信息进行正确、高效的推理是人工智能领域的一个重要研究问题。由于经典一阶逻辑据斥矛盾，传统非单调逻辑主要处理认识推理，因此需要在它们的基础上建立更具普适性的形式系统。作为传统非单调逻辑的继承和发展，论辩系统提供了一种处理不一致问题的一般机制。对可废止推理进行形式化的方法有多种，本次讨论主要介绍基于论辩的方法。