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

摘要

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

目录

声明

致谢

摘要

图表目录

1 绪论

1．1 抽象论辩理论的动态性研究概况

1．2 本文的研究问题

1．3 本文的研究意义以及研究思路

2 抽象论辩理论中的一些基本概念

2．1 基于外延的表示方法

2．2 基于标记的表示方法

2．3 基于外延的方法与基于标记的方法之间的对应关系

2．4 争辩树

2．5 攻击链和攻击环

2．5．1 攻击链

2．5．2 攻击环

2．6 动态变化：增加一个攻击关系和删除一个攻击关系

3 前人对“基外延被保存”的研究

3．1 增加攻击关系保存基外延

3．2 删除攻击关系保存基外延

4 基于优先外延集合的标记L3

4．1 基于某个优先外延的标记L2和基于优先外延集合的标记L3

4．1．1 L2和L3

4．1．2 L3与L1的关系

4．1．3 L3与L2的关系

4．2 基于标记L3的标记XY以及标记L3的性质

5 关于“优先外延被保存”的研究

5．1 增加攻击关系保存优先外延

5．2 删除攻击关系保存优先外延

5．3 关于“保存优先外延”的结论

6 结语

参考文献

作者简历