基于布尔剪枝的多值广义量词Tableau推理规则简化方法

来源 :计算机学报 | 被引量 : 0次 | 上传用户：quanxi111

【摘要】

：

Tableau作为自动推理的有效方法之一在许多领域中有重要的应用.该文作者在已提出的布尔剪枝方法基础上,对含广义量词(交和并)规则的简化方法进行研究,建立了一套含广义量词的

【作者】

：

刘全孙吉贵崔志明

【机构】

：

苏州大学计算机科学与技术学院,吉林大学计算机科学与技术学院

【出处】

：

计算机学报

【发表日期】

：

2005年9期

【关键词】

：

布尔剪枝多值逻辑广义量词 TABLEAU 集合的上集/下集 Boolean pruning many- valued logic generalized

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

Tableau作为自动推理的有效方法之一在许多领域中有重要的应用.该文作者在已提出的布尔剪枝方法基础上,对含广义量词(交和并)规则的简化方法进行研究,建立了一套含广义量词的一阶多值逻辑公式的简化Tableau推理方法.通过实例分析,对简化前后结果对比表明,改进后的Tableau方法,在推理效率上有很大的提高.

其他文献

压缩域自适应映射能量视频水印算法

提出了一种自适应映射能量(AMEW)视频水印算法,将水印嵌入到压缩域中,从压缩码流中提取水印,提取过程不需要原始视频,是一种新型的盲视频水印算法.在该算法中,作者选择一定的

期刊

视频水印自适应映射能量视频水印算法能量映射函数重同步水印编码video watermarking AMEW EMF re-synchroniza

饲料产品的顾问式营销

饲料产品的顾问式营销．就是站在专业化和养殖户的角度．提出专业化建议、解决方案和增值服务．使养殖户对饲料产品和服务做出的正确选择．以创造更大的经济价值。饲料产品的顾问式营

期刊

饲料产品营销战略合作伙伴增值服务市场竞争力养殖户经济价值合作关系

国内工程机械驱动桥技术现状及发展趋势

<正>工程机械产品主要包括挖掘机、铲土运输机械、工程起重机械、路面机械、压实机械等,主要用于交通、能源、水利、矿山等基本建设领域。其中驱动桥作为主要传动装置,广泛应

期刊

工程机械驱动桥工程机械产品湿式制动器防滑差速器半轴齿轮差速式转向机构现状及发展趋势圆柱齿轮履带式工程机械基本建设领域

PIBG Toolkit：一个笔式界面工具箱的分析与设计

PIBG Toolkit是一个基于PIBG交互范式构造而成的笔式应用开发平台.PIBG Toolkit中包含了纸、框等多种交互组件,定义了纸、框和内容三个层次之间的静态结构和动态机制.开发者

期刊

用户界面笔式用户界面界面范式界面工具箱组件Computer architectureComputer softwareInteractive co

基于布尔剪枝的多值广义量词Tableau推理规则简化方法

其他学术论文