描述逻辑FLε的合一算法

发布时间：2021-08-20 06:14

　　描述逻辑FLε最近获得了比较大的关注。一方面，重要的推理问题（如包含问题）是多项式的；另一方面FLε被用做定义大的本体。变量概念的合一（概念模式）是一个已在概念描述逻辑的背景介绍的相对较新的操作。描述逻辑的合一算法能够作为一个新奇的推理，它被用做发现本体的冗余。UFLE是一个系统，计算概念描述阐述合一问题的合一公式。 FLε是限制表达力的描述逻辑，但它仍然是表现足够生物医学本体的形式体系，如大型医学本体论。本文建议通过计算两个涉嫌表达同一概念的应用程序域中的正式概念的合一公式，使用UFLE作为一种工具来检测这种本体的冗余。UFLE可以作为一个流行本体的插件程序，或作为一个独立的合一。本文主要的结果FL ε合一算法是可判定的。更精确地， FL ε的一个部分εL是多项式完全，因此它和εL匹配有相同的计算复杂性。本文给出了描述FLε语义和语法的概念，并且给出了描述逻辑系统FLε的合一算法类型及证明。特别地，蕴含合一问题没有有限的完备合一公式集。本文基于合一的规则探讨了拥有存在算子算子和值限算子的FLε可判定性问题。 

【文章来源】：辽宁师范大学辽宁省

【文章页数】：33 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
引言
    1 研究背景与意义
    2 文章结构与内容
1 FLε语言
    1.1 基本描述逻辑形式体系
    1.2 FLε的语法和语义
2 FLε合一定义
    2.1 概念项代替
    2.2 在半格中应用单调操作符的概念项的转化
    2.3 FL ε合一的定义
3 FLε的相等和包含
4 FLε-合一算法问题
    4.1 合一算法类型
    4.2 一个零型的FLε-合一算法问题
5 可判定性问题
    5.1 FL ε-合一问题的可判定解的非决定性算法
    5.2 εL-合一算法的复杂度
结论
参考文献
攻读硕士学位期间发表学术论文情况
致谢



本文编号：3352976