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

主题：企业家演讲中的隐喻论证（Metaphor Argumentation in Speeches of Entrepreneurs） 报告人： 张侨洋（逻辑学专业硕士生） 时间： 2015年4月23日下午2-4时 地点： 浙大西溪校区主楼259会议室 内容提要： 在企业家的演讲中，常常会听到一些让人印象十分深刻的隐喻性表达。这些隐喻性表达不仅能让演讲更加形象生动，富有感染力，有时还会产生很好的劝说作用。我们试图在概念隐喻理论与图尔敏论证模型的基础上，从隐喻论证和语用论辩的角度，对企业家（以马云为例）演讲中所存在的隐喻性表达进行深入分析，进而探讨隐喻论证是如何发挥劝说功能的。