【摘 要】
：
信息融合与知识表示是目前人工智能研究的重要领域.该文针对该领域的若干问题进行了研究.该文在这一工作的基础上讨论了带置信度权值的知识库之间的融合,提出融合算子所应满
论文部分内容阅读
信息融合与知识表示是目前人工智能研究的重要领域.该文针对该领域的若干问题进行了研究.该文在这一工作的基础上讨论了带置信度权值的知识库之间的融合,提出融合算子所应满足的逻辑性质,并且给出了表示定理,克造了满足全部假设的融合算子KMerge.并且严格证明了Jinxin Lin等提出的算子是该文所提算子的特例.另外我们将置信度的表征方法从数值推广到偏序关系,并在此框架下讨论了信息的事合问题.该文对经典知识表示系统进行了扩充,引入一个刻划"F"外也包含经典模态词"K",并建立了相应的公理系统F-K,该公理系统除包含"F"外也包含经典模态词"K".同时基于滤子对经典Kripke框架及模型进行了改造并给出了"F"的语义,进而证明了该语义下F-K的完备性与可靠性.
其他文献
如何实现钢材尺定重高质量切分是目前钢铁行业提高生产工艺水平、成材率和钢材质量的一个重要课题.钢坯切面质量不好或者定尺定重误差过大,就会造成浪费增大,成本升高.目前国
电力产业是国家的基础能源产业，随着科技的发展，其自动化系统也在不断的发展。基于对现有应用环境的分析，我们发现具有高可靠性、高性价比、高可扩展性和高性能的分布式并行计算
该文的主要目的是将当前用来解决分布计算问题的移动Agent和用来解决分布式中的异构问题的规范CORBA结合起来,以便构造一种具有实用价值的分布式解决方案.以ZFZ-CIMS为应用背
诸如IP电话、视频会议这样的新应用不断涌现,越来越增加了对Internet多媒体应用流的需求.有些用户愿意支付更高的代价,以获得高质量的网络服务来满足他们的应用需求;同时,也
论文主要分为5个大部分,第一部分是网络专用服务器的概述.第二部分是linux文件系统的相关知识,讲述了linux对多文件系统的支持和buffercache的结构.第三部分是linux设备驱动
软件系统的更新是不可避免的。通常这些更新是通过离线方式完成的。离线更新需要先关闭系统,在安装新版本后,重启系统,因此离线更新会给系统带来较长时间的干扰和中断。在例
论文中提出了一种新的、基于CORBA的通信技术——中间层交换。这种技术借鉴了当前网络通信的最新成果——多层交换技术,首次提出在基于CORBA的网络中实现交换方式通信,解决了
研究人员从黑客攻击手段和攻击工具、网络系统面临的安全威胁、目前的解决办法以及其中存在的问题等多个方面的分析出发,从系统实现的角度对开放的安全防范体系结构展开深入
该文介绍了持久化层的好处.详细介绍了对象模型到关系模型的映射方法,各种方法的优缺点.讨论了持久化层的设计实现,给出了一个持久化层的基本结构,并讨论了各个类的主要功能
该文主要针对国家863项目"张家口煤机厂CIMS工程(ZMJ/CIMS)",对工程数据库及其版本管理做了深入的讨论,并结合实际,研究并设计了ZMJ/EDBMS的体系结构、数据模型以及版本管理