论文部分内容阅读
模糊描述逻辑是一类处理结构化模糊知识的形式系统，其表达能力同它所含的构造算子紧密相关。本文通过添加构造算子-限定性数目约事(Q)，来进一步扩充FALC，增强了其表示模糊信息的能力。给出了护充后的逻辑系统的语法及语义,并且讨论了推理算法，给出Abox一致性检测的Tableaux-推理规则，详细证明了该Tableaux—推理算法的合理性：即证明算法的终止性、可靠性、完备性。