论文部分内容阅读
这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T—不变量的算法,这些算法基于归约的思想,另外,在算法中利用单字母规则、纯字母规则和割裂规则可提高算法的速度和简化算法的复杂性。
Petri网用于Horn子句的逻辑推论
【摘 要】
：
这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T—不变量的算法,这些算法基于归约的思想,另
【机 构】
：
国家信息中心信息科学与应用研究所北京100045
【出 处】
：
软件学报
【发表日期】
：
1993年4期
【基金项目】
：
国家自然科学基金,,中科院管理、决策、信息系统开放实验室的资助
其他文献
本文通过对图书馆情绪性工作的涵义、特征及内容的描述,指出读者利用馆藏文献信息资源更需要心理上的满足.在工作中,图书馆员的情绪必须加以适度调节、规则及表达,才能提高图
本文讨论了在宣传推广和组织实施<中国图书馆员职业道德准则(试行)>的过程中,图书馆学会等学术团体、各级各类图书馆和图书馆员自身应做的工作.
本文是[1]中内容的继续,讨论系统模型开发的形式化技术。基于多类一阶逻辑设计的概念模型语言CML可用来描述系统模型,并可用CMA对模型描述进行静态一致性和动态时序特性的检
在当今信息时代，信息技术课教学的优劣将直接影响到我国教育是否能够早日实现教育的信息化。如何提高信息技术教学的质量是我们应该努力去探究的。在探究的过程中，“任务驱动”
在由多个领域相关的ES组成的协作系统中,通常把能独立求解同一个领域难题A的所有ES组成一个协作组。有时组中诸ES对A都给出了相同的断言,但是它们却给出了不同的断言信度值。
在中职教育大改革的时代背景下，翻转课堂的教学理念在中职计算机教育中广泛运用。而所谓翻转课堂的理念或者说模式，其实就是改变过去原有的教与学的方式，将原来教师与学生的角色
根据这几年社会的变化情况，高校思想政治教育主要在以话语分析为的成效性探究中，发现出现的问题在于传统思想政治教育话语存在着缺陷和不足支出？所以本文主要讲述如何提高思想教
体育运动是人类社会发展到一定阶段的产物。古代体育是中国体育文化的重要组成部分。在漫长的历史发展过程中,中国古代体育呈现出自身的特点。
高校就业指导课程的开设是帮助学生掌握就业方面的知识和信息，了解社会的一个重要的渠道，目前各高校在开设的就业指导课程时还存在着各种问题，迭不到预期的效果，而使高校就业指导
面向对象的程序设计(OOP)以多种面貌广泛地出现在AI系统中,面向AI的OOP模型与结构依赖于对AI中对象的理解,以及相应的Al软件开发方法。本文提出在三个层次上,即世界观的层次