知识库推理和维护系统 (KBIMS)

赋予知识库自动推理和维护功能,从而使知识库有效和实用,是知识库面临的关键问题。本文提出了一程基于缺言推理的知识库自动推理和维护方法,并介绍了根据此方法,在VAX—Ⅰ/780上使用GKD—Prolog 作为工具实现的一个知识库推理和维护系统。     

软件开发自动化

软件开发到底是一个什么过程?这个过程中的哪些工作能自动化?这是软件开发自动化的两个核心问题。本文以这两个问题为中心来展开讨论,试图提出一些见解以改进过去的研究工作。值得指出的是;基于这里的思想,我们已经实现了一个用于开发Ada 软件的支持系统。实验表明:在该系统的支持下,开发者能以最少的干预半自动地实现从问题的自然语言描述到程序包规范的转换。     

知识库调试工具的技术原理与设计思想

知识库调试工具旨在解决因知识不完全和噪音等因素而引起的知识库正确性与有效性问题。本文通过知识库建造工具GKD-KBST 中知识库调试工具KBDT 实现方案的讨论,论述知识库调试工具的技术原理与设计思想。     

新世纪，美军无人战机将一领风骚

日前,美国国防部披露正在投资进行一项新的无人驾驶战机研制计划,以保证空海军在参与未来战争时的高机动能力。这种被称为X-45A的无人战机(UCAV)可以装载1360公斤的各类武器,最大速度可以达到12～15马赫,广泛采用了隐身技术和合成材料。     

分布式人工智能(DAI)及其军事应用

本文简要介绍了分布式人工智能的基本内容 ;就分布式人工智能在军事情报获取、军事态势评估以及分布式交互作用仿真等军事领域的应用做了一些初步的探讨。     

人工智能技术在C2系统多传感器数据融合上的应用

本文叙述了人工智能在C2系统多传感器融合上的应用,提出了一个C2模型,探讨了该模型上的多传感器数据融合,指出人工智能技术领域知识可辅助对平台传感器的控制,应用明确的知识表示方法,通过更换的相关知识,可以将人工智能的数据融合应用到不同的军事领域。     

机器人班组协同定位理论与技术研究

机器人部队具有伤亡小、战时长、代价低等特点,是未来进行战略突袭的主力军。机器人执行战斗任务的条件是已知敌我双方的精准位置。以机器人协同定位为主线,概述近年来机器人系统实现可定位的条件,从信息融合和优化理论两个方面对机器人定位系统进行建模,并分析相应的定位方法。在此基础上,对机器人系统协同定位方法进行探讨,从基于距离和方位两个角度分类说明,指出协同定位存在的主要缺陷,并对未来多机器人可用于协同定位的技术和理论进行展望。对我国智能化机器人部队的建立、车辆分派、路径规划等工作的开展具有理论和工程意义。     

信号时序逻辑约束下基于终点回溯的高效规划

在信号时序逻辑约束下规划路径是一项具有挑战性的任务,其计算量非常高。提出了一种终点回溯的规划方法,它是一种适用于连续时间系统的抽象化方法。该规划方法分为离线构建阶段和在线规划阶段。离线构建阶段在Transducer理论的指导下,从能够完成任务的合理的终点构造一棵快速随机搜索树,向初始状态空间进行回溯。当采样点足够多时,在线规划阶段使用模型预测控制将机器人驱动到快速随机搜索树的叶子节点。通过所提出的规划方法,避免了环境的有限转移系统与信号时序逻辑对应的自动机乘积引起的状态空间爆炸问题。所提出的方法将在线路径规划所需时间降低到1s以下,充分说明了本方法的有效性。与混合整数线性规划以及贝叶斯优化方法相比较,所提出的终点回溯规划方法在线求解效率更优,且更加易于扩展至多机器人协同工作场景。