...c function, aka indicatorfunction)：设AB ，则A关于B的特征函数FA: B → {0, 1} 定义如下： 对于任意b∈B 可判定的(decidable)：A关于B是可判定的，当且仅当A的特征函数是可计算的。
基于12个网页-相关网页
该定理揭示了在一个相容形式系统中存在着不可判定的命题。
This theorem reveals that there exist undecidable propositions in a consistent formal system.
我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的。
Their algorithm to find extensions is considered to be more efficient than the existing reconstruction procedure, and it is decidable .
而OWL DL的推理机处理的尽管是一个可判定的子语言，会有更高的最坏情况复杂度。
Reasoners for OWL DL, while dealing with a decidable sublanguage, will be subject to higher worst-case complexity.
应用推荐