论文摘要
模糊描述逻辑是一类处理结构化模糊知识的形式系统，其表达能力同它所含的构造算子紧密相关。本文通过添加构造算子一限定性数目约束（Q），来进一步扩充FALC，增强了其表示模糊信息的能力，给出了扩充后的逻辑系统的语法及语义，（≥pR．C）I（d）=suPe1，…，eP∈△Imini=1P{min（RI（d，ei），CI（ei））} （≤pR．C）I（d）=infe1，…，eP+1∈△Imaxi=1P+1{max(1-RI（d，ei），（1-CI（ei））}并且讨论了推理算法，给出Abox一致性检测的Tableaux—推理规则，详细证明了该Tableaux——推理算法的合理性：即证明算法的终止性、可靠性、完备性：定理3．2[终止性]对任一模糊ALCQ的纯断言知识库A，Tableaux-算法都停机。定理3．3[可靠性]如果对模糊ALCQ的纯断言知识库A应用算法规则得到一完全的、无冲突的完整森林，那么A存在模糊表。定理3．4[完备性]如果模糊ALCQ的纯断言知识库A存在一模糊表，那么根据Tableaux-算法并且恰当运用算法规则，则可产生A的一完全的、无冲突的完整森林。由于描述逻辑其它的推理问题最终可以归结到Abox的一致性检测问题，所以我们给出的推理算法也相应解决了蕴含问题、包含问题以及最佳真值界限问题。