英语释义

1. capable of being decided specifically capable of being decided as following or not following from the axioms of a logical system
Was logic complete … ? And was it decidable, in the sense that there was a method that demonstrated the truth or falsity of every statement?
— Stan Augarten By the beginning of this century symbolic logic had progressed to such an extent that the German mathematician David Hilbert declared that all mathematical questions are in principle decidable …
— Gregory J. Chaitin

片语

decidable language可解语言

decidable subclass翻译

decidable subclause可判定子句

decidable problem可判定的问题

entscheidend decidable不可判定的

decidable algorithm判定算法

determinable可决定的

entscheidbar decidable不可判定的

recursively decidable递归可判定

decidable proposition[计]

英汉例句

• It describes the system using the functional unification grammar and also discusses the matching algorithm, syntax analysis and decidable problem analysis.

  使用了功能合一语法对描述系统，对系统中采用的匹配算法、语法分析及可判定性分析进行了讨论。

• Their algorithm to find extensions is considered to be more efficient than the existing reconstruction procedure, and it is decidable .

  我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的。

• The restricted set of terms, becomes decidable , and moreover can be implemented very efficiently.

  受限制的条款规定，成为可判定，并而且能非常有效地实施。

• Reasoners for OWL DL, while dealing with a decidable sublanguage, will be subject to higher worst-case complexity.

  而OWLDL的推理机处理的尽管是一个可判定的子语言，会有更高的最坏情况复杂度。

• Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

  描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。

• Description Logics (DLs) is a decidable subset of first-order predication logic which possesses powerful function of knowledge expressing and reasoning.

  描述逻辑是一阶谓词逻辑的可判定子集，具备强大的知识表示和推理功能。

• We proved that the new paraconsistent tableau algorithm is decidable and has the same reasoning ability with the classical Description Logic over consistent ontologies.

  证明了该算法是可判定的，而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。