查询词典 decidable

The well limit behavior can be used to get sufficient conditions for an infinite object to be approximable, for a theory to be limit decidable and for an incremental computation to be correct.

良极限行为可以用于获得如下无穷形式对象可逼近的充分条件、使用极限判定方法的充分条件和增量式计算正确性的充分条件。

Then the satisfiability of DTITL is equivalently transformed to the same problem for SFO. Since the decidability of SFO can be transformed to the satisfiability of the propositional interval temporal logic, so SFO is decidable.

利用多个命题变量等价表示有界整数，把SFO的可满足性判定问题等价转换为可判定的命题区间时序逻辑的判定问题。

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.

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

Aimed to two major problems: one is not decidable and the other is no clear semantics. We construct a framework with explicit representation and formal semantics of goalsgoal description logics, which integrates two types of goals: declarative goals and procedural goals into one concept based on description logics. In addition, the goal plan is defined and analyzed, and some reasoning problems, such as goal consistency and goal satisfiability, are discussed. Contrary to traditional ways of goal description, GDLs can bridge the gap between theory and practice in a natural way.

针对传统的目标描述中存在的不可判定性以及没有清晰的语义等问题，在描述逻辑(description logics，DLs)上，将宣称型和过程型2种类型的目标描述有机地整合在一起，从而构建了具有清晰语义与可判定性的形式化框架--目标描述逻辑(goal description logics， GDLs)，在此基础上，定义了该框架下有关规划规则；建立了可用于判定目标一致性、目标可满足性的方法，与传统的目标描述方法相比，目标描述逻辑为主体领域模型提供了一种更有力的形式化工具，同时为智能主体的模型和设计提供了很好的理论工具。

For this, it is generally required that each individual proof step can be verified by a primitive recursive function or program, and hence the problem is always decidable.

为此，人们普遍要求每个证明步骤可以验证的原始递归函数或程序，因此这个问题始终是判定。

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

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

Finally, by discussing the concept of action, this paper tries to show that people aren't completely decidable. But this undecidability should be comprehended in the context of self-understanding. The author's personal view is that self-understanding is the demonstration of self-realization.

最后将透过对行动概念的讨论，说明人的不可完全决定性，但这个不可决定性必须在人对自我理解意义上来理解，个人以为自我理解就是人的自我实现的具体呈现。

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

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

As an applied example, we have developed"Intelligent Management and Decidable Information System for Ceramics Enterprise".

财务管理子系统在整个智能管理系统中占有重要地位，本文研究了财务管理子系统的递阶结构，给出了智能化财务信息决策支持功能的设计思想和实现方案。

In particular, most properties are decidable inpolynomial time.

特别地，大部分特性是多项式时间内可判定的。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。