模糊动态描述逻辑相关硕士博士期刊学术论文

描述逻辑是一种基于对象的知识表示的形式化工具,是一个用于描述及推理概念知识的逻辑公式集合体,是一阶谓词逻辑可判定的子集,能......