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

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

HESTool:基于层次链知识组织的专家系统工具

提出了任务 (Task)的概念 ,每个任务代表一种知识源。不同的任务可以采用不同知识表示形式及推理策略。一个知识库由一组前向或后向链构成的任务链组成 ,实现了知识库的结构化、可视化 ,支持知识部件的可重用与共享。同时 ,结合可视化技术、数据库技术 ,开发出实用性较强的专家系统工具HESTool,该工具提供了一种知识建模机制     

一种高效率单片机调试工具——追踪/转贮软件包

本文介绍一种高效率单片机调试工具——追踪/转贮软件包,文中描述了该软件的组成情况、工作原理和性能特点等。所开发的软件包是把一些小型机调试工具的设计思想应用在 MCS—51单片机调试软件中的一种尝试。     

JavaKBB:集成框架与产生式规则的专家系统工具

描述了一个专家系统工具JavaKBB,其目标是设计一个容易使用、方便扩展的专家系统开发工具,可以同时表示领域概念知识与过程知识;既可以运行于商用操作系统Windows等,也可以运行于中标麒麟等军用国产操作系统。为此,提出了一种集成框架与产生式规则的知识表示模式,定义了五种抽象层次以设计一个专家系统,包括知识原语、知识单元、知识部件、知识库以及知识系统;在此基础上基于Java语言设计并实现了JavaKBB。JavaKBB的另外一个重要特征是它能以XML格式保存知识库,具备与其他知识库进行交互的潜力。目前,JavaKBB已经用来构建慢性肝炎防治专家系统、装备辅助决策系统等。     

战争经济保障分析与决策支持系统设计

战争经济保障决策支持系统是以管理科学、认知科学、行为科学、智能科学、运筹学和控制论等基础科学为基础,以先进的计算机技术、信息处理与仿真技术为手段,以为管理决策者提供决策支持为目的的智能交互系统,由用户界面、人机接口、控制协调系统、数据库、模型知识库等部分组成。该系统以各种数据源(知识库、数据库、模型库等)为基础,以半自动化、自动化的形式,运用知识、数据等处理工具和方法,对战争经济保障方案进行分析评估。     

软试验床关键技术-知识获取及管理系统

本文介绍了机器学习现状和基本理论,在分析知识获取的一般方法的基础上,提出了软试验床的关键技术之一的知识获取方法、途径及其管理系统的结构、功能。重点研究知识获取工具、基于数据库的知识获取、知识推理工具和知识库系统。     

用逻辑分析仪进行微机系统调试

本文以调试一个小型微机系统为例,介绍了采用逻辑分析仪对遇到的问题进行追踪、分析、解决的经过。体会到逻辑分析仪可以提高研制微机应用系统的效率,是进行系统调试的有效工具。     

一种解决知识不相容的方法

介绍了知识库更新的基本概念,并且在命题知识库的范围内研究了知识库更新的方法,结合实际应用给出了一种特殊情况下知识不相容的判定方法。     

知识库系统及关系知识库机系统结构的研究

文中首先以数据库为基础研究了知识库系统KBS-1,然后基于关系知识模型,研究了一台关系知识库模型机,并以它为硬核研究了知识库系统KBS-2,最后进行了性能分析。     

基于订阅分发机制的军事信息系统知识库协同框架探讨

针对分布在不同军工领域的小型知识库无法发挥跨领域知识按需共享的问题,提出了一种基于订阅/分发机制的分布式知识库协同框架,描述了知识库协同框架的系统结构以及主要的功能组成,通过知识库实例分析说明,阐明了协同框架进行数据交换共享的运行机制。     

故障诊断专家系统外壳设计与实现

设计了一个故障诊断专家系统外壳,给出了外壳的总体框架结构,基于对象式框架的知识表示,融经验诊断和原理诊断为一体的推理机制.介绍了在Windows环境下实现故障诊断专家系统外壳的方法.只要通过知识库管理系统,在Access数据库中建立不同的知识库,就可以创建不同系统的专家系统.开发的故障诊断专家系统已经在实际中应用,取得了良好的效果.     

基于专家系统的防化保障预案评估研究

人工智能技术在众多领域获得广泛应用．为满足现代战争对防化指挥手段的现代化要求,针对不易量化的防化指挥决策问题的评估,提出了构建知识库并应用模糊推理机制建立专家系统,据此进行防化保障预案的评估选优方法,并对该方法的求解过程进行了探讨．     

实时潜艇损管专家系统的设计与实现

介绍实时潜艇损管专家系统的设计与实现.该系统应用专家系统理论对潜艇损管训练及其在危险情况下进行损管决策领域的知识进行了建模,具有连续实时判断潜艇受损后的浮态和稳性以及制定损管决策方案和损管有效性检验功能.     

基于Linux/QT的火控系统实时故障诊断方法

针对某数字化火控系统实时故障检测与诊断问题,提出了一种基于对象式框架知识表示的火控系统实时故障诊断方法。该方法采用专家系统与实时进程通信,获取故障征兆,进行实时推理定位故障源。给出了诊断系统的一般架构,介绍故障诊断系统知识表示的形式化描述,实时推理、规则匹配算法和UDP进程通信协议。实际应用证明了这种方法的有效性和可扩展性。     

故障诊断专家系统设计的几个问题

对故障诊断专家系统方案设计作了讨论,提出了方案设计要点、介绍了故障诊断知识库的建立,给出了典型诊断策略。     

某型舰炮故障诊断知识库的建立

本文运用层次模块化构成模型及故障诊断模型的建造方法,提出了建立某型舰炮故障诊断知识库的方法,对构造诊断知识库的六种规则举例予以了说明.     

合同战术级军事专家系统研制

文中以合同战术级军事专家系统的实践为基础,以逻辑型语言为主要实现语言,描述基于黑板模型的问题求解策略,使用框架与产生式规则相结合的知识表示方法,以及运用基于预制文本与模糊文法的解释机制等。应用表明,本文提出和采用的方法与技术取得了明显的效益。