Agent信念的遗忘修正方法

为了使信念修正能够满足最小改变原则,首先基于遗忘理论定义遗忘收缩算子,并且证明该算子满足必要AGM收缩假定;然后通过Levi Identity构建遗忘修正算子;最后给出遗忘修正方法和多次遗忘修正算法。实例分析表明,算法具有可行性和有效性,能够得到较满意的修正结果。     

AGM信念收缩算子的拓扑式刻画

当agent的信念集是无限集时,传统的基于有限逻辑语言的刻画信念变化(belief change)的简单语义模型通常不再适用。Grdenfors和Makinson 引入的epistemic entrenchment(认知牢固度)模型虽然可以用来从语义上刻画AGM型信念收缩算子,但他们并未给出如何构造一个具体的epistemic entrenchment 的方法。在无限命题逻辑语言的背景下,通过在模型集上引入一个拓扑结构,构造出一种新的用来刻画AGM信念收缩的语义结构,称为认知链,并给出相应表示定理。讨论了epistemic entrenchment与认知链之间的关系。相对epistemic entrenchment而言,认知链具有结构简单并易于构造的特点。     

语言值直觉模糊二元组表示模型

基于语言真值直觉模糊格,提出一种语言值直觉模糊二元组表示模型.讨论模型中语言值直觉模糊对的运算及其性质.给出语言值直觉模糊聚合算子,即语言值直觉模糊算术平均算子和语言值直觉模糊加权平均算子,实现语言值直觉模糊对的聚合,减少语言值直觉模糊对聚合过程中的信息损失.将此方法用于模糊模式识别中,并以疾病诊断识别过程说明该方法在具有正反两面证据的模糊环境下的有效性.     

基于关系的两维意向结构

从建构agent角度出发,提出了一个基于关系结构的包括agent意向、信念以及目标等认知状态的框架.在此框架中,实现目标的意向形成了两维序结构,其中一维表示意向间的时序关系,另一维表示意向间的相干关系,在此基础上,研究了信念、意向和目标的相互关系.因为摒弃了传统的用模态算子来刻画agent的意向的方法,所以在构建agent时,可以直接采用意向库以及意向间的时序、相干关系来表示agent的意向,从而缩小了agent理论模型与实际agent结构之间的差异,为agent结构的建立提供了必要的理论基础.     

语言比例二元组Bonferroni平均算子的群决策方法

针对语言比例二元组信息集成的问题,提出了语言比例二元组Bonferroni平均算子的群决策方法。基于基本单位区间单调（BUM）函数的定义,提出了三角模糊数的中心有序加权平均算子的概念。由于三角模糊数的中心有序加权平均算子和语言术语的数值表示（NR）之间存在交互关联,提出了用三角模糊数的中心有序加权平均算子代替语言术语的数值表示的方法,并将此方法得到的NR和语言术语的NR进行了对比分析。引入了语言比例二元组Bonferroni平均算子,介绍了语言比例二元组Bonferroni平均算子的群决策方法,并用一个实例来说明其可行性。     

Agent逻辑和真假子集语义

理性Agent规约的形式框架通常基于信念、愿望和意图逻辑.为了克服现有的信念、愿望和意图逻辑中存在的问题,为非正规模态算子提供一种合适的语义表示.讨论了理性Agent性态的抽象规约中对语义表示的要求以及现有的信念、愿望和意图逻辑中存在的问题.介绍了作者开发的真假子集语义及其在Agent形式化中的应用.他们的框架使意图的有问题的性质无效.并且证明通过对模型的代数结构施加一定的约束,能获得许多希望的性质.最后对真假子集语义进行了分析.这一切表明真假子集语义为非正规模态算子提供了一种合适的语义表示,是对经典的正规模态算子可能世界语义的一个重要发展,是理性Agent性态的逻辑规约的有力工具,可应用于建立新的合适的Agent逻辑系统.     

基于Lp收缩算子的改进广义全变分去噪方法

二阶广义的全变分模型是一种建立在全变分模型的思想之上进行改进的图像去噪模型,该模型是一种考虑了一阶以及高阶梯度稀疏性的模型,能够有效地抑制阶梯伪影效应的产生。Lp收缩算子相比于L1算子增加了一个自由度,它能够更好地刻画稀疏梯度信息,同时Lp收缩算子的等高线对噪声更加鲁棒。考虑到Lp收缩算子的优势,将Lp收缩算子引入二阶广义全变分去噪模型,提出改进的二阶广义全变分Lp收缩算子模型(TGV2-Lp)。利用交替乘子迭代法对模型进行求解,引入快速傅里叶算法提高算法效率。通过测试6组图片、对比传统的3种去噪模型,从实验结果可以得出,提出的模型TGV2-Lp在有效保留图片边缘细节信息的同时,能够有效去除噪声,在视觉效果、峰值信噪比和结构相似性都有一定优势.     

一种新的非线性边缘检测滤波器

本文提出一种除噪滤波与边缘检测同时进行的方法——非线性检测滤波器法.该方法基于中值滤波器和非线性Laplace算子数学方法.理论与实验表明:该非线性滤波器很少损失边缘信息,而且速度快.     

C-POWGA算子及其在不确定多属性决策中的应用

为了降低不确定多属性决策中区间决策信息集成时的计算复杂度,将连续区间有序加权几何平均（C-OWGA）算子和Power几何平均算子相结合,提出一种连续区间Power有序加权几何平均（C-POWGA）算子,并提出了一种基于C-POWGA算子的不确定多属性群决策方法;通过某银行的员工绩效考核来说明该方法的可行性和有效性。     

基于SAX方法的时间序列分类问题的多阶段改进研究

分类问题是数据挖掘中的基本问题之一,时间序列的特征表示及相似性度量是时间序列数据挖掘中分类、聚类及模式发现等任务的基础。SAX方法是一种典型的时间序列符号化表示方法,在采用该方法的基础上对时间序列进行分类,不仅可以有效地降维、降噪,而且具有简单、直观等特点,但是该方法有可能造成信息损失并影响到分类结果的准确性。为了弥补信息损失对分类结果的影响,采用了集成学习中大多数投票方法来弥补BOP表示后的信息损失,从而提高整个分类器的效率。针对一些样本在BOP表示中都损失了相似的重要信息,以至于大多数投票无法进一步提高分类效率的问题,进一步提出了结合集成学习中AdaBoost算法,通过对训练样本权重的调整,从而达到以提高分类器性能来弥补信息损失的效果。实验结果表明,将BOP方法与集成学习相结合的方法框架,不仅能很好地处理SAX符号化表示中的信息损失问题,而且与已有方法相比,在分类准确度方面也有显著的提高。     

Infobase Change: A First Approximation

Generalisations of theory change involving operations on arbitrary sets ofwffs instead of on belief sets (i.e., sets closed under a consequencerelation), have become known as base change. In one view, a base should bethought of as providing more structure to its generated belief set, whichmeans that it can be employed to determine the theory contraction operationassociated with a base contraction operation. In this paper we follow suchan approach as the first step in defining infobase change. We think of an infobase as a finite set of wffs consisting of independently obtainedbits of information. Taking AGM theory change (Alchourrón et al. 1985) as the general framework, we present a method that uses the structure of aninfobase B to obtain an AGM theory contraction operation for contractingthe belief set Cn(B). Both the infobase and the obtained theory contraction operation then play a role in constructing a unique infobasecontraction operation. Infobase revision is defined in terms of an analogueof the Levi Identity, and it is shown that the associated theory revisionoperation satisfies the AGM postulates for revision. Because every infobaseis associated with a unique infobase contraction and revision operation, the method also allows for iterated base change.     

A survey of multiple contractions

The AGM theory of belief contraction is extended tomultiple contraction, i.e. to contraction by a set of sentences rather than by a single sentence. There are two major variants: Inpackage contraction all the sentences must be removed from the belief set, whereas inchoice contraction it is sufficient that at least one of them is removed. Constructions of both types of multiple contraction are offered and axiomatically characterized. Neither package nor choice contraction can in general be reduced to contractions by single sentences; in the finite case choice contraction allows for reduction.     

一种基于可信度的迭代信念修正方法

信念修正主要解决在接收到新信息时,如何对原有知识库进行操作的问题．经典的迭代信念修正主要关注信念修正的一致性,并未考虑多agent系统中信息具有不可靠性,以及信念修正过程对修正结果的影响．基于可信度的迭代信念修正方法,通过证据理论以及信度函数方法估计信息的可信度,并由此确定最优的最大协调子集作为信念修正的结果．基于可信度的迭代信念修正算子具有历史依赖性,即修正结果不仅与当前的信念集和接收到的新信息有关,也与信念集中曾经接收到的信息相关．     

一种广义信念修正的计算方法

AGM理论中新知识为单个语句，而实际上新知识通常是以多语句甚至无穷语句的形式出现．广义信念修正从理论上扩充了AGM系统，但在具体实现上还缺乏有效的算法．通过构造优序划分的方法解决信念间的关系问题，采用新知识的信度与冲突知识相关的方法解决新知识的信度问题．给出了一种基于链表的计算方法，从而解决了广义信念修正理论的信念库维护操作问题．     

基于证据推理和VIKOR的二维语言多准则群决策方法

针对专家给出二维语言评价信息的多准则群决策问题,提出基于证据推理和VIKOR的决策方法。首先, 从专家的心理认知和二维语言评价信息的语义出发,设定函数将二维语言信息映射为信度结构;接着基于所提出的广义信度结构,及证据的Pignistic概率距离,定义广义信度结构的距离;最后将专家给出的二维语言决策矩阵转化为信度决策矩阵,用证据推理算子集结为综合信度决策矩阵,并利用VIKOR方法对其求解,获取方案排序。实例分析表明了所提出方法的有效性和实用性。     

电子部件故障诊断的Dempster-Shafer信息融合算法

针对电路故障元件诊断的不确定性问题,给出了光电雷达电子部件故障定位的多传感器Dempster-Shafer(DS)信息融合方法.通过测试电路中的被诊断元件的工作温度和工作电压,得出了DS证据理论中两传感器对各待诊断元件的信度函数分配,再分别利用利用模糊规则和DS联合规则得到融合后的信度函数分配,从而确定故障元件.单传感器诊断与融合诊断的结果比较说明多传感器融合算法具有较高的准确性,而模糊融合算法与DS算法的结果比较则说明DS算法在故障诊断方面更具有优越性.     

优势-等价关系下随机目标信息系统的属性约简

以证据理论中的信任测度和似然测度为基本工具,研究了优势关系下随机信息系统的属性约简问题,引入优势-等价关系下不协调随机目标信息系统的概念,并讨论了其上的分布约简,最后给出实例验证了约简方法的有效性。     

Changes of disjunctively closed bases

An operator of contraction for a belief set (a theory) can be obtained by assigning to it a belief base and an operator of partial meet contraction for that base. It is argued that closure of the base under disjunction is an intuitively reasonable condition. Axiomatic characterizations are given of the contractions of belief sets that can be generated by (various types of) partial meet contraction on disjunctively closed bases. The corresponding revision operators are also characterized. Finally, some results are reported on operations on bases that are closed under material implication.I would like to thank Hans Rott and two anonymous referees for valuable comments and the Swedish Council for Research in the Humanities and Social Sciences for financial support.     

具有可信度的主体信念

本文提出了一种基于可信度逻辑的主体信念程度描述方法，这种方法通过定义信念的可信度描述主体信念的不确定性，允许相互矛盾的主体信念同时存在，并给出了可信度的计算方法与推理规则。信念修正和更新时，根据主体不同的性格采取不同的选择倾向，本文提出的“必要时修正”方法具有很高的效率和实用性。本文选择基于区间的时间逻逻辑描述主体信念中的时间概念，为涉及到大量时间段行为与操作的应用提供了一个新的信念逻辑描述方法。