英语词汇decidable logic怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

可决定的逻辑

以上为机器翻译结果，快速获取精准的人工翻译结果，建议选择有道人工翻译

1
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。
2
Description Logics (DLs) is a decidable subset of first-order predication logic which possesses powerful function of knowledge expressing and reasoning.
描述逻辑是一阶谓词逻辑的可判定子集，具备强大的知识表示和推理功能。
3
We proved that the new paraconsistent tableau algorithm is decidable and has the same reasoning ability with the classical Description Logic over consistent ontologies.
证明了该算法是可判定的，而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。

单词	decidable logic
释义	decidable logic 翻译可决定的逻辑以上为机器翻译结果，快速获取精准的人工翻译结果，建议选择有道人工翻译网络释义短语 1 decidable logic system 可判定逻辑系统双语例句 1 Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic. 描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。 2 Description Logics (DLs) is a decidable subset of first-order predication logic which possesses powerful function of knowledge expressing and reasoning. 描述逻辑是一阶谓词逻辑的可判定子集，具备强大的知识表示和推理功能。 3 We proved that the new paraconsistent tableau algorithm is decidable and has the same reasoning ability with the classical Description Logic over consistent ontologies. 证明了该算法是可判定的，而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。
随便看	wrap drivebar wrape wrap finger wrap forming wrap in wrap in cotton wool wrap it up wrap jack wrap lease wrapling Wrap Long Lines wrap machine wrap mode wrap model wrap oneself in the flag wrap over wrap over wrapover wrapover apron WRAPP wrappable wrappage wrappage wrap pants wrap party