【摘 要】
:
抽象论辩理论是逻辑学与人工智能领域的一个新兴研究方向。它可以用于建模各种非单调推理,帮助Agent在不一致的情境中进行自主推理。由于Agent所处的环境往往是动态变化的,所
论文部分内容阅读
抽象论辩理论是逻辑学与人工智能领域的一个新兴研究方向。它可以用于建模各种非单调推理,帮助Agent在不一致的情境中进行自主推理。由于Agent所处的环境往往是动态变化的,所以论辩系统的动态性问题是一个非常值得关注的研究点。当Agent处在一个动态变化的环境之中,底层知识的改变会引起上层的抽象论辩框架的变化,从而引起论辩语义的变化。目前,如何刻画论辩系统的这种动态性仍然是一个挑战性问题,难点主要在于当系统发生变化(如添加或删除一个论证或攻击关系)时,如何确定哪些论证的状态发生了改变,以及如何重新评估各个论证的状态。同时,由于在多数情况下,论辩系统的语义求解不存在易解的算法,当系统发生动态变化时,重新评估各个论证的状态不仅是低效的,而且是困难的。针对该问题,本文在现有工作的基础上,研究了在动态环境中,论辩系统在变化之前的语义保存到了变化之后的语义中,对减少许多不必要的重新评估过程具有重要意义。目前,在几种经典的论辩语义(包括基语义、优先语义、稳定语义等)中,国外学者仅研究了基语义下动态论辩系统外延保持不变的原则,因为基语义只有一个,所以基语义保持不变也就意味着基语义被保存了。由于基语义的求解存在多项式时间的算法,而优先语义的求解则是NP难题,因此本文重点研究优先语义下的外延被保存的原则,并重点考虑系统增加一个攻击关系或减少一个攻击关系的情况。通过上述研究,我们得到如下主要结论:增加一个攻击关系在20个原则下满足优先外延被保存,在余下的16个不满足优先外延被保存的原则中,有10个是绝对满足不了优先外延被保存的,而只要增加一些适当的限制性条件,余下的6个原则是可以满足优先外延被保存的;删除一个攻击关系在29个原则下满足优先外延被保存,其余的7个原则在增加了一些适当的限制性条件之后,可以满足优先外延被保存。不过,本文考察的动态变化相对简单,难以完全符合Agent在现实环境中的真实变化,进一步的结论有待更深入的研究。
其他文献
格诺特·波默从现象学出发,将人的感性知觉规定为一种源初的、整体性的处境感受,即气氛(作为一种介于主客之间的情调空间),从而解决了气氛长久以来在存在论上的无法定位性。
本文结合轻型钢结构体系的特点,阐述了轻型钢结构体系进入低层住宅设计的必然性,探讨了轻型钢结构体系在我国建筑工程中的应用。
运动比赛的最后胜负,不单纯地决定于技术和身体素质方面的差距,在很大程度上决定于运动员的心理素质。本文对赛前运动员不良心理状态、产生原因及克服途径进行分析研究,旨在
为研究不同产区干莲子的营养成分和加工特性,以湖南、江西、浙江和越南等地区的5种干莲子为原料,对不同干莲子的纵横径比、基本营养成分、蒸煮后的质构特性、淀粉糊的流变特
<正> 2003年9月到10月,TCL集团接连召开新闻发布会,向媒体披露:TCL集团将通过吸收合并其上市子公司TCL通讯的方式进行上市,将以TCL集团的新发行股票置换TCL通讯的流通股开国
<正>中国是建筑大国,现在也是最大的建筑市场。一些国外的建筑设计师和从海外回来的建筑师,带来新的理念和技术。但同时还有一些人把中国当作所谓新理念的试验田。现在国际上
佛教量论因明学是一门包含了认识论、知识学、逻辑学、论辩术等人生大智慧的学问。就国内外学术界已有的学术成果而言,逻辑学层面的研究是过去研究的重点。但从整个理论体系来
对玉米醇溶蛋白的成膜条件进行了研究,结果表明:玉米醇溶蛋白在80%乙醇中溶解效果良好,在40℃恒温条件下可以在光滑的不锈钢板上形成具有一定强度的可食性薄膜。
临床上需要一种客观的方法评价口腔上皮癌前病变,并需要可靠的标志物预测这些病变是否恶变。 本实验对20例口腔高危区,即舌和口底区上皮异常增生的细胞增殖进行了研究。 材
普遍认为,工业化建筑在环境影响方面优于传统建筑,但是很少有量化研究证明这一观点,因此对工业化建筑的环境影响进行量化的评价尤其重要。而生命周期评价法作为一种能够量化涵盖产品原材料采集、运输、分配、处置全阶段的环境评价方法为解决这一问题提供的基础思路,主要研究内容如下:一是构建了涵盖工业化建筑原材料采集,运输,构件制作,施工现场的施工,直至竣工的阶段工业化建筑物化阶段环境影响评价模型。通过将相关工业化