Horn子句相关论文
在信息安全风险评估中,由推理泄漏而导致的系统脆弱性因其具有一定的隐蔽性而难以被检测。针对一种典型的通用追踪者推理泄漏,采用......
该文运用Robinson的归结原理,分别用Prolog与Lisp实现了两个格上的定理证明系统——TPSL1和MTPSL2。其中,TPSL1采用深度优先、从左......
Prolog语言是基于一阶谓词逻辑的Horn子句，其丰富的表达能力极大地促进了知识处理、专家系统等应用领域的进一步发展。对Prolog语言......
构建了无回路规则系统的加标ω-Petri网模型，产生了相应的可达树，利用可达状态反映规则系统所包含的所有可达关系，并记录；提出了可达状......
<正> 顺序推理中遵循先左后右——子句在前者先选择(即由上到下)的原则,而人们发现 Horn 子句逻辑具有下列基本的并行性:1)AND 并......
对FOIL算法进行了深入剖析,提出了一种基于该算法利用Visual Prolog实现一阶规则集学习器的设计方法,给出了实现学习器的关键代码......
语义Web旨在利用知识工程中成熟的技术为数据和知识交换提供语义上的互操作性，为了针对Web这种标记语言环境描述一阶命题逻辑公式、......
本文在一阶谓词逻辑的基础上,为每个定性的Horn子句规则赋予一个蕴涵强度f,从而得到定量的f-Horn子句规则及其Herbrand解释.最后,......
这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T......
Web服务组合使得开发人员可以快速地创建自己的应用程序．但是，随着Internet上可用的Web服务数目的增加，Web服务组合是一项高度复杂的......
考虑到网络多媒体应用对具有适应互操作、标准性以及知识产权保护功能的数字媒体的需要，对复合数字对象进行了研究，提出了HDO—IDOP（H......
问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细......
规则系统是具有广泛应用价值的逻辑系统,但由于各种原因可能导致冗余、不一致、不完备和回路等错误的发生,从而影响系统的运行结果......
提出了将OWL和Horn子句相结合构建β-PSML语言,它既可以表示OWL中不能表示的多元关系,又可以表示Horn子句难以表示的有丰富等级结......
在本文中我们将在分析一阶程序逻辑的求解过程的基础上，讨论可满足性与布尔阵的关系，并给了一元涵词Ｈｏｒｎ子句可满足性的矩阵描述。......
描述逻辑和逻辑程序是两种非常重要的知识表达形式,分别具有不同的表达能力。为了保证结合描述逻辑和逻辑程序的可判定性,Motik给......
电力客户服务中心是供电企业设置的面向用电部门或个人的服务系统，其计算机系统是一个典型的MIS系统，但又是有CSCW和工作流支持的系......
本文通过对模糊f-Horn子句的语义和推理机制的分析,提出了一种直接用Horn子句做非精确推理方法,并用Turbo Prolog编制了实例程序,......
为了提高复杂软件服务系统的构建效率,文章提出了一种基于扩展Petri网的软件服务模型设计方法。首先,该方法将注册的软件服务转换......
Horn 子句逻辑程序 H 可以逻辑等价地转化为 Petri 网模型 M,在 M 中从初始标识 N<sub>0</sub>到目标变迁/g（?）形成的发射序列对应着......
