一种模糊推理模型在医学专家系统中的应用

本文介绍一种模糊推理模型DFRM(The Double Weight Number Fuzzy Reasoning Model),它已应用到儿童消化道疾病专家系统中,获得了满意的结果。并对该模型作了评价。     

知识经济时代图书馆发展的特征

从信息资源数字化、馆藏结构多元化、资源共享全球化、馆员素质专家化四个方面分析了知识经济时代图书馆发展的特征。     

非单调推理的研究与发展

分析了非单调推理产生的原因以及非单调推理与传统逻辑间的关系，讨论了其典型的两种研究方法及存在的问题，最后指出了非单调推理的发展前景。     

一个基于多重推理的遥感图片解译专家系统

本文研究了在图象模式识别过程中引入人工智能的知识学习、知识表达和知识推理的理论和技术,设计并实现了一个应用于遥感图片解译的计算机视觉专家系统。 为使系统具有较高的智能化程度,本文提出了一种新的推理方法——多重推理法,它具有处理某些不完全知识和错误知识的能力,并且推理过程所运用的部分知识(规则)是从已知样本中自动归纳学习生成的。     

可视化智能融合导航系统研究

以提高导航系统的精度、可靠性、智能化和可视化程度为目标，利用智能工程的思想与方法将信息融合、人工智能和可视化技术综合应用于多传感器组合导航系统中，提出了面向２１世纪控制与导航技术的新一代导航系统概念——可视化智能融合导航系统，并对其功能、组成及关键技术进行了研究。     

中介模态逻辑MS4的表推演系统

中介逻辑是一个新的逻辑系统，该系统的创立有明显的哲学背景，自创立后得到了很大的发展。在数理逻辑以及计算机科学领域已发展了中介模态逻辑以及ＭＩＬＬ等中介程序计设 语言，但对作为程序计设语言之逻辑基础之一的中介模态逻辑的自动推理理论与实现的研究还很不够。本文系统地讨论中介模态逻辑ＭＳ４的自动定理证明理论，构造了中介模态逻辑ＭＳ４的表推演系统，由于该系统采用“与或树”的表达方法，因而不产生“遗忘问题”；     

飞行员航路选择参谋系统

飞行员航路选择参谋系统是新一代飞机的飞行员电子参谋系统重要组成部分。飞行员航路选择参谋系统能在复杂环境和极短的机动飞行中,快速而正确地作出航路的最优决策。 本文叙述航路最优选择的原则及计算方法,同时也叙述采用人工智能搜索方法处理上述问题。所采用的方法:深度优先、宽度优先和最佳优先。 本文简短地叙述Lisp程序搜索过程。最后,说明在较多的飞行目标情况下采用最佳优先方案是适宜的。     

基于归结反演和中间—结局分析的机器人问题求解系统(RPRAMS)

RPRAMS系统是一个有效的机器人规划生成系统,该系统集问题求解的三大技术于一体,建立了搜索、演绎、归约相结合的有效机制;采用排序技术和回归原理解决目标相互影响问题;系统具有灵活的人机接口和机器人世界的动态显示,采用Common Lisp语言编写,可适用于仓库机器人工作环境。同时,本文对AI的基本算法——中间结局分析法作了较深入的探讨,证明了用归结反演树产生差别的有效性。     

医学专家系统开发工具BFBEST的设计方法

本文详细描述了医学专家系统开发工具——BFBEST(Blackboard Framework Based Expert System Development Tool)设计方法和技术。包括知识获取方法和知识表示方法,推理机的设计,开发机的设计,以及系统解释功能与自学习功能的设计等。BFBEST是在IBMPC上采用Turbo-Prolog语言研制成功的。利用BFBEST能很方便地生成各种高性能的医学专家系统。     

综合火力/飞行控制系统的仿人智能控制

本文介绍了综合火力/飞行控制系统的仿人智能控制。首先给出了智能控制系统的数学模型,然后较深入地研究了耦合控制器的结构与设计,详细地论述了控制器中各功能模块(特征识别模块、知识库、规则库、数据库、推理机等)的原理与设计内容,并讨论了相应的控制模式的选取及特征模型的划分,最后对包含耦合控制器的系统,考虑不同的飞行状态条件,进行了计算机仿真。仿真结果表明,所设计的智能控制结构能很好地模拟飞行员的控制行为并具有满意的控制品质。