曹发生
- 作品数：33 被引量：43H指数：4
- 供职机构：中山大学人文科学学院逻辑与认知研究所更多>>
- 发文基金：贵州省教育厅自然科学研究项目国家自然科学基金贵州省科学技术基金更多>>
- 相关领域：理学自动化与计算机技术哲学宗教更多>>
- 具有可定义主同余性质的代数类
- 2008年
- 给出了三种代数类具有可定义主同余性质的证明。
- 曹发生张维余泉
- 关键词：分配格
- 格理想的几个结论
- 2009年
- 讨论了格的理想,得到了一些主理想和素理想的几个结论.
- 余泉曹发生
- 关键词：主理想素理想
- 描述逻辑VL的保守扩充被引量：4
- 2013年
- 保守扩充是数理逻辑中一个重要的性质。本体的保守扩充在本体设计和本体集成中扮演重要的角色,它可形式地精练本体、可靠地进行本体合并及在本体内部进行本体模块化。在本体的进化和本体的合并中,保守扩充最基本的任务是判定合并后的本体是否是原始本体的保守扩充,如果不是,那么进化后的本体与原始本体将不能保持一致的逻辑结论。分析了现有的描述逻辑的保守扩充及其相应的判定算法,提出描述逻辑VL的保守扩充,并构建了VL的典范模型,证明了VL的保守扩充的判定算法是指数时间复杂的。
- 聂登国曹发生
- 关键词：描述逻辑本体
- 决策逻辑的图论模型
- 2014年
- 通过定义二部图上的几个操作运算,利用图论理论提出决策逻辑的一种模型,并证明了它和框架语义模型的等价性。最后研究了决策逻辑系统的粗糙性的语义。
- 曹发生张家锋黄飞丹聂登国
- 关键词：决策逻辑粗糙集语义
- 描述逻辑系统UEVN中概念的包含算法
- 描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等。过去人们主要研究那些不含数量限制的描述逻辑系统,这篇文章研究的是描述逻辑系统UEVN中的一种重要的非标准...
- 曹发生
- 关键词：描述逻辑
- 文献传递
- 有单位元的环的主同余被引量：6
- 2010年
- 通过构造有单位元的环的主同余公式,给出了有单位元的环的主同余刻画;归纳于有单位元的环的一元项的形成和主同余公式的长度,从而给出有单位元的交换环和单位元的环的主同余的判定条件.
- 曹发生王驹蒋运承
- 基于矩阵模型表示的(线性)有限自动机的同步序列判定
- 2011年
- 在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,分别给出了判定输入序列是否是(线性)有限自动机的同步序列的新充要条件和求解线性有限自动机的最短同步序列的新算法.
- 杨楠曹发生邓培民
- 关键词：有限自动机矩阵模型
- 开放世界信息更新的逻辑系统
- 2020年
- 信息系统的粗糙集理论是处理知识表示的一种有效方法.开放类的一个重要特性是其成员可能会增加,部分映射和非满映射为开放世界信息系统的信息表提供了工具.结合开放类和粗糙集逻辑,利用信息系统的粗糙集理论形式化开放世界模型,从而建立开放世界信息更新的逻辑系统.
- 曹发生
- 关键词：信息系统逻辑系统
- 归纳法在描述逻辑中的应用
- 2009年
- 归纳法在描述逻辑中关于定义、证明和算法三个方面都有应用,在这些应用中归纳法中的基始部分和归纳部分被着重注明。
- 曹发生余泉
- 关键词：归纳法描述逻辑
- 属性探索算法的一种改进方法
- 2009年
- 在介绍了形式概念分析中的伪内涵和属性探索算法之后,通过对属性探索算法进行研究,该算法的一种新改进方法被给出了。
- 赵小香张维曹发生
- 关键词：形式概念分析
