公共文化服务平台

HTN规划及其复杂度分析被引量：3: 2008年; 为了克服经典状态空间规划中的状态空间的指数爆炸问题,研究者们提出了分层任务网络规划(HTN)技术。给出了HTN规划的形式表示,并给出了其操作语义,在此基础上讨论了HTN规划的复杂性,指出了HTN规划技术的优缺点所在。; 陈蔼祥柴啸龙胡桂武; 关键词：操作语义

基于约束的故障诊断模型及可诊断性分析: 2014年; 诊断问题的复杂性限制了基于模型诊断技术的实际应用,近年出现了不少高效的约束求解器,为充分利用约束求解技术完成诊断,提出一种基于约束的诊断模型,采用约束描述系统结构和功能,重新定义诊断问题并证明了基于约束的诊断和基于一致性的诊断是等价的,在保证诊断完备性的前提下将基于模型的诊断问题转换为通用的约束求解问题;在此基础上,分析了系统的可诊断性,给出了诊断假设可判定、不可判定和部分可判定的充分必要条件,并建立了诊断假设空间关于可诊断性的半序关系,为诊断假设的判定提供理论依据.; 蔡永铭张学农张立成; 关键词：可诊断性

规划的形式表示技术研究被引量：2: 2008年; 智能规划是人工智能研究领域中的一个富有挑战性的课题。同时,智能规划问题具有广泛的实际应用背景。而自动规划问题面临的首要问题是规划问题的形式表示问题。本文系统地分析了情景演算,STRIPS,PDDL,HTN等各种规划形式表示技术,比较了各种形式表示技术的优缺点,并指出了进一步研究设计高效智能规划系统的方向。; 陈蔼祥姜云飞柴啸龙; 关键词：情景演算 STRIPS PDDL

复合系统智能诊断方法研究被引量：1: 2008年; 随着电子设备系统的日益复杂化,依靠单一的推理技术的故障系统已难以满足复杂系统的诊断要求。将多种不同的推理技术结合起来的集成诊断系统,能够充分利用各自的优点,从而提高系统诊断的正确性和效率,是目前智能诊断研究的一个发展趋势。本文将研究复合系统的智能诊断问题,提出在一个复合系统的诊断过程中,运用基于规则的诊断和基于模型的诊断,两种诊断技术相结合将在诊断的不同阶段发挥出各自的作用,从而建立一个融合了RBD和MBD技术优点的、具有一定学习能力的智能诊断系统。; 伍丽华萎云飞陈蔼祥; 关键词：RBD MBD 知识库

从规划解中学习一阶派生谓词规则被引量：11: 2010年; 派生谓词是描述动作非直接效果的主要方式.但是由人类专家设计的派生谓词规则(即领域理论)不能保证总是正确或者完备的,因此有时很难解释一个观察到的规划解为什么是有效的.结合归纳学习与分析学习的优点,文中提出一种称为FODRL(First-Order Derived Rules Learning)的算法,在不完美的初始领域理论的引导下从观察到的规划解中学习一阶派生谓词规则.FODRL基于归纳学习算法FOIL(First-Order Inductive Learning),最主要的改进是可以使用派生谓词的激活集来扩大搜索步,从而提高学习到的规则的精确度.学习过程分为两个步骤:先从规划解中提取训练例,然后学习能够最好拟合训练例和初始领域理论的一阶规则集.在PSR和PROME-LA两个派生规划领域进行实验,结果表明,在大部分情况下FODRL比FOIL(甚至包括其变型算法FOCL)学习到的规则的精确度都要高.; 饶东宁蒋志华姜云飞刘强; 关键词：人工智能

一种带权值的图规划算法被引量：3: 2005年; 图规划算法在智能规划的研究和发展中具有重要的意义和价值,它采用图的方式来求解规划问题,并且提出了用于规划的“规划图”的概念[1,2]。这一方法可以获得经典规划问题的最少动作数意义的最优解,但是却不能求解与动作代价相关的数值规划问题。本文提出一种带权值的图规划算法,在规划图的“动作增加效果”边上增加权值,用来表示动作产生这些效果的代价,从而使得通过规划图来获得最小动作代价意义的最优解。因此,这种方法不但提高了规划解的质量,而且所得到的规划更加贴近实用。; 蒋志华姜云飞; 关键词：规划问题规划图最优解

用分层关联方法求有向图中所有Hamilton回路的算法被引量：2: 2005年; 首先建立了有向图中初级通路的关联关系,并对初级通路的关联关系进行了分析,得到了关于初级通路关联关系的一些重要结果·然后,对初级通路的关联关系进行了分级分层·在此基础上,设计了求有向图中所有Hamilton回路的算法·该算法利用长度为k的初级通路及其分层关联关系逐步求长度为k+1的初级通路及其分层关联关系的方法,求得有向图的所有Hamilton回路·通过理论分析可以看到,所设计的算法与已有的求有向图的所有Hamilton回路的算法相比,避免了大量的重复计算,从而降低了算法复杂度,为求解Hamilton回路问题提供了新思路·; 文中华文中华; 关键词：有向图 HAMILTON回路

用分层关联方法求简单图中所有Hamilton回路的算法: 2006年; 研究简单图中所有的Ham ilton回路,不但可以判断简单图是否Ham ilton图,并且还可以得到简单图的所有的Ham ilton回路。首先在简单图中建立了初级通路的关联关系,并对初级通路的关联关系进行了分层,在此基础上,设计了求简单图中所有Ham ilton回路的算法。该算法利用简单图中长度为x的初级通路及长度为x的初级通路的分层关联关系逐步求长度为x+1的初级通路及长度为x+1的初级通路的分层关联关系的方法,求得简单图的所有Ham ilton回路。通过理论证明,该算法与已有的求简单图的所有Ham ilton回路的算法相比,原有的求简单图的所有Ham ilton回路算法中大量的重复计算被避免,从而提高了算法的效率。; 文中华姜云飞; 关键词：简单图 HAMILTON回路

一致性诊断的测试被引量：2: 2008年; 为找到故障系统的真实诊断,讨论了候选诊断和真实诊断之间的关系,定义了诊断系统的可采纳性并证明基于一致性的诊断是可采纳的.在此基础上,给出一种基于一致性的诊断测试方法.在执行测试之后,所获得的关于真实诊断的信息是单调递增的,直到真实诊断被包含在极小诊断集合中;一旦极小诊断集合包含真实诊断,所有的测试都会支持真实诊断,而可能排除其它的候选诊断.; 张学农姜云飞陈蔼祥

基于智能规划的时间表问题研究被引量：10: 2003年; 时间表问题 TTP( Timetabling Problem )是一类应用非常广泛的研究课题 ,目前也出现了各种各样的解决时间表问题的方法 ,本文简要分析了近几十年时间表问题研究的历史和技术现状 ,提出了基于智能规划方法的时间表问题解决方案 ,并且我们用 SQL 语言实现了这一解决方案。; 丁德路姜云飞; 关键词：时间表问题人工智能专家系统组合优化问题

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家自然科学基金(60173039)