一种描述逻辑SROIQ(D)的云模型扩展

客观世界存在大量的不确定性现象和知识。鉴于经典描述逻辑在表示不确定知识上存在一定缺陷,模糊描述逻辑在表示不确定知识时会丢失模糊性,为此,将云模型引入到描述逻辑SROIQ(D)中,实现对SROIQ(D)的云扩展,提出基于云模型的不确定描述逻辑C-SROIQ(D)。并给出其完整的语法、语义及知识库,从而实现了描述不确定性现象,保留了模糊性,还将模糊性和随机性相关联,丰富了描述逻辑的表达能力。     

智能决策支持平台的柔性体系结构研究

结合战场抢修决策平台项目开发,介绍了决策支持系统体系结构的发展历程,提出了智能决策支持平台应具有运行柔性、结构柔性、界面柔性和系统开放性,建立了6库+1平台的柔性体系结构,并提出了CORBA系统中服务对象开发方法,给出了对象适配器结构模型,并且应用这种方法实现了基于CORBA的智能决策支持平台的柔性体系结构。     

基于MAS的智能决策支持系统研究

为了使多Agent系统的研究和日益强大的网络技术为建立人机一体化的智能决策支持系统提供新的途径和方法,文中在分析了多Aggent系统(MAS)体系结构的基础上,对智能决策支持系统(IDSS)进行了探讨,提出一种在网络环境下,基于MAS的智能决策支持系统模型,并给出了其决策支持过程描述、形式化定义.该模型能够为智能决策支持系统提供新的途径和方法,不仅丰富了智能决策理论,而且能够对实际决策提供有效的支持.     

基于泛逻辑学的逻辑关系柔性化研究

建立柔性逻辑体系,既是现实世界复杂问题求解的需要,也是逻辑学发展的一种必然趋势.泛逻辑学是何华灿在探索复杂世界逻辑规律中建立起来的一个柔性逻辑体系.在分析其实现逻辑关系柔性化的思想和方法的基础上,探讨了概率逻辑关系柔性化的问题.理论上,概率逻辑是泛逻辑学的一个特例,因此应该能够在泛逻辑学框架内建立起柔性的概率逻辑体系.     

基于MAS的智能决策支持系统研究

为了使多Agent系统的研究和日益强大的网络技术为建立人机一体化的智能决策支持系统提供新的途径和方法，文中在分析了多Agent系统(MAS)体系结构的基础上，对智能决策支持系统(IDSS)进行了探讨，提出一种在网络环境下，基于MAS的智能决策支持系统模型，并给出了其决策支持过程描述、形式化定义。该模型能够为智能决策支持系统提供新的途径和方法，不仅丰富了智能决策理论，而且能够对实际决策提供有效的支持。     

案例决策技术及案例决策支持系统研究综述

案例是人类直觉、逻辑和创造性三种思维的综合表现形式,案例推理是人脑类比学习的模仿者,在知识难以获取的应用领域取得了丰硕的成果.从认知学角度探讨了案例推理的逻辑合理性,研究了案例智能决策技术;针对决策支持系统研究与开发中出现的系统柔性差等核心问题,提出了以案例推理为基础的案例智能决策支持系统,该系统可以很好地实现决策支持.对此进行了深入研究,最后探讨了该系统的研究与发展的方向.     

基于主体的智能协同决策支持系统

当今社会下,决策过程必须的信息资源和必要的决策因素越来越多地分散在较大的活动范围内,传统的集中式的决策支持系统已经越来越无法满足这种分布式的需求.针对决策支持系统需求的现状和发展前景,首先简要分析了当今的决策支持系统应该具有的特性,然后提出了一种基于主体的智能协同决策支持系统的模型.该模型将不同领域的专家知识封装入多个主体推理机当中,并依靠这些主体推理机之间的协同与交互解决复杂的决策支持问题.最后结合具体的例子介绍了该系统在实际项目中的应用.     

一种基于时态描述逻辑的工资智能决策支持系统的实现

分析指出了现阶段工资智能决策支持系统的不足之处,即工资政策是通过人工编程实现,没有将其形式化,不能适应工资政策的易变性特点.根据工资政策的需求和特点,在时态描述逻辑ALCmon旆的基础上,扩展得到了新的时态描述逻辑EALCmon旆,并分析了其时间复杂度,然后讨论了工资智能决策支持系统基于该时态描述逻辑的实现方法,并给出了工资系统中工资政策的形式化和推理方法,最后讨论了该方法的优点和不足,并指出了以后的工作方向.     

基于信息挖掘的智能决策支持系统结构模型

讨论了一种基于信息挖掘的智能决策支持系统IDSSIM(IntelligentDecisionSupportSystemBasedonInformationMining) ,并给出其总体结构模型和各子系统功能描述。IDSSIM完善并扩充了现有智能决策支持系统的功能 ,改变了现有智能决策支持系统固有的运行机制 ,将推理机制、Web挖掘和KDD 挖掘有效地融入智能决策支持系统中 ,从而形成了一类具有五库、综合集成、多层递阶结构模型的新型智能决策支持系统。IDSSIM对智能决策系统的主流发展起着重要的推动作用 ,有望形成新一代的智能决策支持系统概型。     

基于数据挖掘和CORBA技术的IDSS模型

阐述了数据仓库和数据挖掘技术在决策支持系统中的作用,并结合其应用,提出了一种基于Agent的智能决策支持系统(IDSS)模型。然后,基于CORBA构件技术给出了模型实现方法,并根据此模型开发了一个专利信息战略分析与决策系统原型。实践证明此模型是可行的。     

基于GQFD的无人智能化保障装备能力需求分析

着眼无人智能化保障装备发展问题,为构建智能高效的保障装备体系,在对智能化战争条件下装备保障“任务—能力”进行分析,确定感知战场态势、辅助指挥决策、装备检测维修、物资精准保障4项智能化保障任务和大数据分析处理能力、智能决策能力、多源数据采集能力等9种无人智能化保障装备能力的基础上,运用基于灰色关联分析的质量功能展开方法,建立包含灰色综合关联矩阵的无人智能化保障装备能力需求分析质量屋,得到无人智能化保障装备能力指标重要度排序,大数据分析处理能力重要度为6.890 6,居于首位,该能力是保障装备开展所有保障活动的基础,符合智能化装备保障“以智取胜”的致胜机理;结果表明该模型具有较好的可行性和适用性,验证了该方法在无人智能化保障装备能力需求分析中的可行性和有效性,为下一步无人智能化保障装备建设规划提供了有力参考。     

基于云计算的智能测试保障体系构建

针对当前武器装备系统复杂以及测试保障难度大的问题,提出基于云计算的装备智能测试保障体系。该体系以云化智能测控网及运行其上的人工智能算法组成的云计算平台为基础,结合装备的自主保障流程,设计一种基于认知的智能测试与保障方法,实现装备的智能测试与自主保障。基于认知的智能测试以装备的测试性设计为前提,包含机内测试和机外测试两种方式,其运行原理相同,通过云化智能测控网,依托云计算,对获得的历史数据和实时数据进行自组织学习,实时调整装备测试机制、数据传输机制和数据分析与故障预测机制,为实现装备的自主保障提供智能决策支持。     

空间故障网络的柔性逻辑描述

为使空间故障网络(space fault network, SFN)描述系统故障演化过程(system fault evolution process, SFEP)时能蕴含信息的不确定性和演化特征,克服因素、数据和演化本身的不确定性,提出使用柔性逻辑对SFN进行描述和改造。首先论述了SFN存在的问题和使用柔性逻辑解决这些问题的可能性。使用柔性逻辑描述SFN,应从SFN的最基本单元、事件发生关系、SFN结构方面进行。给出了SFN中与、或和传递关系的柔性逻辑表示。在柔性逻辑条件下给出了SFN的关系组,进而得到SFN最终事件状态的柔性逻辑表示。实例结果蕴含了SFEP中各事件、因素和演化过程之间的柔性逻辑关系及其不确定性,为SFEP的智能化研究提供了新方法论和理论基础。     

智能规划的逻辑编码方式研究

逻辑编码方式的设计和实现是基于转换的规划方法有效处理的关键.对几种智能规划方法中的逻辑编码方式予以分析,分别介绍线性编码、基于Graphplan的编码、基于状态的编码、基于动作的编码、基于命题的编码、基于转移的编码、提升的因果编码、基于多值变元的编码、基于有向二元决策图的编码以及基于约束可满足的编码等,并结合国际规划竞赛和相关论文等的实验结论,说明上述编码方式的有效性和可行性,分析该类编码方式在其他领域的应用前景.最后,提出目前智能规划方法中逻辑编码方式研究所面临的挑战、可能的处理方法,以及与之相关的研究热点与趋势.     

An implementation of inference in temporal branching time models

Issues concerning the implementation of temporal reasoning (inference) for models based on branching time logic as applied to intelligent decision support systems are considered. The focus is on the construction of a qualitative (interval) and quantitative (metric) branching time model. The inference is reduced to solving the temporal constraint satisfaction problem, and the corresponding procedures (algorithms) are proposed. An example of the practical application of the proposed techniques in a prototype of a real-time intelligent decision support system is described.     

因素表示的信息空间与广义概率逻辑

国内外近年来所提出的广义概率逻辑对于人工智能的发展有重要意义。能否反映变换演化的实际场景，使逻辑判断能够灵活变通，这是广义概率逻辑发展的关键。为了解决这一问题，本文的目是以信息空间作为逻辑与实际场景的接口。有了这个接口，逻辑判断就能反映变幻莫测的实际场景。本文的方法是用因素空间来定义表现论域以形成新的信息空间，将谓词中的变元取为因素，在已有的逻辑系统中加上本文所提出的背景公理，所有的推理都是在一定背景之下的推理，不同的背景会推出不同的结论。结果是新的逻辑既能维系Stone表示定理的表现要求，又能变得更加灵活有效。结论能使广义概率逻辑更有效地服务于人工智能。为了配合机制主义人工智能的需要，本文还特别提出了语法-语用对接的方法和目标驱动的逆向推理设想，最后为泛逻辑的3种连续算子对进行了数学证明。     

基于多自主元柔性工作流的敏捷供应链研究*

为了提高敏捷供应链的动态性和敏捷性,采用多自主元柔性工作流技术构建敏捷供应链管理系统。在对敏捷供应链和柔性工作流技术进行分析的基础之上,给出用虚拟工作流和柔性工作流对敏捷供应链进行整体描述的方法。为提高柔性工作流的智能决策能力,以自主计算技术为基础,提出了基于多自主元的柔性工作流,使用多自主元的柔性工作流构建了敏捷供应链的管理框架,并通过自主元的模糊推理实例对多自主元柔性工作流的智能性进行了验证, 多自主元柔性工作流能够满足敏捷供应链管理系统快速重构和动态重组的要求。     

The application of fuzzy logic to the precautionary principle

One of the major problems in the implementation of the precautionary principle in environmental cases is the estimation of the weight of evidence. In this paper we propose a formal method that determines the weight of evidence based on the specific parameters of a given case. The proposed method is based on an artificial intelligence approach called fuzzy logic, which is commonly used as an interface between logic and human perception, and often applied to computer-based complex decision making. We use one fuzzy expert system that provides a quantification of the estimated environmental damage, and a second fuzzy expert system that computes the weight of evidence in a given case. The proposed expert system can be easily defined and adjusted by regulators and environmental science and policy experts.