主题： 动态论辩系统中优先外延的保存原则研究
报告人： 杨泽峰（逻辑学专业硕士生）
时间： 2015年5月19日下午2-4时
地点： 浙大西溪校区主楼259会议室

抽象论辩理论是逻辑学与人工智能领域的一个新兴研究方向，可以用于建模各种非单调推理，帮助Agent在不一致的情境中进行自主推理。由于Agent所处的环境往往是动态变化的，所以论辩系统的动态性问题是一个非常值得关注的研究点。当Agent处在一个动态变化的环境之中，底层知识的改变会引起上层的抽象论辩框架的变化，从而引起论辩语义的变化。目前，如何刻画论辩系统的这种动态性仍然是一个具有 挑战性的问题，难点主要在于当系统发生变化（如添加或删除一个论证或攻击关系）时，如何确定哪些论证的状态发生了改变，以及如何重新评估各个论证的状态。 同时，由于在多数情况下，论辩系统的语义求解不存在易解的算法，当系统发生动态变化时，重新评估各个论证的状态不仅是低效的，而且是困难的。

针对该问题，在现有工作的基础上，本文研究了在动态环境中，优先语义下论辩系统外延保持不变的原则，对减少许多不必要的重新评估过程具有重要意义。

目前，在几种经典的论辩语义（基语义、优先语义、稳定语义等）中，国外学者仅研究了基语义下动态论辩系统外延保持不变的原则，因为基语义只有一个，所以基语义保持不变也就意味着基语义被保存了。由于基语义的求解存在多项式时间的算法，而优先语义的求解则是NP难题，因此本文重点研究优先语义下外延被保存的原则，并重点考虑系统增加一个攻击关系或减少一个攻击关系的情况。

通过上述研究，我们得到如下主要结论：增加一个攻击关系在20个原则下满足优先外延被保存，在余下的16个不满足优先外延被保存的原则中，有10个是绝对满足不了优先外延被保存的，而只要增加一些适当的限制性条件，余下的6个原则是可以满足优先外延被保存的；删除一个攻击关系在29个原则下满足优先外延被保存，其余的7个原则在增加了一些适当的限制性条件之后，可以满足优先外延被保存。不过，本文考察的动态变化相对简单，难以完全符合Agent在现实环境中的真实变化，进一步的结论有待更深入的研究。