描述逻辑-一流百科

描述逻辑

描述逻辑描述逻辑（DL）是一个形式化知识表示语言的家族。许多DL比命题逻辑的表达能力强，但比一阶逻辑的表达能力弱。与后者相比，DL的核心推理问题（通常）...