不动点语义

作品数：11被引量：23H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：汤庸蒋运承王驹周生明古天龙更多>>
相关机构：广西师范大学中山大学桂林电子科技大学陕西师范大学更多>>
相关期刊：《模式识别与人工智能》《计算机学报》《广东工业大学学报》《计算机研究与发展》更多>>
相关基金：国家自然科学基金广东省自然科学基金中国博士后科学基金广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
广义可能性计算树逻辑的不动点语义被引量：1
《陕西师范大学学报（自然科学版）》2015年第4期22-27,共6页邓楠轶 张兴兴 李永明 
国家自然科学基金(11271237;61228305);高等学校博士学科点专项基金(20130202120001)
计算树逻辑的不动点语义在其对应的符号模型检测方法中具有重要意义。给出广义可能性计算树逻辑的不动点语义解释,并利用归纳法证明此不动点为最大或最小不动点。结论表明,广义可能性计算树逻辑的不动点语义具有不同于经典情形的形式。
关键词：广义可能性测度 计算树逻辑 不动点语义 模型检测 
基于OBDD的描述逻辑εL循环术语集推理被引量：1
《软件学报》2014年第1期64-77,共14页古天龙 吕思菁 常亮 徐周波 
国家自然科学基金(60963010;60903079;61100025;61262030;61363030);广西自然科学基金(2012GXNSFBA 053169)
循环术语集推理是描述逻辑研究中面临的难点问题,尚未得到很好的解决.有序二叉决策图(ordered binary decision diagram,简称OBDD)是一种对布尔函数进行紧凑表示和高效操作的数据结构,适用于表示和处理大规模问题.将OBDD应用于描述逻辑...
关键词：描述逻辑εL 循环术语集 有序二叉决策图 概念包含关系 不动点语义 
描述逻辑εLN循环术语集的不动点语义及推理被引量：7
《软件学报》2009年第3期477-490,共14页蒋运承 王驹 史忠植 汤庸 
国家自然科学基金;国家重点基础研究发展计划(973));中国博士后科学基金;广东省自然科学重点基金;新世纪优秀人才支持计划;广西自然科学基金~~
循环术语集是描述逻辑长期以来的研究难点,其最基本的问题即语义及推理问题没有得到合理的解决分析了描述逻辑循环术语集的研究现状和存在的问题,将Baader的工作扩展到新的方向.针对更大的描述逻辑系统研究了循环术语集的语义及推理机制...
关键词：描述逻辑 εLN 循环术语集 描述图 模拟关系 不动点语义 
描述逻辑εL循环术语集的混合推理被引量：3
《计算机研究与发展》2009年第1期15-22,共8页蒋运承 王驹 周生明 汤庸 
国家自然科学基金项目(60663001,60573010,60673135,60373081);中国博士后科学基金项目(20060400226);广西自然科学基金项目(桂科青0640030,桂科自0832103);广西科学研究与技术开发计划基金项目(桂科攻0719001-11)~~
循环术语集是描述逻辑长期以来的研究难点,它最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader和Brandt的基础上进一步研究了描述逻辑εL循环术语集的混合推理问题.给出了εL...
关键词：描述逻辑 循环术语集 不动点语义 描述语义 混合推理 
描述逻辑εL混合循环术语集的LCS和MSC推理被引量：10
《软件学报》2008年第10期2483-2497,共15页蒋运承 王驹 周生明 汤庸 
国家自然科学基金;中国博士后科学基金;新世纪优秀人才支持计划;广东省自然科学重点基金;广西自然科学基金~~
分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混...
关键词：描述逻辑 混合循环术语集 不动点语义 描述语义 LCS(least COMMON subsumer) MSC(most specific concept) 
基于抽象解释的Prolog程序验证技术研究被引量：1
《计算机科学》2008年第7期261-268,共8页赵岭忠 古天龙 蔡国永 钱俊彦 
国家自然科学基金(60563005;60663005);广西青年科学基金(桂科青0728093;0542036)
作为一种通用的语义近似理论,抽象解释已广泛应用于各类程序的形式化验证中。现有基于抽象解释的逻辑程序验证技术未涉及与程序点相关联的程序性质的验证,设计能够描述此类性质的逻辑程序具体语义和抽象语义是构造相应验证工具的关键。...
关键词：抽象解释 程序验证 PROLOG 不动点语义 
描述逻辑FL-循环术语集的语义及推理被引量：9
《计算机学报》2008年第2期185-195,共11页蒋运承 王驹 邓培民 汤庸 
国家自然科学基金(60663001,60673135,60373081,60573010);广东省自然科学重点基金(04105503);广西青年科学基金(桂科青0640030)资助
循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.文中分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader的基础上进一步研究了描述逻辑FL^-循环术语集的语义及推理问题.给出了FL^...
关键词：描述逻辑 循环术语集 不动点语义 描述语义 有限自动机 
带RVM的描述逻辑εL混合循环术语集的语义及推理被引量：1
《模式识别与人工智能》2008年第1期18-27,共10页蒋运承 王驹 周生明 汤庸 
国家自然科学基金项目(No.60663001,60673135,60373081,60573010);中国博士后科学基金项目(No.20060400226);广西青年科学基金项目(No.桂科青0640030)资助
分析描述逻辑循环术语集的研究现状和存在的问题,在F.Baader和S.Brandt的基础上进一步研究带RVM的描述逻辑εL混合循环术语集的语义及推理问题.给出带RVM的εL混合循环术语集的语法和语义.针对带RVM的εL混合循环术语集包含推理的需要,...
关键词：描述逻辑 混合循环术语集 不动点语义 描述语义 关系-值-映射(RVM) 
基于不动点语义的Web服务发现
《现代图书情报技术》2007年第6期29-32,共4页全立新 
以不动点相关理论为基础,采用数据挖掘和概率统计的方法,对W eb服务行为约束和概率统计语义的问题进行研究和分析。针对传统定性描述调用关系的不足,给出服务调用关系定量描述的方法,并给出W eb服务间调用的不动点函数及相应算法。实验...
关键词：WEB服务 最小不动点 语义WEB 服务发现 
关于三值逻辑程序中否定和蕴涵完备化程序的不动点语义
《计算机科学》2006年第4期141-142,147,共3页刘富春 
广东省自然科学基金项目(020146;031541;广东工业大学青年基金项目(042027)
逻辑程序具有丰富的表达能力和非确定性等特点,在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等方面都有了广泛的应用。本文是继续文[8]的工作。首先通过两个反例,指出了文[7]中关于否定完备化程序 Comp((?),...
关键词：逻辑程序 否定和蕴涵完备化程序 Herbrand模型 后继算子 Fitting算子 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部