摘要：将规划系统Conformant Fast-Forward从单目标规划扩展到基于析取目标的不确定规划,设计并实现了新的规划系统***-FF-d的新功能主要包括:目标状态判断、可达性分析和启发函数.提出一种利用SAT技术进行目标状态判断的高效方法;提出析取目标条件下信念状态的可达性分析方法,有效地删除无法到达目标的信念状态,进而缩小了搜索空间的规模;设计了适用于析取目标的启发函数,有效地指导搜索算法向更有希望到达目标的方向进行.在国际规划竞赛的问题域上对Conformant-FF-d和先进的规划系统POND进行测试和对比分析,实验结果表明:Conformant-FF-d的求解效率高而且具有较好的可扩展性.

摘要：提出命题扩展规则方法ER的一种高效实现.在此基础上,研究了扩展规则方法在3个领域的应用:提出一次性求解一系列相近SAT问题的快速算法nER;提出基于扩展规则的模型计数算法#ER,同时结合#ER和#DPLL的优点提出算法#CDE;设计基于扩展规则方法的Conformant规划系统.实验结果表明:使用nER算法一次性求解的时间远小于使用ER方法单独求解每个问题的总时间;对于互补因子较高的问题,#ER优于#DPLL;#CDE融合了#ER和#DPLL的优点.研究表明扩展规则方法对于互补因子较高的问题具有较大的优势,具有广阔的应用前景.

摘要：为支持"玉兔号"巡视器完成对月面较大空间范围的科学探测,对动态任务进行快速规划,提出了一种基于人工智能领域智能规划技术的自动化任务规划方法。提出了行为持续时间和行为效果动态确定的时态规划模型(TP^(DD&DE)),设计了描述TP^(DD&DE)问题的规划领域定义语言PDDL——PDDL^(DD&DE),以及针对TP^(DD&DE)问题的启发式规划算法,运用Landmark知识分析规划问题结构,从而设计了合理反映动作前提评估顺序的启发函数。在嫦娥三号任务中,本文方法支撑"玉兔号"巡视器圆满完成了预期的科学探测任务。

摘要：已有的动作模型学习方法针对确定的或不确定的瞬时动作,而未考虑动作模型中的时态关系。提出了在部分观测环境下自动学习时态动作模型的方法。设计了学习动作持续时间表达式一般形式的两阶段线性回归方法。通过分析命题时间戳设计了动作前提、效果与动作之间时态关系算子的构建算法。在"国际智能规划竞赛"的规划问题集上进行了实验,结果表明了该方法的有效性。

摘要：为促进人工智能课程在教学内容上的前沿性,在课程网站建设中设计并实现了运用智能规划系统"Fast Forward"(FF)进行教学演示的功能。设计方案采用浏览器/服务器模式,网页采用JavaScript和Ajax技术,服务器端使用Java Servlet技术的文件读写功能处理规划问题实例的描述和规划解的描述,使用Java Servlet的命令执行功能调用FF规划系统,规划解的执行通过JavaScript技术以动画形式展示。使用结果表明,该功能具有直观性、易用性的特点,有益于提高学生对人工智能领域实用技术的学习兴趣。

摘要：Fast Downward规划系统是第四届国际规划竞赛的冠军。以高效的串行规划系统Fast Downward为基础,设计并实现了并行规划系统Parallel Downward。首先提出4个并行规划的相关定义;之后提出多值规划任务下动作互斥的定义、充要条件,并实现了动作互斥判断算法;在此基础上设计了候选并行动作集的生成算法;然后为提高系统求解质量重新设计了新的搜索控制策略;最后,给出剪枝策略来抑制并行规划状态空间的指数级膨胀。通过对国际规划竞赛测试问题的实验,Parallel Downward表现出良好的规划效率和规划质量,相比Sapa规划系统Parallel Down-ward具有较好的可扩展性。

摘要：根据动作组件诱发关系的存在和抵制计算的必要性,提出一个计算松弛规划解的新方法——延迟部分推理.该方法在考虑动作删除效果的假定下,构造不包含任何互斥关系的组件规划图,通过定义"松弛诱发"关系预测后续规划过程中可能出现的组件诱发现象,在松弛规划解提取阶段判断动作组件间的"松弛诱发"关系并选择抵制动作避免可能发生的消极作用.基于延迟部分推理方法定义了新的启发式函数和剪枝策略,设计了规划系统FFc并在多个国际通用的测试域上进行实验.结果表明,FFc较之Fast-Forward在求解效率和求解质量方面都有显著的提高.

摘要：近年来,基于可满足性的规划方法研究逐渐成为智能规划研究领域中的热点。提出3种基于Graphplan的编码方式中公理的改进:动作互斥的部分放松、动作互斥的完全放松方法、添加框架公理。基于SATPLAN2006规划系统分别实现上述3种改进的编码方式,并对国际规划竞赛中选用的标准后勤域与积木世界域的问题样例予以测试,分析不同编码方式的编码规模与求解效率,验证了基于Graphplan编码方式的改进在绝大多数情况下是有效的。最后,实现基于状态的编码方式,并对上述两个域进行测试,比较约简动作与约简状态这两种极端方式的求解效率和编码规模。实验结果表明,在后勤域的某些问题上基于状态的编码方式比基于动作的编码方式有效得多。上述的改进策略表明,可根据问题域的特性等来考虑该问题最适宜哪些公理组合的编码方式,而不固定使用某种特定的编码方式。

摘要：国内外相关研究表明界标知识的三种应用角度为:设计问题分解方法、设计启发函数和设计约束传播机制。利用界标知识设计的可纳启发函数与最优松弛估计的相对误差能降低到2.5%;利用界标知识设计的经典规划启发函数对搜索算法的引导能力优于之前的启发函数;利用界标知识设计的时态规划启发函数能使规划系统得到更高质量的规划解;将界标知识转化为命题逻辑子句能在大规模困难问题上提高可满足性判定算法的求解效率.因此,界标知识在时态规划启发函数设计和基于动作序列空间的规划方法上的应用值得深入研究.

摘要：为使指挥作战人员熟悉反导预警作战流程与操作方式,通过仿真环境提高作战指挥与决策能力,设计了反导预警过程可视化仿真系统。系统在深入研究美军反导系统的基础上,针对其反导预警流程,设计了系统工作流程和系统构架,运用并发处理技术支持实时数据的及时处理,以集中式信息发布方式解决了时间同步问题,运用STK/X功能组件实现了多种情报数据的可视化。重点研究了系统可视化性能与仿真线程数量的关系、数据处理中的同步方法以及时间同步的难点与解决方法。实验结果表明,系统能在1秒内同时仿真60个空中目标,满足演练的需要。