动态论辩系统中优先外延的保存原则研究

发布时间：2017-12-17 05:14

  本文关键词：动态论辩系统中优先外延的保存原则研究

  更多相关文章： 论辩理论 动态性 攻击关系 优先外延

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

【参考文献】

中国期刊全文数据库 前1条

1 廖备水;;论辩系统的动态性及其研究进展[J];软件学报;2012年11期

，

本文编号：1298869