基于案例推理的网络舆情辅助决策系统研究

为了实现网络舆情监测与辅助决策,提出一种基于案例推理的网络舆情辅助决策系统框架。首先综述网络舆情研究现状,提出基于案例推理的网络舆情辅助决策系统的意义;其次,研究基于案例推理的网络舆情辅助决策系统的工作流程,并提出基于案例推理的网络舆情辅助决策系统的框架;接着研究基于案例推理的网络舆情辅助决策系统中的关键内容,即案例表示与检索,并给出详细实现方法;最后,在以上研究基础上实现原型系统,结果表明该系统可以有效实现舆情辅助决策。     

基于案例系统的一种案例标引和获取方法及算法

基于案例系统通过模拟人们分析和处理问题的方式,以达到辅助决策的目的。案例标引和获取是基于案例系统中的两个重要环节。针对已有方法的不足,提出一种新的案例标引和获取方法。     

基于案例的RCM分析系统案例库的设计

案例库是基于案例的以可靠性为中心的维修(RCM)分析系统的核心,其内容和结构对系统推理效率具有重要的影响。介绍了基于案例的RCM分析系统,提出了案例库的设计目标,分析了案例的主要成份构成,阐述了面向对象、基于关系数据库的案例库组织形式以及索引机制。案例库的设计为基于案例的RCM分析系统的开发和实现奠定了坚实的基础。     

大规模定制环境下的决策案例库系统

针对大规模定制决策的特点,为实现决策案例的重用,提出了一种面向大规模定制决策问题的案例库系统,设计了基于框架结构的案例知识表示模型,介绍了基于模糊加权的案例相似度计算和匹配算法,该算法解决了大规模定制决策问题的结构化表达、检索匹配和重用问题,开发了案例库的原型系统以支持案例管理、推理和基于案例的规则发现。     

聚类分析方法在基于案例推理系统中的应用

在基于案例推理的系统中,案例检索是一个关键的问题,案例检索的速度不仅与案例检索算法有密切关系,而且同案例库所使用的索引方法也有着紧密联系。准确、快速地获得案例的解决方案是评价基于案例推理系统的一个重要方面。当案例库中的案例数量较多时,案例的检索速度问题更为突出,采用多级索引的技术可以有效提高案例检索的速度。文中分析了如何采用聚类分析的方法来为案例库建立多级索引。     

CBR技术在森林火灾预报中的应用

本文描述了一个基于CBR技术的森林火灾预报系统首先介绍整个系统构架和功能,而后对系统实现中的关键问题进行分析解决,包括案例的表示,案例检索及基于规则的推理。     

基于案例推理系统的Petri网模型

在基于案例推理中，一个重要的问题就是如何在案例存储空间进行推演，本文中，我们提出了一个基于案例推理系统的Ｐｅｔｒｉ网模型，而且使用网论中的线性技术来解决基于案例的推演。     

分布式环境下基于语义相似的案例检索

分布式环境下的异构案例表达制约了案例检索过程中案例属性之间的可比性，进而成为分布式环境下案例推理系统成败的一个关键问题。该文提出基于语义相似的案例检索，通过利用Ontology技术来理解案例属性的内在含义，在此基础上定义并计算属性之间的相似程度。对原型系统的初步测试证明了基于语义相似的案例检索有效性。     

基于案例推理的入侵检测关联分析研究

针对基于规则和模型的入侵检测专家系统中难以建立和表达入侵检测规则的问题,利用基于案例推理(CBR)方法对知识要求的低依赖性,将它引入入侵检测(ID)领域,提出了基于案例推理的入侵检测关联分析(CBRIDRA)模型的框架,研究了系统各功能模块,并对其中攻击案例定义、攻击案例检索、攻击案例管理、专家知识系统等关键技术的解决思路和实现方法进行了讨论。     

基于案例推理的供应商选择决策支持系统研究

在介绍了基于案例推理方法的基本原理基础之上,分析了基于案例推理技术的供应商选择决策支持系统的工作原理、框架结构及功能;重点论述了基于案例推理的供应商选择决策支持系统中的一些关键步骤,并结合实例给出了基于案例推理的供应商选择与评价方法,用来验证基于案例推理技术在供应商选择决策支持系统中应用的可行性和有效性,为企业供应商选择决策提供了一个系统模型。     

扩展合同网方法在远程协同诊断中的应用

诊断任务分配是远程协同诊断的一个内容和难点;在经典合同网分配方法基础上,提出的扩展合同网分配方法依据诊断任务的相似范例推理和阈值规则确定投标诊断资源联盟,以满意效用并经过协商来签订和执行合同.该效用由多约束模糊系数法确定;给出了扩展合同网分配方法的算法描述和UML执行流程,通过一个FMS诊断任务分配过程验证了该方法是一个动态、有效的智能诊断任务分配方法;在结论中指出了进一步研究点。     

基于范例推理的合同网模型

合同网是一类重要的基于竞争机制的协同问题求解模型，它一般不对竞争者范围进行限制，采用广播方式发布任务，消费了大量通讯负载，因此不能保证高的工作效率．为了减少Agent之间的通讯负载和协商时间，提高工作效率，本文在合同网模型中引入范例推理，使用范例推理来确定合适的投标竞争者，缩小问题竞争者范围；同时本文在范例中加入了时间因子和遗忘系数等参数，以及一类特殊的范例，有助于改善合同网协作过程，使得系统具有较好的灵活性和适应性．     

Case studies of Z-module reasoning: Proving benchmark theorems from ring theory

A new method, called Z-module reasoning, was formulated for proving and discovering theorems from ring theory. In a case study, the ZMR system designed to implement this method was used to prove the benchmark x ³ ring theorem from associative ring theory. The system proved the theorem quite efficiently. The system was then used to prove the x ⁴ ring theorem from associative ring theory. Again, a proof was produced easily. These proofs, together with the successes in proving other difficult theorems from ring theory suggest that the Z-module reasoning method is useful for solving a class of problems relying on equality reasoning. This paper illustrates the Z-module reasoning method, and analyzes the computer proof of the x ³ ring theorem.This reasearch was supported in part by the Applied Mathematical Sciences subprogram of the office of Energy Research, U.S. Department of Energy, under contract W-31-109-Eng-38.     

基于等级相关的非分类案例检索

现有的非分类CBR（case-based reasoning）系统的对齐度量需要设定阈值,为了克服此局限,提出使用等级相关来判断一个案例是否符合CBR假设,据此给出了非分类CBR系统的评价指标,对加拿大交通安全局的55个航空事故调查报告进行实验,结果表明,使用等级相关对齐进行5-NN案例检索比使用比例对齐（case alignment）和加权相关（weighted correlation）这两个对齐度量,正确率分别提高了10.91%和16.37%。     

融合案例与规则推理的故障预测专家系统

根据故障预测的特点和要求，将案例推理引入到故障预测专家系统的设计中，阐述了案例的描述和检索方法。并以全新的角度提出了基于案例与规则的故障预测推理机制，对二者的结合方式作了阐述，给出了专家系统的整体实现结构。     

PDM环境下基于实例推理的变型设计技术研究

针对建立实例库时存在的问题,对基于实例推理的变型设计进行了研究,提出了在PDM环境下建立实例库的方法.分析了实例推理的一般过程,提出了一种基于实例推理的变型设计求解模型,在此基础上, 以汽车产品为例,提出了一种变型设计的检索方法,为实现汽车产品的变型设计奠定了基础.     

Modular argumentation for modelling legal doctrines in common law of contract

To create a programming environment for contract dispute resolution, we propose an extension of assumption-based argumentation into modular assumption-based argumentation in which different modules of argumentation representing different knowledge bases for reasoning about beliefs and facts and for representation and reasoning with the legal doctrines could be built and assembled together. A distinct novel feature of modular argumentation in compare with other modular logic-based systems like Prolog is that it allows references to different semantics in the same module at the same time, a feature critically important for application of argumentation in legal domains like contract dispute resolution where the outcomes of court cases often depend on whether credulous or skeptical modes of reasoning were applied by the contract parties. We apply the new framework to model the doctrines of contract breach and mutual mistake.     

Are case-based reasoning and dissimilarity-based classification two sides of the same coin?

Case-based reasoning (CBR) is used when generalized knowledge is lacking. The method works on a set of cases formerly processed and stored in the case base. A new case is interpreted based on its similarity to cases in the case base. The closest case with its associated result is selected and presented as output of the system. Recently, dissimilarity-based classification (DSC) has been introduced due to the curse of dimensionality of feature spaces and the problem arising when trying to make image features explicitly. The approach classifies samples based on their dissimilarity value to all training samples. In this paper we are reviewing the basic properties of these two approaches. We show the similarity of dissimilarity-based classification to case-based reasoning. Finally, we conclude that dissimilarity-based classification is a variant of case-based reasoning and that most of the open problems in dissimilarity-based classification are research topics of case-based reasoning.     

基于智能体的混合知识自适应推理控制

本文将传统的混合知识表示法推广，建立了一个将一般知识、案例知识、模型知识、模型知识及神经网络知识有机集成的结构．该种知识表示结构有助于知识的搜索、匹配和推理控制，解决了复杂问题的知识表示．为适应推理方法的需要，将各种不同的推理方法有机融合与集成，提出一种基于智能体的自适应推理控制结构，该种自适应推理控制结构对于改进解决复杂问题的效果以及提高解决复杂问题的效率具有重要意义。     

求解约束网络图的逆向推理方法

本文研究了几何约束网络的求解问题。首先,介绍了常用的几何推理方法,指出了存在的问题。然后,提出了求解约束网络图的一种新方法——逆向推理方法,阐明了基本思想,并给出了应用实例。逆向推理方法继承了几何推理方法的优点,克服了其不足。