Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。
:
、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。
声:
、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可集。
声明:以例句、词性
由互联网资源自动生成,部
未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的语言,是一阶逻辑的可判定子集。
声明:以例句、词性
类均由互联网资源自动生
,
未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑知识表示的形式化语言,
阶逻辑的可判定子集。
声明:以例句、词性分类均由互联网资源自动生成,部分未经过人工
,
表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种示的形式化语言,是一阶逻辑的可判定子集。
声明:以例句、词性分类均由互联网资源自动生成,部分未经
审核,其
达内容亦不代
本软件的观点;若发现问题,欢迎向我们指正。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描是一种知识
示的形式化语言,是一阶
的可判定子集。
声明:以例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其
容亦不代
本软件的观点;若发现问题,欢迎向我们指正。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是识表示的形式化语言,是
阶逻辑的可判定子集。
声明:以例句、词性分类均由互联网资源自动生成,部分未经过人
,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑种知识表示的形式化语言,
逻辑的可判定子集。
声明:以例句、词性分类均由互联网
动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。