刘凯
- 作品数：4 被引量：0H指数：0
- 供职机构：辽宁师范大学更多>>
- 相关领域：自动化与计算机技术理学经济管理更多>>
- 描述逻辑FLε的合一算法
- 描述逻辑FLε最近获得了比较大的关注。一方面，重要的推理问题（如包含问题）是多项式的；另一方面FLε被用做定义大的本体。变量概念的合一（概念模式）是一个已在概念描述逻辑的背景介绍的相对较新的操作。描述逻辑的合一算法能够作...
- 刘凯
- 关键词：描述逻辑可判定性
- 文献传递
- 几何图形的XML语言描述
- 2012年
- 通过运用XML语言对几何图形进行描述。本文在了解XML语言的基础上,通过几何作图的基本步骤,定义了几何作图语言GCL,达到几何图形语言的形式化,实现几何图形在计算机中的应用。
- 张瑞楠刘凯温少营
- 关键词：XML语言GCL
- 建设“大大连”的资源、环境承载力与保障程度研究
- 韩增林王利狄乾斌刘桂春刘凯高原刚晓丹李晓娜张健松
- 该项目是大连市科技局项目（项目编号：2003CIZC150），是在“大大连”建设背景下提出的。“大大连”的建设规划，从城市空间、人口规模及城市经济总量等多方面对资源、环境的承载能力提出了更高的要求，使原本紧张的资源、恶化...
- 关键词：
- 关键词：环境承载力人口
- 描述逻辑FLε合一算法
- 2012年
- 描述逻辑(DL)一族知识表示系统,是一个非常热门的研究方向。一方面,重要的推理问题如包含问题是多项式得;另一方面,FLε被用做定义大的本体。已经提出的描述逻辑的合一算法能够作为一个新奇的推理服务,它被用做发现本体的冗余。本文主要的结果是FLε合一算法是可判定的。更精确地,FLε的一个部分εL是多项式完全,因此它和εL匹配有相同的计算复杂性。本文首先给出了描述逻辑系统FLε的语法和语义,特别地,蕴含合一问题没有有限的完备合一算子集,基于合一算法的规则探讨了可判定性问题。
- 刘凯
- 关键词：描述逻辑可判定性
