查询词典 decidable
- 与 decidable 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
In the locational conditions, some have no relation, some have decidable function on the locational selection will which are called locational factors.
区位条件有的对区位选择意志起决定作用，有的毫无关系，那些起作用的区位条件就称为区位因子。
-
These dynamic description logics provide decidable reasoning mechanisms for the result of action execution. However, the procedure of action execution can not be described and reasoned about according to these logics.
在将语义Web服务建模为动作之后，动态描述逻辑从动作执行结果的角度提供了丰富的推理机制，但对于动作的执行过程却不能加以处理。
-
In the former representation, if no restrictions are imposed on formulas, then there is no algorithm to realize the reasoning in the resulted knowledge base; in the latter representation, the reasoning in the ontology represented by the description logic is decidable, while in general, for mathematical knowledge described by the first order logic which contains the ontology represented by the description logic, there is no algorithm to realize its reasoning.
在前者的表示中，如果对公式不作任何限制，那么得到的知识库中的推理不是可算法化的；在后者的表示中，以描述逻辑描述的本体中的推理是可算法化的，而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的。
-
Decidable and undecidable problems, reducibility, recursive function theory.
本课程比18.400J 自动机、可计算性和复杂性涉及面更广、更理论化。
- 推荐网络例句
-
Objective To investigate the effects of interleukin-1 β converting enzyme gene on the biologic characteristics of ovarian cancer cells.
目的 探讨白细胞介素-1 β转换酶的表达，对卵巢癌细胞生物学特性的影响。
-
Campylobacter: This illness is the most commonly identified cause of diarrheal illness in the world.
弯曲：这种病是最常见的原因查明腹泻病，在世界上。
-
Gangs fill the daily lives of many of our poorest and most vulnerable citizens with a terror that the court does not give sufficient consideration, often relegating them to the status of prisoners in their own homes.
法院没有充分的考虑到黑社会的猖獗所带来的恐怖，这使得我们最穷、最可怜的市民每天生活在他们的阴影当中，成为在家的囚犯。