贵州省教育厅自然科学研究项目(2008090)
- 作品数：5 被引量：8H指数：2
- 相关作者：余泉曹发生张维王驹侯金宏更多>>
- 相关机构：黔南民族师范学院毕节学院广西师范大学更多>>
- 发文基金：贵州省教育厅自然科学研究项目国家自然科学基金贵州省科技厅科学技术基金更多>>
- 相关领域：自动化与计算机技术理学哲学宗教更多>>
- MALC模型间互模拟的代数结构
- 2010年
- 文[1]中给出模态描述逻辑MALC的语法与语义,同时给出MALC两个模型之间的互模拟关系,讨论MALC的模型之间互模拟及互模拟所组成集合具有的代数性质。
- 余泉张维
- 关键词：互模拟代数结构
- 模态描述逻辑MALC模型的几个代数性质被引量：1
- 2010年
- 本文定义了MALC模型间的同构、同态等关系,并讨论了合式公式在这些关系下的不变性等代数性质。最后定义了MALC的拓扑语义及基于拓扑语义互模拟,得到MALC的合式公式在拓扑互模拟下具有不变性。
- 余泉张维王驹
- 关键词：不变性互模拟
- 归纳法在描述逻辑中的应用
- 2009年
- 归纳法在描述逻辑中关于定义、证明和算法三个方面都有应用,在这些应用中归纳法中的基始部分和归纳部分被着重注明。
- 曹发生余泉
- 关键词：归纳法描述逻辑
- 描述逻辑系统FLEN中概念的最小公共包含算法研究被引量：5
- 2010年
- 描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不含数量限制的描述逻辑系统,研究的是描述逻辑系统FLEN中的一种重要的非标准推理——概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLEN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的.
- 张维侯金宏曹发生王驹蒋运承
- 关键词：描述逻辑
- LINGO在形式逻辑中的应用被引量：2
- 2009年
- LINGO是一套专门用于求解最优化问题的软件,利用该软件可以给出求合式公式的真值和判定合式公式可以满足的方法。
- 曹发生余泉
- 关键词：LINGO
