TABLEAU方法

作品数：9被引量：5H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘全孙吉贵程晓春于万钧高晓雷更多>>
相关机构：吉林大学苏州大学上海大学国防科学技术大学更多>>
相关期刊：《计算机工程与设计》《广西师范大学学报（自然科学版）》《计算机研究与发展》《软件学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划吉林省自然科学基金高等学校骨干教师资助计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
模糊命题模态逻辑的Tableau方法被引量：1
《哈尔滨工程大学学报》2017年第6期914-920,共7页刘磊 王强 吕帅 
国家自然科学基金项目(61300049;61402195);教育部高等学校博士学科点专项科研基金项目(20120061120059);吉林省科技发展计划项目(20130206052GX;20140520069JH)
为提高模糊命题模态逻辑(fuzzy propositional modal logic,FPML)的推理能力,本文将经典模态逻辑中的Tableau方法推广到FPML中,提出了基于FPML的Tableau规则并证明了其正确性,给出了模糊断言集合的约简策略;在此基础上给出了FPML中的不...
关键词：TABLEAU方法 模态逻辑 模糊命题模态逻辑 不确定推理 一致性检测 模糊断言集合 
构建度量区时序逻辑的时间自动机
《计算机工程与设计》2011年第2期568-571,575,共5页王勤思 
国家自然科学基金项目(60673051;60736017;60873260)
在实时系统的形式验证中,为了直接验证带有明显时间约束的性质,选用了一种被广泛接受的(线性时间)实时时序逻辑——度量区时序逻辑来描述待验证的性质;提出了基于迁移的扩展时间B chi自动机;构建了度量区时序逻辑的基于迁移的扩展时间B ...
关键词：模型检测 实时时序逻辑 度量区时序逻辑 基于迁移的扩展时间Buchi自动机 TABLEAU方法 
ETL的符号化模型检验
《软件学报》2009年第8期2015-2025,共11页刘万伟 王戟 王昭飞 
国家自然科学基金Nos.60725206;60621003;国家高技术研究发展计划(863)No.2006AA01Z429~~
为使符号化模型检验技术适用于全部ω-正规性质,研究了ETL(extended temporal logic)的符号化模型检验方法.首先,扩展了LTL(linear temporal logic)的Tableau方法,给出了ETL的Tableau构造方法,进而给出了该方法基于BDD(binary decision ...
关键词：符号化模型检验 扩展时序逻辑 TABLEAU方法 验证工具 ENusMV 
一种求解tableau等式合一问题的算法
《计算机科学》2006年第1期216-219,共4页刘全 孙吉贵 窦全胜 
本课题得到国家自然科学基金(60073039;60273080;60473003)资助。
在增添扩展规则的 tableau 方法的基础上提出了一种新的含等词 tableau 方法——等式合一方法,并证明了它的可靠性和完备性。在该方法中,将 tableau 分成两个阶段,等词单独处理,通过提取等式合一问题并求解解替换封闭 tableau,进一步限...
关键词：等式合一 不等式析取 等价类 TABLEAU方法 求解 算法 扩展规则 搜索空间 完备性 可靠性 
基于tableau的自动推理技术综述被引量：2
《计算机科学》2005年第11期1-4,15,共5页刘全 孙吉贵 于万钧 
国家自然科学基金(60073039);教育部骨干教师基金;吉林省自然科学基金(2000540)
tableau方法是一种接近于逻辑系统表示的自动推理方法,由于其直观性和通用性,易于计算机实现,成为目前最普及的自动推理方法之一。在提高系统效率方面,主要在相关技术和策略、理论和方法等方面进行了分析,并展望了未来的研究方向。
关键词：TABLEAU 技术 策略 理论 方法 TABLEAU方法 自动推理 技术综述 推理方法 计算机实现 
一种多值规则量词公式的Tableau的方法
《广西师范大学学报（自然科学版）》2003年第1期101-105,共5页刘全 孙吉贵 
国家自然科学基金，吉林省自然科学基金
在多值逻辑中,含有量词的Tableau方法具有统一的扩展规则,并已通过可靠性和完备性的证明,但是由于扩展后的分枝非常庞大,使机器实现非常困难.通过对规则量词公式与一阶经典量词公式的对应关系的研究,使二者使用统一的扩展规则.
关键词：多值规则量词公式 TABLEAU方法 多值逻辑 扩展规范 人工智能 自动定理证明 
基于Tableau方法的程序综合系统──DTPS
《计算机研究与发展》1997年第8期577-581,共5页赵莹 全炳哲 金淳兆 
"863"计划和国家自然科学基金
本文简单介绍了基于Ｔａｂｌｅａｕ方法的程序综合系统——ＤＴＰＳ．ＤＴＰＳ系统以定理证明为基础，为构造一个满足程序规约的程序，只需证明的确存在一个满足条件的对象．如果这个证明存在，那么从证明中可抽取出一个满足该程序规约...
关键词：TABLEAU方法 程序综合系统 DTPS 软件自动化 
基于算子模糊逻辑的不确定程度计算被引量：2
《软件学报》1997年第7期525-534,共10页程晓春 
国家自然科学基金;国家863高科技项目
本文提出并比较了在信度语义下，计算算子模糊逻辑中公式（集）模糊程度的3种方法——归结法、广义归结法和TABLEAU方法．
关键词：算子模糊逻辑 可信度 归结 TABLEAU方法 
标记逻辑的TABLEAU判定过程
《软件学报》1996年第11期698-705,共8页程晓春 刘叙华 
国家自然科学基金;国家863高科技项目基金
标记逻辑是一种重要的次协调逻辑，和｜≈是标记逻辑中的２种推理关系．二者都是次协调的，可以用统一的方法处理一致的知识与不一致的知识，是单调的，有基于归结的证明论，但不能保持经典逻辑中合理的推理，如三段论．｜≈是非单...
关键词：标记逻辑 TABLEAU方法 次协调逻辑 人工智能 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部