切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
G3逻辑中的弱合取范式
G3逻辑中的弱合取范式
来源 :计算机科学 | 被引量 : 0次 | 上传用户:aierlansi
【摘 要】
:
本文为G3逻辑提出一种类似于经典逻辑中合取范式的弱合取范式,并给出两种范式化简算法:一种是通过公式刻画反模型的语义方法;另一种为基于重写翻译的语法方法。文章最后证明,在G3
【作 者】
:
章衡
张明义
杨本娟
【机 构】
:
贵州大学信息工程学院,贵州科学院,贵州民族学院经济管理学院
【出 处】
:
计算机科学
【发表日期】
:
2007年4期
【关键词】
:
弱合取范式
G3逻辑
范式化简
计算复杂性
Weak conjunctive normal form
G3 logic
Normal form reduct
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文为G3逻辑提出一种类似于经典逻辑中合取范式的弱合取范式,并给出两种范式化简算法:一种是通过公式刻画反模型的语义方法;另一种为基于重写翻译的语法方法。文章最后证明,在G3逻辑中对任意公式做弱合取范式化简不存在多项式算法。
其他文献
具有还原性的多重多维模糊推理算法
Zadeh提出的CRI算法是模糊推理中运用最广泛的算法,但它不具还原性。王国俊教授提出的全蕴涵三Ⅰ算法,以及已有的基于相似度的模糊推理算法是在单一规则下的模糊推理算法,在单一
期刊
模糊推
CRI算法
三Ⅰ算法
相似度
还原性
Fuzzy inference
CRI method
Triple Ⅰ method
Similarity
基于面向自治计算的Agent系统动态重构模型
动态重构问题是支持Agent系统对环境自适应的关键挑战之一,亦是Agent领域亟待解决的关键问题。面向自治的计算是一种全新的自底向上解决问题的计算范型,擅于提取并刻画复杂、自
期刊
多AGENT系统
动态重构
面向自治的计算AOC
模型
Multi-agent system
Dnamic reconfiguration
Atonomy or
量子进程
由量子力学原理,酉变换和测量算子可以完成量子计算中的所有操作,但仅用酉变换和测量算子的序列并不能清楚地描述量子世界的并发与通信,因此本文提出了量子进程的概念,讨论量子进程通信的几种可能方式,并基于CCS建立了两个量子进程的一种互模拟关系,用以刻画传送量子进程的并发与通信。
期刊
量子通信
量子进程
进程演算
互模拟
Quantum communication
Quantum process
Process calculus
Mut
面向测试的多视图构件模型
构件模型不仅是构件使用者理解、使用构件的重要依据,也是构件开发者和构件使用者测试构件的基础。目前已有的构件模型主要从分析设计以及使用的角度描述构件,对构件测试中的测
期刊
构件模型
构件测试
测试元素
UML2.0
Component model
Component testing
Test elements
UML2. 0
一种基于规划合并的作战方案优化方法
高效的作战方案是对敌实施有效打击的保证。运用Agent技术,提出一种规划合并机制,并将其运用于作战方案的优化。通过资源共享,将其它规划产生的可共享资源取代本规划中某些动作
期刊
作战方案
规划合并
资源共享
智能体
Operational plan
Plan merging
Resource sharing
Agent
Call for Papers The 6^th International Conference on Grid and Cooperative Computing
<正>Recent years have seen rapid advances in various grid-related technologies, middleware, and applications. The GCC conference has become one of the largest s
期刊
网络系统可生存性评估与增强技术研究概述
网络系统可生存性是网络安全研究的新方向,它突破了传统的网络安全的概念,从新的角度对网络安全问题进行研究.本文首先对网络系统可生存性研究领域进行了总结,回顾了可生存性
期刊
可生存性
评估模型
增强技术
Survivability
Evaluation model
Enhancement technology
类动态更新事务研究
针对软件单个类的动态更新操作存在许多限制,例如不允许删除类、方法等,提出类动态更新事务的方法,利用动态更新类集来克服这些限制,同时保证更新的安全性。基于此,对动态更新事务
期刊
软件更新
类动态更新
程序设计
更新事务
Software updating
Dynamic class update
Program design
Up
DnaReSM:一个基于多支持度的DNA重复序列挖掘算法
DNA序列分析研究是生物信息学的重要内容之一。基因组的基因相关区域和基因外区域中含有大量重复序列,尽管目前大多数重复序列的功能还没能肯定,但它们在遗传分析中已起重要作
期刊
数据挖掘
DNA序列
重复序列
序列模式
Data mining
DNA sequence
Repetitive sequence
Sequential pat
基于生物网络的Web服务突现模型研究与实现
生物神经内分泌和免疫系统通过复杂的调节,构成了一个智能的生物网络.本文借鉴系统突现的自组织、自聚集和自协作特性及复杂的双向调节机制,提出了Web服务突现的研究方法.基
期刊
神经内分泌免疫系统
突现
WEB服务
移动AGENT
Neuroendocrine-irnmune system
Emergence
Web service
与本文相关的学术论文