时态Dempster—Shafer理论

1 引言不确定性推理是人工智能中一个重要研究方向。在不同的应用领域,基于不同的不确定性度量理论,提出了许多不确定性推理理论和方法,例如确定因子法、概率推理、模糊推理和Dempster-Sharer理论等。Dempster-Shafer理论是Shafer在Dempster提出的概率区间度量理论的基础上进一步发展的不确定性推理理论。与概率推理等相比,Demp     

定性Dempster-Shafer理论

采用一个全序的符号值集合来代替数值信任度集合[0，1]，提出定性Dempster-Shafer理论来处理既有不确定性又有不精确性的推理问题．首先，定义了适合对不确定性进行定性表达和推理的定性mass函数、定性信任函数等概念，并且研究了这些概念之间的基本关系；其次，详细讨论了定性证据合成问题，提出了基于平均策略的证据合成规则．这种定性Dempster-Shafer理论与其他相关理论相比，既通过在定性领域重新定义Dempster-Shafer理论的基本概念，继承了Dempster-Shafer理论在不确定推理方面的主要特点，同时又具有适合对不精确性操作的既有严格定义又符合直观特性的定性算子，因此更适合基于Dempster-Shafer理论框架不精确表示和处理不确定性．     

属于不同集合的定性信任度的序比较及应用

在定性不确定推理中，定性信任度集并不是惟一的。Akdag等人提出的不同定性信任度集中元素之间的序比较方法存在缺陷，与定性运算并不协调，这将会导致不确定性的定性表达和操作上的矛盾。提出了新的属于不同集的定性信任度的序比较方法，并定义了不同定性信任度集中元素之间的定性混合运算。这种序比较方法不仅更加符合直观，而且与定性运算保持一致，有利于在不确定推理中对属于不同集的定性信任度进行操作。     

Managing Software Requirements Changes Based on Negotiation-Style Revision

For any proposed software project,when the software requirements specification has been established,requirements changes may result in not only a modification of the requirements specification but also a series of modifications of all existing artifacts during the development.Then it is necessary to provide effective and flexible requirements changes management.In this paper,we present an approach to managing requirements changes based on Booth’s negotiation-style framework for belief revision.Informally,we consider the current requirements specification as a belief set about the systemto-be.The request of requirements change is viewed as new information about the same system-to-be.Then the process of executing the requirements change is a process of revising beliefs about the system-to-be.We design a family of belief negotiation models appropriate for different processes of requirements revision,including the setting of the request of requirements change being fully accepted,the setting of the current requirements specification being fully preserved,and that of the current specification and the request of requirements change reaching a compromise.In particular,the prioritization of requirements plays an important role in reaching an agreement in each belief negotiation model designed in this paper.     

非规范软件需求管理

对软件需求阶段的非规范信息进行有效管理有助于改进需求获取过程，提高需求质量．本文主要讨论了软件开发过程中常见的非规范需求并提出了以容忍不一致性的需求推理为核心的管理框架，来有效管理模糊需求信息、冗余需求信息等与不一致信息密切相关的非规范需求信息．     

基于未知扰动的冲突证据合成方法

自从发现Dempster合成可能导致悖论以来,冲突证据合成一直是Dempster-Shafer理论的重要研究方向之一,迄今尚未有统一的解决方法被广泛接受.提出一种新的冲突证据合成方法,即在Dempster合成之前,基于未知扰动对mass函数进行预处理,并通过预处理来解决标准化问题.与其他相关方法相比,这种新方法不仅和Dempster规则形式上一致,合成过程比较灵活,并且可以通过扩展的Bayes公式得到理论上的解释.     

视点合成中重叠需求的不一致优先级处理

对多视点方法来说，各视点不同的利益观可能导致视点之间的重叠需求相对于不同视点优先级设定方面的不一致性．该文主要讨论了视点合成中重叠需求不一致优先级的处理策略和方法．首先作者对需求优先级以及重叠需求相对于不同视点优先级的不一致性等概念给出了严格的定义．其次，对于IEEE推荐标准，作者分别采用格和乘积格来表示重叠需求相对于各视点和合成视点的优先级，借助于乘积格的准布尔特性实现对不一致优先级的容忍策略；最后对基于精确度量设定优先级的情形，采用平均策略确定重叠需求相对于合成视点的综合度量，重新设定重叠需求相对于合成视点的优先级，从而解决这种不一致性．     

软件需求中不一致性处理方案的评估方法(英文)

提出了一种评估软件需求中不一致性处理方案的方法。给定应用场景,对于每个处理方案,主要关注采用该方案修正后的需求规格说明所能推导出的待开发系统的期望响应,并且这些期望响应的相对重要程度被视为评估该方案适合程度的一个重要参数。在这个意义上,定义效用向量函数来度量每一处理方案的适合程度。进一步采用效用向量函数来比较任意两个处理方案。通过这种比较,定义不一致需求处理方案集上的一种序关系(“更适合”)。文章提出的评估方法将为自动选择不一致性处理方案提供基础。