PROLOG线性归结的研究与设计

本文研究了 Horn 子句的形式描述,分析了 PROLOG 语言的归结机制,探讨了有选择线性归结及其不完备性,提出的改进技术引入了宽度优先搜索机制,并在理论上作了探讨,解决了使搜索陷入无穷分枝的问题。     

PROLOG与定理的自动证明

本文试从谓词公式简化后的PROLOG子句标记法和归结的意义出发,讨论用PROLOG实现定理证明的方法.主要内容包括:谓词公式的简化及其PROLOG形式表示;归结与定理证明的思想;用PROLOG证明定理的方法.     

基于语义Web服务组合的旅游调度问题研究

运用了一种基于语义Web服务组合的方法来解决web服务组合问题.首先,用户的需求被建模为一组事实和目标的子句,并基于Horn子句的形式化模型进行阐述.然后,用Petri网来建模一个Horn子句集,并且检测满足用户需求的组合服务的存在性.最后,通过一个旅游计划安排案例来验证本文提出方法的合理性.     

Horn集上的语义归结和调换

本文在两种类型的解释上讨论了R-不可满足Horn子句集合上的语义归结和调换.     

关于单元证明的几个结果

本文讨论了基本子句集合有单元(线性-单元、输入-单元、输入-正的单元)反驳的条件,证明了子句的文字不超过两个的不可满足的Horn集有输入-单元反驳.     

Horn集上的HOI消解与HOL消解

OI消解法对一般子句集是不完备的,甚至对基子句集都不完备,多年来,人们在寻求提高消解效率方面作了许多努力,诸如改进消解策略、限制不可满足的子句集等。Renschen与Wos提出了一类子句集,称Horn集,许多机器证明问题都可归结为     

并行单元归结

给出了基于神经网络的单元归结算法.首先将子句集S表示为δ形,并且用算子对(⊙, )引入两种类型的神经元,然后用这两种神经元构造子句集S的神经网络结构,而后给出基于Horn子句集的神经网络的归结算法,最后证明了该算法的完备性,并用实例进行了验证.     

re-Horn子句集的Horn化及可满足性判定方法

在命题逻辑中给出将re-Horn子句转化成Horn子句的条件与方法,用同态的方法证明转化前后2个子句集的可满足性或不可满足性的一致性,给出re-Horn子句集的可满足性的判定方法。     

一种用PROLOG实现非精确推理的方法

本文通过对模糊f-Horn子句的语义和推理机制的分析,提出了一种直接用Horn子句做非精确推理方法,并用Turbo Prolog编制了实例程序,对该方法做了检验。证明这种方法对于直接用Prolog语言编制需要做非精确推理的人工智能软件是可行的。     

关于逻辑程序设计语言PROLOG的若干实现技术

PROLOG/KET是我们在E(?)e MV/8000Ⅱ小型计算机系统上用C语言实现的一个PROLOG解释系统,本文介绍该系统的合一算法及推理过程,讨论了实现技术方面的几个问题,包括子句的存储与搜索,控制栈的优化处理,以及程序库的管理和程序状态的处理,最后对系统的性能进行了分析,提出了几点改进设想.     

网络积件系统的设计与研究

介绍了积件思想的基本特点和作用，讨论了一种网络积件系统的设计方法，探讨了网络积件系统的总体结构、管理平台和组合平台的组成和功能，以厦积件库的设计和实现.     

基于文本知识的决策支持系统的概念设计

文本知识是高层机构办公室宏观经济决策和政策分析的重要知识来源,实现这种决策支持系统涉及到对自然语言的理解和它的表达方法,以及在计算机内的存贮方式。目前这项工作在国际上处于刚开始研究的阶段。本文讨论了用概念图的表达方法,将文本知识存入RM/T规定的概念模式中。概念库由RM/T的特征实体组成,而知识库则由RM/T的联系实体和指示实体组成,文中还讨论了系统的结构和人机决策时有关的方法和算法。     

韶关地区乡镇移动通信网络覆盖的优化

探讨了如何优化和延伸基站覆盖信号,降低网络优化成本,改善道路遮挡覆盖和农村信号覆盖弱的延伸系统.使基站覆盖系统的下行信号增强超过10 dB,上行信号增强超过8 dB,有效地加大了基站的覆盖半径.     

基于组件技术的番茄专家系统的设计与实现

探讨了组件技术及其在专家系统中的应用，分析了组件技术在专家系统开发中的优势，并开发了基于组件的温室番茄栽培管理专家系统。细阐述了番茄专家系统中知识库维护组件和推理机组件的设计及实现，采用了专家系统的知识库维护组件和推理机组件开发系统，可使系统的构建变得方便快捷和更切合需要。且给出了一个测试及分析知识库维护组件和推理机组件的实例。     

基于知识库的刀具装配研究

传统的手工配刀已不能适应FMS车间层自动化管理的需要.这里提出了知识库系统的思想,对基于产生式知识库和以加工工艺辅助决策的配刀系统进行了探讨.     

基于网络冲压工艺性判别系统知识库的建立

讨论了基于网络的冲压工艺性判别系统中知识库的构建．介绍了远程冲压工艺性判别系统的框架；根据冲压工艺的特点，分析了基于冲压工艺的知识表示、知识推理以及知识库管理的方法；为满足不同用户的需求，提出了知识库个性化的观点；讨论了知识库的实现并给出运行实例．     

汉字实验室仪器设备计算机管理系统

本文论述了运用数据库管理方法进行汉字实验室仪器设备计算机管理系统的设计思想,着重讨论了系统的结构、数据结构和检索等主要内容。     

关于模型库系统的探讨

本文讨论了模型库类型、模型库管理系统功能、模型库系统结构等技术问题,提出了模型库系统开发策略和模型库开发途径,以及模型构造原则。     

课件库建设与高校教学改革

本文讨论了课件库建设对高校课程教学和高校教学改革的意义和作用，提出了课件库建设的设计策略。     

小麦施肥决策知识库研究与实现

根据实际生产中普遍存在着肥料用量过多或过少,各种肥料配比不合适等问题,以小麦施肥决策系统领域专家的知识和经验为基础,有助于上述问题的解决。详细论述了如何使用专家系统和知识库技术实现小麦施肥决策知识库和推理机,并对用户所提交数据的有效性验证进行了分析讨论。系统可根据用户提供的基本数据进行土壤缺素和施肥量的决策。该知识库已经集成到山西省小麦专家系统中,经过示范区的生产实践已取得了成效。