【摘 要】
：
Horn子句在知识表示和知识处理中有广泛的应用,但在一阶谓词逻辑系统内部,许多公式都不能转换为等价的Horn子句形式.本文提出一种称为推理编译的方法,能够将一大类形式逻辑系
论文部分内容阅读
Horn子句在知识表示和知识处理中有广泛的应用,但在一阶谓词逻辑系统内部,许多公式都不能转换为等价的Horn子句形式.本文提出一种称为推理编译的方法,能够将一大类形式逻辑系统(包括一阶谓词逻辑)中的推理问题等价转换为一种特殊命题逻辑——泛阶命题逻辑中子句个数无穷的Horn子句集的推理问题,因此可在命题逻辑的框架内统一处理大多数逻辑的推理问题,并可为这些逻辑系统找到一致的语义解释.
其他文献
毫无疑问,计算机是当前社会蓬勃发展的显著标识,各个领域都广泛应用计算机网络技术,有效改变工作模式,更提高工作效率.互联网为我们日常工作和生活提供较大的便利,但在此过程
1946年起源于美国的风险投资业,随着硅谷的崛起奇迹般地发展而相随闻名,至今已有七十余年历史。八十年代初,全球性的“硅谷热”传到了中国。中国在新办起一批高新技术产业开
本文详细讨论了规则组知识表示方法,并利用面向Agent的程序设计,实现了面向Agent的规则组知识表示.面向Agent技术与规则组知识表示方法的结合,将拓展系统的知识表示能力,提高
在本篇文章中将会针对计算机网络工程全面信息化管理的重要性及特点展开分析,进而得出计算机网络工程全面信息化管理的展望,希望可以为相关人员提供参考帮助.
无论在我们的日常生活中还是在各个企业之中,网络技术都扮演着极为重要的角色,它已经成为我们提高办事效率和保证工作质量的重要工具.网络自身特点为具有很强的开放性、整体
本文提出了一个基于动态子句定权的SAT问题的局部搜索算法RCSAT.通过引入子句相关系数的概念,将算法中子句权重分为两个部分,静态部分为该子句的相关系数,在求解过程中保持不
首先提出一个动态模糊系统模型,使其可以动态地进行规则自学习,从而减少了规则学习的计算量.然后提出用双重遗传算法优化动态模糊系统的方法:外层采用整数编码,用来训练系统
本文基于无格式证券报告数据挖掘的应用背景,结合框架和本体定义语言DAML/OWL的特点,提出了一种证券报告本体定义语言(ROD)的基本语法,讨论了槽的级连定义的证券报告本体的实
电子商务提供商和客户面临不同种类的、分散的产品描述,各参与方希望看到不同的产品数据描述.本文以网上花店为例,介绍使用本体技术购建一个鲜花知识库,将选购鲜花时涉及的各
面对浩瀚纷繁的信息资源,用户在有限的时间内获得所需的信息变得越来越困难,构建自适应用户需求的个性化服务系统是当前研究的热点.协同过滤是当前应用最成功的个性化服务技