【摘 要】
：
该文主要研究了盘古知识库的一致性和完备性:1.知识库的一致性:知识库的一致性,对于依赖于知识库的推理系统来说是十分关键的,不一致和知识库,将会导致推理结果的矛盾或推理
【出 处】
：
中国科学院数学与系统科学研究所 中国科学院数学与系统科学研究院
论文部分内容阅读
该文主要研究了盘古知识库的一致性和完备性:1.知识库的一致性:知识库的一致性,对于依赖于知识库的推理系统来说是十分关键的,不一致和知识库,将会导致推理结果的矛盾或推理效率的降低.盘古知识库中主要用CsNet知识表示语言来表示知识,但由于CsNet迄今还没有定义语义,所以该文通过转换语义的方式来研究其一致性,定义了分别可以转换为谓词逻辑和模态谓词逻辑的PL-CsNet和MPL-CsNet语言,并讨论了这两种语言文不对题相应逻辑的转换.尽管这种逻辑的方式具有严格的理论基础,但是毕竟能实现的功能还比较有限.作为对逻辑方法的补充,该文又提供了基于CsNet语言的匹配与推理的一致性检查之非逻辑方法.2.知识库的完备性:知识库的完备性就时知识库的知识足够充分使推理机能够运转.盘古知识库采用模块化的方式来组织,所以完备性能体现在模块和模块内部这两个方面.该文首先提出了公理化的完备性,给出了11条公理,借之来检查知识库中的概念所对应的模块的完备性;对于模块内部知识的完备性,该文讨论了如何通过封闭世界假设来加以改善.
其他文献
该文结合"九.五"国家重点科技攻关项目:"碱回收过程优化控制系统"的子专题"燃烧过程的优化控制",论述了整个系统的结构设计、软件组态、编程、调试和投运等开发过程.
近年来恶意进程严重威胁着计算机系统的安全,恶意软件已具有隐藏、探测、破坏检测软件的能力。传统的基于主机的检测工具执行在他们要保护的每个主机之内,这样它能够很好地看
现代电子信息技术的快速发展使得互联网信息呈爆炸方式增长。然而,信息的急速增长却未能给用户提供方便,海量数据给用户获取知识带来了极大的障碍。这种障碍使得用户在信息的
该文研究了SNMP、SNMPv2、CMIP、RMON、RMON2等网络管理协议,借鉴了现有的商业网络管理软件平台以及许多专门用于网络监控和流量分析的工具软件,如MRTG、Argus、Etherfind、N
在系统体系结构上,该文分析了目前开发基于Internet的应用系统的各种技术和模型的软件设计方法,提出了采用BWD(Browser/WebServer/DBMS)结构实现网络辅助教学系统,简化了传统
该文首先介绍了该课题的开发背景以及分布式系统、数据库技术发展的现状和一些关键技术,然后提出了面向保险企业的分布式网络数据库系统的体系结构的整体设计方案,详细阐述了
该论文详细分析了基于驱动表格的EDI格式转换的映射与翻译技术,并讨论了驱动表格的内容、格式以及在映射和翻译过程中的作用和使用方法.开放式EDI是用来解决EDI孤岛的根本方
静态数字图像处理是当前信息技术(尤其是多媒体技术)的一个重要组成部分，随着多媒体应用的不断增长，对多媒体应用技术上的要求也在不断提升。在许多领域，例如Internet、彩色传真
在课题研究中,作者首先对电子商务和CRM的理论进行了系统的研究和探讨,然后在借鉴了多个公司提出的电子商务解决方案的前提下,给出了一个基于三层软件结构的电子商务应用框架
我们选择对Oracle数据库服务器进行扩展的方法来设计SISP2.0空间数据库服务器.我们利用数据库关系表来存储空间数据及其元数据,同时使用PL/SQL和OCI开发了一套存储过程从而对