您好、欢迎来到现金彩票网!
当前位置:ds视讯 > 非单调推理 >

动态论辩系统中优先外延的保存原则研究-手机知网

发布时间:2019-07-15 15:36 来源:未知 编辑:admin

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

http://mj-sports.net/feidandiaotuili/534.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有