基于动态模糊逻辑的Agent推理模型及稳定性

提出了基于动态模糊逻辑的Agent推理模型的设计,分析了推理模型中各个模块的功能,为Agent推理找出一种新的解决方法;对影响模型稳定性的因素进行分析,并给出基于动态模糊逻辑的Agent推理模型稳定性的判定定理及其简单证明。     

专家系统中不确定推理模型研究

根据现有不确定推理模型的组成和推理特征,抽象归纳出一种基于产生式规则的不确定推理模板模型。该模板模型具有合理的组成框架结构和接近人类专家推理方式的工作过程。该模型可以帮助我们对不确定推理模型的不确定性知识表示和推理机制进行分析比较。     

一种动态约束优化调度的软件模型

基于静态约束调度及其组件结构,建立了一种动态约束优化调度的软件模型结构,可以适应于调度环境的动态变化。从软件模型上分析,动态约束优化调度的组件包括动态解析器、动态分配器和推理引擎。动态解析器规范了变元和约束条件,动态分配器解决了约束条件的重新分配和冲突,推理引擎实现了快速搜索。实验表明该模型可以满足实际动态逻辑约束问题的求解,并且把传统优化调度的封闭形式扩展为开放状态。     

一个基于模糊逻辑的不确定性推理模型

针对合取运算、析取运算和加权平均运算在求解人机智能化CAPP系统的实际问题时所存在的不足,提出了以权系数为基础的广义模糊逻辑概念.在此基础上,构建了基于模糊逻辑的不确定性推理模型.通过在该模型中引入一组新的函数(即组合函数、匹配函数、传递函数和选择函数),较好地解决了推理中不确定性的匹配与传播这一关键问题,并使用Visual Prolog 5.2智能语言实现了不确定性推理的过程,从而使CAPP系统中模糊工艺知识的获取、表达与应用得以基本实现.     

基于约束网络的多学科协同设计方法

针对多学科设计问题中约束条件过多过于复杂的情况 ,为了保证设计参数一次选取成功 ,提出了一种基于约束网络的多学科协同设计方法。该方法利用约束网络模型收集分属于不同学科的约束条件 ,并在设计期间监控这些约束关系。提出了反映协同设计需求的数学模型 ,设计了一个通用的一致性求解算法框架 ,并利用了基于区间代数的一致性算法。该方法能够在设计的初期就监控设计过程 ,有效地预报冲突。将该方法应用到铁路车辆的转向架设计中 ,已证明了它的有效性。     

面向对象技术在农作物区划专家系统的应用

把面向对象技术应用于专家系统知识库和推理机的建造,提出了一种基于规则推理网络模型优化搜索的设计思路,并讨论了系统的软件实现技术。推理模型由数据驱动,采用广度优先遍历模型推理网络,可降低授索次数。将其应用于吉林省农作物熟区动态区划专家系统的开发中,采用模块化设计,推理过程单独设计一个推理类,比传统的推理机节省了一半以上的搜索次数,取得了很好效果。在实例应用中采用定性与定量相结合的综合多级推理,该方法降低了问题求解的难度,更加贴近人类专家的思维过程。     

基于协同效能的反导作战任务分配模型

提出了一种基于效能最优的多个反导武器系统协同反导作战任务分配模型。阐明了任务分配与目标分配的关系,给出了任务生成原理,建立了考虑任务分配均匀性和一致性的静态任务分配优化模型;为建模方案之间的协同约束,定义了基本效能、自协同效能和互协同效能;基于粒子群优化算法进行了求解。仿真结果表明:建立的模型和方法适用于静态任务分配问题,所得结果合理有效,能够反映出任务协同在多个反导武器系统协同反导任务中的优势。     

基于云理论的新的不确定性推理模型研究

深入分析了传统的基于云理论的不确定性推理模型,在模糊T S模型启发下,结合云理论的成功之处,提出了一种新的不确定性推理模型,该模型可以有效地解决传统的基于云理论的不确定性推理模型在客观地反映现实中的复杂系统方面存在局限性的问题,从而大大降低推理过程的计算量,提高运算速度。仿真结果表明:T S C Y模型的输出与人的主观感受相一致,是一种可行的、有效的推理。     

基于GAG的Horn逻辑分布式推导模型

分布式逻辑推理是在网络环境下提供分布式智能服务的推理机制,提出了一个基于广义与或图(GAG)的Horn逻辑分布式推导模型.该模型可以清晰地表示变量约束,实现无须回溯的远程谓词调用,Horn逻辑中一次成功的推导在该模型中被表示为一个解路径,问题求解被转换为对GAG的搜索.还讨论了广义与或图搜索算法在Horn逻辑推理当中的应用.     

UML类图元模型基于描述逻辑的表示及验证

UML类图元模型采用非形式化的表示,无法对其结构语义进行严格的描述,因此提出一种UML类图元模型基于描述逻辑表示及验证的方法.在对UML类图元模型进行分析的基础上,构建了UML类图元模型基于描述逻辑SHOIN(D)的约束规则集,并验证了UML类图元模型与其构建模型间的一致性.     

时间区间关系的定性与定量的混合推理

区间代数是一种用来进行定性时态推理的工具,它在人工智能中有着广泛的用途。现实世界中有许多定性的时态信息,也有许多定量的时态信息,将定性的时态信息和定量的时态信息在一起进行混合推理是有意义的,它更加贴近于现实,简化了问题的一致性场景的表示,提高了时态计算的效率。     

一种地理信息检索的定性模型

提出一种定性地理信息检索方法, 用于地理信息的定性表达、语义匹配、推理和结果排序, 可以避免目前定量地理信息检索中语义信息丢失问题。采用命题逻辑方法综合表达查询和文档中的主题信息和地理语义信息, 将文档与查询的相关性度量分为主题相似度和地理相似度。前者通过命题关键词间加权本体距离获得。后者可进一步分为概念相似度和位置相似度, 分别基于地理本体和空间语义度量。由于信息的表达形式为命题和信息单元, 采用证据理论和模糊逻辑对上述子相关性度量进行统一建模。所提方法可以基于语义检索网页中的定性地理信息, 并对相关文档进行排序。这种检索和排序方法符合人类空间认知, 因此可以有效提高地理信息检索的效率。     

一种可视化的时态推理方法

给出了一种集成定性与定量的约束的可视时态概念模型，通过该模型使得每个时态对象可以转子平面上的一个可视实体，并且在一些假设下引进一种有效的可视时态约束传递算法。     

Multi-agent Belief, Goal and Exceptions Reasoning

Temporal logics are often adopted as basic tools to specifying mental states such as belief and goal of agents. Althoush there are works on non-monotonic extension of linear temporal logic (LTL) and branching time temporal logic (CTL), the non-monotonic extension of alternating-time temporal logic (ATL) which is an important kind of multi-agent cooperation logics has not been discussed yet in literature. To solve this problem, this paper proposed non-monotonic alternating-time temporal logic with belief and goal, namely N-ATL-BG, to facilitate the non-monotonic reasoning of mental states of agents. The semantic model, syntax and semantics of this new logic are developed. A model checking algorithm which can be finished in polynomial time is proposed for this new logic. Examples are given to show its usage.     

整合非单调推理及时态推理

在本文中我们提出一种整合的推理模式 ASPx,它同时支持非单调推理及时态约束推理.本文展示了它的语法,语义及复杂性分析.除此以外,我们详细研究了它的一个实例化的框架 ASP(DCR),并举例说明其能够作为实时领域内常识推理的逻辑基础.     

一种基于模糊集的混合空间推理方法

基于模糊集合理论, 提出一种将定性空间推理与定量空间推理相结合进行混合空间推理的方法. 将对象间的空间关系解释为表达有关对象空间信息语言变量的限制, 引入语言变量表达定性空间关系； 把语言变量与模糊集合关联起来, 获得定量空间信息； 通过将语言值映射为模糊集合, 以及将模糊集合的元素映射为语言限制词, 实现了定性空间信息和定量空间信息间的转换. 此外, 还给出了与Allen提出的二元基 本关系关联的模糊关系, 并得到了基于模糊关系的Allen推理算法, 从而实现了空间关系间 的推理.     

一种模糊时空描述逻辑F-ALCT(D_(fst))

为了实现语义Web中模糊时空知识的表示与推理,提出了一种支持模糊时空具体域的模糊描述逻辑F-ALCT(D_(fst)).首先,构建了包含模糊时空区域及其时空拓扑谓词的模糊时空具体域D_(fst),给出了两个模糊时空区域之间的拓扑关系模糊度的计算方法.然后,将D_(fst)和时态操作符引入到模糊描述逻辑FuzzyALC中,构建出一种新的模糊描述逻辑F-ALCT(D_(fst)),并定义了其语法、语义和知识库.最后,给出了一个F-ALCT(D_(fst))的知识库实例.F-ALCT(D_(fst))有效地实现了语义Web中模糊时空知识的表示.     

面临不一致时进行一致性推理的语意研究

讨论了一种新的逻辑,这种逻辑允许一个智能体在有不一致性存在于其信念集的情况下进行一致性推理．首先解释了这种逻辑的语意,然后给出了基于这种逻辑的一些推理规则和公理,最后用一个实例讨论了这种逻辑的应用．     

论审判活动中的法律假言推理

法律假言推理是诉讼活动中的重要推理，分析和探讨审判活动中法律假言推理的特征及其结构形式，旨在阐明为了获得可靠，准确的审判结论；除了要具备相关的法律知识以外，还需具备法律逻辑的基础知识，在逻辑的层面上来理解和把握法律规定，进行有效的法律推理，力审判结论提供思维保证。     

模糊逻辑推理在电子病历智能辅助诊断系统中的应用研究

文章将模糊逻辑推理的思想应用于电子病历系统的知识表示和智能推理,在辅助诊断时,根据病人病症进行模糊推理,给出确信度,供医生参考.并用模糊逻辑推理方法在电子病历系统中进行室性早搏的实时自动检测实验,结果表明该方法能帮助医生准确思维,达到有效地降低误诊误治率和减少医疗费用的双重目的.