论文部分内容阅读
本文为G3逻辑提出一种类似于经典逻辑中合取范式的弱合取范式，并给出两种范式化简算法：一种是通过公式刻画反模型的语义方法；另一种为基于重写翻译的语法方法。文章最后证明，在G3逻辑中对任意公式做弱合取范式化简不存在多项式算法。
G3逻辑中的弱合取范式
【摘 要】
：
本文为G3逻辑提出一种类似于经典逻辑中合取范式的弱合取范式，并给出两种范式化简算法：一种是通过公式刻画反模型的语义方法；另一种为基于重写翻译的语法方法。文章最后证明，在G3
【机 构】
：
贵州大学信息工程学院,贵州科学院,贵州民族学院经济管理学院
【出 处】
：
计算机科学
【发表日期】
：
2007年4期
其他文献
Zadeh提出的CRI算法是模糊推理中运用最广泛的算法，但它不具还原性。王国俊教授提出的全蕴涵三Ⅰ算法，以及已有的基于相似度的模糊推理算法是在单一规则下的模糊推理算法，在单一
动态重构问题是支持Agent系统对环境自适应的关键挑战之一，亦是Agent领域亟待解决的关键问题。面向自治的计算是一种全新的自底向上解决问题的计算范型，擅于提取并刻画复杂、自
由量子力学原理,酉变换和测量算子可以完成量子计算中的所有操作,但仅用酉变换和测量算子的序列并不能清楚地描述量子世界的并发与通信,因此本文提出了量子进程的概念,讨论量子进程通信的几种可能方式,并基于CCS建立了两个量子进程的一种互模拟关系,用以刻画传送量子进程的并发与通信。
构件模型不仅是构件使用者理解、使用构件的重要依据，也是构件开发者和构件使用者测试构件的基础。目前已有的构件模型主要从分析设计以及使用的角度描述构件，对构件测试中的测
高效的作战方案是对敌实施有效打击的保证。运用Agent技术，提出一种规划合并机制，并将其运用于作战方案的优化。通过资源共享，将其它规划产生的可共享资源取代本规划中某些动作
<正>Recent years have seen rapid advances in various grid-related technologies, middleware, and applications. The GCC conference has become one of the largest s
期刊
网络系统可生存性是网络安全研究的新方向,它突破了传统的网络安全的概念,从新的角度对网络安全问题进行研究.本文首先对网络系统可生存性研究领域进行了总结,回顾了可生存性
针对软件单个类的动态更新操作存在许多限制，例如不允许删除类、方法等，提出类动态更新事务的方法，利用动态更新类集来克服这些限制，同时保证更新的安全性。基于此，对动态更新事务
DNA序列分析研究是生物信息学的重要内容之一。基因组的基因相关区域和基因外区域中含有大量重复序列，尽管目前大多数重复序列的功能还没能肯定，但它们在遗传分析中已起重要作
生物神经内分泌和免疫系统通过复杂的调节,构成了一个智能的生物网络.本文借鉴系统突现的自组织、自聚集和自协作特性及复杂的双向调节机制,提出了Web服务突现的研究方法.基