三值逻辑

作品数：130被引量：209H指数：7
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：金翊汪鹏君毛宇光姚从军沈云付更多>>
相关机构：上海大学宁波大学南京大学南京航空航天大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金浙江省自然科学基金国家社会科学基金浙江省公益性技术应用研究计划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
关于三值逻辑程序中否定和蕴涵完备化程序的不动点语义
《计算机科学》2006年第4期141-142,147,共3页刘富春 
广东省自然科学基金项目(020146;031541;广东工业大学青年基金项目(042027)
逻辑程序具有丰富的表达能力和非确定性等特点,在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等方面都有了广泛的应用。本文是继续文[8]的工作。首先通过两个反例,指出了文[7]中关于否定完备化程序 Comp((?),...
关键词：逻辑程序 否定和蕴涵完备化程序 Herbrand模型 后继算子 Fitting算子 
基于不完全Kripke结构三值逻辑的模型检验被引量：5
《计算机科学》2006年第3期263-266,278,共5页郭建 韩俊刚 
国家自然科学基金(90207015)
模型检验技术是形式化验证中比较成熟的技术,但随着设计系统规模的增加,状态爆炸已成为其发展的一个主要问题。为解决此问题,本文提出对系统进行抽象,建立不完全的状态模型,在此状态模型上来验证表示其属性的逻辑公式。这样一个逻辑公...
关键词：三值逻辑 模型检验 不完全Kripke结构 
发生率计算理论的研究
《计算机科学》2005年第4期79-80,120,共3页季秋 王万森 
国家自然科学基金(项目号60273087);北京市自然科学基金(项目号4032009)
在不确定性推理算法中,纯数值机制是一种计算简单快捷,并在许多实际应用方面已取得重大成就的方法,但这也掩盖不了其自身的一些缺陷。本文首先对纯数值机制的优缺点进行分析,然后针对其不足之处,引入了发生率计算。发生率计算是有关不...
关键词：发生率 计算理论 不确定性知识 推理算法 推理机制 命题逻辑 假言推理 三值逻辑 优缺点 数值 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部