含限定性数目约束的模糊描述逻辑FALCQ

发布时间：2021-04-28 23:15

　　模糊描述逻辑是一类处理结构化模糊知识的形式系统，其表达能力同它所含的构造算子紧密相关。本文通过添加构造算子一限定性数目约束（Q），来进一步扩充FALC，增强了其表示模糊信息的能力，给出了扩充后的逻辑系统的语法及语义，（≥pR．C）^I（d）=suP_e1，…，e_P∈△^Imin_i=1^P{min（R^I（d，e_i），C^I（e_i））} （≤pR．C）^I（d）=inf_{e1，…，eP+1}∈△^Imax_i=1^P+1{max(1-R^I（d，e_i），（1-C^I（e_i））}并且讨论了推理算法，给出Abox一致性检测的Tableaux—推... 

【文章来源】：广西师范大学广西壮族自治区

【文章页数】：35 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
第一章 绪论
    1.1 模糊描述逻辑研究的背景及其现状
    1.2 描述逻辑基础
    1.3 本文研究的主要内容
第二章 模糊描述逻辑FALCQ
    2.1 引言
    2.2 FALCQ的语法与语义
    2.3 FALCQ的逻辑性质
    2.4 FALCQ的基本推理问题
第三章 关于FALCQ-Abox的Tableaux-算法
    3.1 FALCQ-Abox模糊表
    3.2 构造FALCQ-Abox-模糊表的Tableaux-算法
    3.3 Tableaux-算法正确性的证明
    3.4 限定性数目约束Q-算子的性质
第四章 总结和展望
参考文献
致谢



本文编号：3166360