搜索到25篇“ TABLEAU方法“的相关文章
- 模糊命题模态逻辑的Tableau方法被引量：1
- 2017年
- 为提高模糊命题模态逻辑(fuzzy propositional modal logic,FPML)的推理能力,本文将经典模态逻辑中的Tableau方法推广到FPML中,提出了基于FPML的Tableau规则并证明了其正确性,给出了模糊断言集合的约简策略;在此基础上给出了FPML中的不一致性和不一致估值的定义。最后给出基于Tableau方法的FPML的一致性检测方法 TFPML和模糊断言集合的不一致估值计算方法 CID,并证明了其正确性。实例分析表明,本文提出的方法是正确有效的。
- 刘磊王强吕帅
- 关键词：TABLEAU方法模态逻辑
- 利用tableau方法修正DeepWeb中不相容知识被引量：1
- 2009年
- 在分析Deep Web中不相容知识的单调性、动态性、模糊性的基础上,提出了基于tableau的不完备知识处理的模型生成方法IK-tableau。该模型采用非经典逻辑表示方法,将Deep Web信息表示为逻辑公式集合,采用模型生成算子对逻辑公式进行扩展。通过IK-tableau方法,能够找出Deep Web搜索中的不完备知识,并可以进行修正,生成知识模型;同时利用该模型可以进一步指导Deep Web搜索。
- 刘全崔志明高阳伏玉琛凌兴宏
- 关键词：DEEPWEBTABLEAU逻辑模型
- 翻译成整数规划的IP-tableau方法
- 2005年
- 由经典命题公式对应着0-1-整数规划的事实,提出将tableau方法与整数规划相结合的IP-tableau方法,并提升到一阶逻辑、多值逻辑以及无穷值逻辑。将tableau转化为IP方法后,可以采用许多提高IP效率的方法。另外在多值逻辑中,随着n值的增加,IP问题不会变得更加复杂。
- 刘全孙吉贵
- 关键词：整数规划一阶逻辑多值逻辑
- 基于整数规划tableau方法
- 由经典命题公式对应着0-1-整数规划的事实,提出将tableau方法与整数规划相结合的IP-tableau方法,并提升到一阶逻辑、多值逻辑以及无穷值逻辑.将tableau转化为IP方法后,可以采用许多提高IP效率的方法....
- 刘全孙吉贵于万钧
- 关键词：整数规划一阶逻辑多值逻辑
- 文献传递
- 基于Tableau方法的Z规格说明求精
- 基于Tableau方法的z规格说明求精以定理证明为基础,将从规格说明得到程序的过程看作是一个定理证明的过程,如果这个证明存在,那么从证明中可抽取出一个满足该程序规格说明的程序.本文引进合并规则扩充Tableau方法的演绎...
- 高晓雷缪淮扣
- 关键词：定理证明TABLEAU方法Z语言软件工程
- 文献传递
- 非经典逻辑的语义tableau方法被引量：11
- 2002年
- 1.引言
自动推理作为自动定理证明的扩展,在计算机科学,特别是人工智能领域中占有重要的地位.许多系统,都是以推理系统作为其核心部分,因此自动推理的研究,对人工智能的其它分枝将产生深远的影响,它所提出的推理方法也被应用于人工智能的各个领域.
- 刘全孙吉贵
- 关键词：人工智能自动定理证明非经典逻辑
- 基于Tableau方法的程序综合系统──DTPS被引量：2
- 1997年
- 本文简单介绍了基于Ｔａｂｌｅａｕ方法的程序综合系统——ＤＴＰＳ．ＤＴＰＳ系统以定理证明为基础，为构造一个满足程序规约的程序，只需证明的确存在一个满足条件的对象．如果这个证明存在，那么从证明中可抽取出一个满足该程序规约的程序．
- 赵莹全炳哲金淳兆
- 关键词：TABLEAU方法软件自动化
- 业务可视化分析 从问题到图形的Tableau方法 全彩版
- 对广大的业务分析师而言，业务分析（或者称为商业分析）应该从业务和问题出发，可视化是实现的方法，辅助决策是最终的目的。本书以业务分析为起点，介绍了“样本范围、问题描述和问题答案”的解析方法，以及聚合过程、连续与离散的字段分...
- 喜乐君
- 基于Tableau方法的标记逻辑
- 该文在标记逻辑中引入了Tableau语义,它克服了用Herbrand语义定义的极小蕴涵关系|=m难以实现的缺点,作者用Tableau演算的方法给出了|=m的证明理论.该文中还讨论了标记逻辑推理过程中矛盾传播的问题,并根据...
- 唐中兴
- 关键词：计算机系统
- 概率逻辑中的Tableau方法
- 白硕
- 关键词：概率逻辑人工智能
相关作者
- 孙吉贵
- 作品数：210被引量：2,275H指数：17
- 供职机构：吉林大学计算机科学与技术学院
- 研究主题：人工智能 TABLEAU 模态逻辑 约束满足问题 粒子群算法
- 刘全
- 作品数：264被引量：1,379H指数：14
- 供职机构：苏州大学
- 研究主题：光栅 TABLEAU 离子束刻蚀 全息 行动者
- 程晓春
- 作品数：26被引量：47H指数：5
- 供职机构：北京师范大学信息科学与技术学院
- 研究主题：人工智能 模糊逻辑 非单调逻辑 TABLEAU 知识表示
- 缪淮扣
- 作品数：154被引量：505H指数：11
- 供职机构：上海大学计算机工程与科学学院
- 研究主题：测试用例 WEB应用 Z规格说明 软件开发 OBJECT-Z
- 高晓雷
- 作品数：15被引量：44H指数：3
- 供职机构：东莞理工学院计算机学院
- 研究主题：面向对象 软件开发 面向对象方法 Z规格说明 软件开发方法
