曹发生

作品数：31被引量：40H指数：3
导出分析报告
供职机构：中山大学人文科学学院逻辑与认知研究所更多>>
发文主题：描述逻辑同余逻辑系统有穷LN更多>>
发文领域：理学自动化与计算机技术哲学宗教更多>>
发文期刊：《山东大学学报（理学版）》《计算机工程与应用》《西南大学学报（自然科学版）》《逻辑学研究》更多>>
所获基金：贵州省教育厅自然科学研究项目国家自然科学基金贵州省科学技术基金广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
开放世界信息更新的逻辑系统
《烟台大学学报（自然科学与工程版）》2020年第4期464-471,共8页曹发生 
信息系统的粗糙集理论是处理知识表示的一种有效方法.开放类的一个重要特性是其成员可能会增加,部分映射和非满映射为开放世界信息系统的信息表提供了工具.结合开放类和粗糙集逻辑,利用信息系统的粗糙集理论形式化开放世界模型,从而建...
关键词：开放类 信息系统 动态 逻辑系统 
信息系统更新的自动机被引量：2
《逻辑学研究》2015年第1期79-94,共16页曹发生 
通过引入信息等价和信息范式这两个主要概念,给出了信息系统更新的自动机。用自动机理论给出信息系统更新的模型的刻画,证明了星动作算子在信息系统的动态更新的逻辑系统的引入的不必要性,并且得到了自动机的语言和信息更新的联系。最...
关键词：信息系统 动态 自动机 模型检测 
决策逻辑的图论模型
《毕节学院学报（综合版）》2014年第8期8-12,共5页曹发生 张家锋 黄飞丹 聂登国 
贵州省科技厅;毕节市科技局;毕节学院科技联合基金资助项目基于格值逻辑的自动推理方法研究成果之一;项目编号:黔科合J字LKB[2012]02号;量子自动机的状态复杂性成果之一;项目编号:黔科合J字LKB[2012]10号;轻量级描述逻辑的保守扩充成果之一;项目编号:黔科合J字LKB[2013]23号
通过定义二部图上的几个操作运算,利用图论理论提出决策逻辑的一种模型,并证明了它和框架语义模型的等价性。最后研究了决策逻辑系统的粗糙性的语义。
关键词：决策逻辑 粗糙集 语义 
描述逻辑VL的保守扩充被引量：4
《毕节学院学报（综合版）》2013年第8期15-20,共6页聂登国 曹发生 
贵州省2013年度贵州省科技厅;毕节市科技局;毕节学院科技联合基金计划项目"轻量级描述逻辑的保守扩充"成果之一;项目编号:黔科合J字LKB[2013]23号;国家自然科学基金项目"本体保守扩充及其推理机制的研究"成果之一;项目编号:61103169
保守扩充是数理逻辑中一个重要的性质。本体的保守扩充在本体设计和本体集成中扮演重要的角色,它可形式地精练本体、可靠地进行本体合并及在本体内部进行本体模块化。在本体的进化和本体的合并中,保守扩充最基本的任务是判定合并后的本...
关键词：描述逻辑 保守扩充 本体 VL系统 
Hamilton群的主同余被引量：2
《数学的实践与认识》2013年第15期255-258,共4页曹发生 
贵州省教育厅自然科学基金(黔教科20090068);贵州省科技厅基金(2010GZ43286)
研究了有限交换群和Hamilton群的主同余,利用同余的定义并构造它们的主同余公式,给出了它们的主同余刻画.
关键词：同余 主同余 主同余公式 Hamilton群 
描述逻辑FL_0循环术语集的可满足性
《计算机工程与应用》2012年第14期56-59,共4页汪天友 曹发生 
贵州省教育厅自然科学基金项目(No.黔教科20090068);贵州省重点支持学科(逻辑学)项目
循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决。分析了描述逻辑循环术语集的研究现状和存在的问题,基于图的互模拟的方法,给出了描述逻辑FL0循环术语集的可满足性条件。结果证明循环术...
关键词：描述逻辑 FL0 互模拟 
布尔格的主同余被引量：4
《四川师范大学学报（自然科学版）》2012年第2期236-239,共4页曹发生 
贵州省教育厅自然科学基金(黔教科20090068)资助项目
基于布尔格的次直积同构表示,引入布尔格的元的不可辨下标集的定义,给出布尔格的元的不可辨下标集的简单性质.应用布尔格的元的不可辨下标集给出布尔格的主同余的刻画,并给出有穷布尔格的主同余的基数与布尔格的元的不可辨下标集的基数...
关键词：主同余 布尔格 基数 
描述逻辑系统εLN中概念最小公共包含推理研究被引量：2
《计算机工程与科学》2012年第2期139-145,共7页张维 曹发生 余泉 王驹 
国家自然科学基金资助项目(60663001);中国科学院计算机科学国家重点实验室开放课题基金资助项目(SYSKF0904);贵州省教育厅自然科学基金资助项目(黔教科20090047);贵州省科学技术基金资助项目(黔科合J字[2009]2068)
描述逻辑的非标准推理是上世纪末本世纪初研究者们提出来的一种新的推理机制,它主要包括最具体概念、最小公共包含、匹配问题以及概念的重写等等。非标准推理的提出主要是为了解决人们在知识库的构建、管理、维护等方面遇到的问题,它能...
关键词：描述逻辑 描述树 同态 最小公共包含 
基于矩阵模型表示的极小线性有限自动机的最短初态试验序列判定
《毕节学院学报（综合版）》2011年第8期76-78,共3页杨楠 曹发生 
贵州省教育厅自然科学基金;项目编号:黔教科20090068
在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,给出了判定输入序列是否是极小线性有限自动机的最短初态试验序列的新算法。
关键词：极小线性有限自动机 矩阵模型 初态试验序列 
基于矩阵模型表示的(线性)有限自动机的同步序列判定
《数学的实践与认识》2011年第10期192-197,共6页杨楠 曹发生 邓培民 
贵州省重点支持学科(应用数学)基金(黔教高发[2009]303号);贵州省教育厅自然科学基金(黔教科20090068)
在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,分别给出了判定输入序列是否是(线性)有限自动机的同步序列的新充要条件和求解线性有限自动机的最短同步序列的新算法.
关键词：有限自动机 矩阵模型 同步序列 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部