decidable翻译_decidable短语搭配_decidable权威例句

柯林斯词典

同近义词

• adj.[数]可决定的

  determinable

词组短语

1. decidable subclass 计 可判定子类

2. decidable language 可解语言

3. decidable proposition 计 可决策命题

4. entscheidend decidable 不可判定的

5. recursively decidable 递归可判定

6. partially decidable problem 部分可解问题

7. decidable subclause 可判定子句

8. semi-decidable 数 半可判定的

9. entscheidbar decidable 不可判定的

权威例句

1. First the safety problem in general UCONA models undecidable, then showed the UCONA model with finite attribute domains and without creating policies to be decidable.

然后在限定属性值范围和无生成策略的条件下，说明了安全问题的确定性；

2. The knowledge specification structure of description logic and the task semantic used in the logic of tasks are combined together in the description logic of tasks. Thus it can provide powerful specify capability and it is decidable.

该逻辑系统将描述逻辑中的知识表示结构和任务逻辑所使用的任务语义结合，表达能力强。

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

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

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

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

5. Because of making decidable description logic as knowledge representation and having formal modeling language, Ontology becomes a general knowledge representation model.

由于本体以可判定的描述逻辑作为知识表示方式，具有形式化的建模语言，使得本体逐渐成为一种通用的知识表示模型。

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

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

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

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

8. At the beginning of the decade 80 ′ s, and as a direct consequence of Karp and Lipton, the class of sets which are decidable by polynomial sized circuits has caused wide attention, and a lot of interesting results have been obtained.

80年代初，人们广泛关注被多项式大小的线路可判定的集合类并且得到了许多有趣的结果。

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

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

10. And thirdly, was mathematics decidable?

第三，数学是可判定的吗？

11. The propositional calculus system ( MP~) is decidable. Inconsistency of the classical axioms in fuzzy propositional calculus

A在MP~中是否成立的算法。由此MP~是可判定的。经典公理系统在模糊命题演算中的不和谐性

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

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

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

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

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

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

15. The main work in this part is to present a decidable and more power language by extending DLs with whole structure.

本文用整体结构来扩展描述逻辑，得到表达能力更强同时可判定的描述语言。

16. In contrast in intensional Type Theory type checking is decidable, but the representation of many mathematical concepts is non-standard due to a lack of extensional reasoning.

相反的，在内涵类型论中，类型检查是可判定性的，但是很多数学概念的表达是不标准的，因为缺乏外延推理。

17. Power system parameter variations have great influences on system stability and it is important to know which parameter variations are more decidable to system stability.

电力系统参数的变化对系统稳定性有很大的影响，如何确定这些参数的变化在给定故障情况下对系统稳定性的影响、改变哪些参数对系统稳定性影响更大具有重要意义。

18. A decidable algorithm for inclusion of quasi-algebraic varieties

拟代数簇包含关系的判定算法

19. You can validate absolutely any string that conforms to any decidable set of rules.

您可以彻底检查任何字符串是否符合任何可确定的规则集。

20. We prove that the well limit behavior can be used to get sufficient conditions for an infinite object to be limit decidable.

本文发现了统一的充分条件保证可以使用极限判定方法，这一充分条件正是形式系统序列的良极限行为。

21. Secondly, economy based on knowledge and technology, the economic benefit will drive knowledge and technology so that to become the decidable factors of development.

第二，当代经济已进入到知识和技术为基础的经济时代，但经济利益仍是驱动着知识与技术成为发展的决定性因素；

22. The services theory based on description logic in intelligent Web is presented which has explicit semantics, provides decidable reasoning service and supports effective representation and reasoning of the dynamic process and running mechanism.

它具有清晰的语义特征，既提供了可判定的推理服务，又能有效地对动态知识和运行机制进行表示和推理，可以为智能Web的服务提供合理的逻辑基础。

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

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

24. The first-order theory of a complete binary tree is decidable by the quantifier elimination, we also know the CB rank of elements of a complete binary tree.

完全二叉树的一阶理论已被证明具有量词消去的性质，进而计算了完全二叉树模型中元素的CB秩。

25. Description logics are fragments of the first-order logic, which contain concepts, roles, and concept and role constructors; and have features of strong expressivity and decidable reasoning.

描述逻辑是包含了概念、角色以及概念和角色构造子的一阶逻辑的子逻辑，具有表达能力强且推理可判定的特征。