主题： 法律论辩中的类比（Analogy in Legal Argumentation） 报告人： 赵佳花 时间： 2015年6月9日下午2-4时 地点： 浙大西溪校区主楼259会议室 摘要： 法律论辩是论辩研究的一个重要领域，是对论辩理论的实际应用。在法律中，当一方陈述自己的法律观点并希望该主张被他人接受时，论辩扮演着重要的角色。首先，基于E.T.FETERIS的论文《A Survey of 25 Years of Research on Legal Argumentation》，我会对法律论辩的发展和主要理论进行综述。其次，类比论证作为一种重要的论证形式，在大陆法系和英美法系中都扮演着重要角色。尤其是在英美法系的判例法中，陈述案件的事实和判决的理由时，广泛的应用类比论证，将相似案例进行比较，从而做出最后的裁定。但是，如何确定逻辑上有效的类比论证是否在法律上也同样有效却是困扰着法律人的一个重要问题。结合法律论辩理论和类比论证的研究，我将对这一问题进行具体的分析。

主题： 动态论辩系统中优先外延的保存原则研究 报告人： 杨泽峰（逻辑学专业硕士生） 时间： 2015年5月19日下午2-4时 地点： 浙大西溪校区主楼259会议室 抽象论辩理论是逻辑学与人工智能领域的一个新兴研究方向，可以用于建模各种非单调推理，帮助Agent在不一致的情境中进行自主推理。由于Agent所处的环境往往是动态变化的，所以论辩系统的动态性问题是一个非常值得关注的研究点。当Agent处在一个动态变化的环境之中，底层知识的改变会引起上层的抽象论辩框架的变化，从而引起论辩语义的变化。目前，如何刻画论辩系统的这种动态性仍然是一个具有 挑战性的问题，难点主要在于当系统发生变化（如添加或删除一个论证或攻击关系）时，如何确定哪些论证的状态发生了改变，以及如何重新评估各个论证的状态。 同时，由于在多数情况下，论辩系统的语义求解不存在易解的算法，当系统发生动态变化时，重新评估各个论证的状态不仅是低效的，而且是困难的。 针对该问题，在现有工作的基础上，本文研究了在动态环境中，优先语义下论辩系统外延保持不变的原则，对减少许多不必要的重新评估过程具有重要意义。 目前，在几种经典的论辩语义（基语义、优先语义、稳定语义等）中，国外学者仅研究了基语义下动态论辩系统外延保持不变的原则，因为基语义只有一个，所以基语义保持不变也就意味着基语义被保存了。由于基语义的求解存在多项式时间的算法，而优先语义的求解则是NP难题，因此本文重点研究优先语义下外延被保存的原则，并重点考虑系统增加一个攻击关系或减少一个攻击关系的情况。 通过上述研究，我们得到如下主要结论：增加一个攻击关系在20个原则下满足优先外延被保存，在余下的16个不满足优先外延被保存的原则中，有10个是绝对满足不了优先外延被保存的，而只要增加一些适当的限制性条件，余下的6个原则是可以满足优先外延被保存的；删除一个攻击关系在29个原则下满足优先外延被保存，其余的7个原则在增加了一些适当的限制性条件之后，可以满足优先外延被保存。不过，本文考察的动态变化相对简单，难以完全符合Agent在现实环境中的真实变化，进一步的结论有待更深入的研究。