查询词典 decidable

Thus it can provide powerful specify capability and it is decidable.

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

Thus, the satisfiability of DTITL can be proved to be decidable.

解决了DTITL的可满足性判定问题。

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

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

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

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

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

我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的。关键词Petri网，推理维护系统，非单调

Description logic is the decidable fragment of the first order logic and suitable for modeling the concept terminology of domain knowledge.

描述逻辑是一阶逻辑的可判定子集，适合对领域知识的概念术语进行建模。

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

1引言 描述逻辑是知识表示的一种形式化语言匡，适合表示关于概念和概念层次结构的知识，因此也叫做概念表示语言和术语逻辑。

According to parameterized complexity theory, a decidable parameterized problem is fixed-parameter tractable if and only if it can be kernelized.

在参数计算与复杂性理论中，一个参数问题是固定参数可解的问题当且仅当该问题是可核心化的。

One of them is that it is not decidable and the other is that all the task knowledge in it has to be defined on an abstract logic level so it can not describe the concrete attributes of tasks.

其中，计算逻辑属于交互计算理论[4]，进程代数主要描述进程之间的通信，属于并发计算理论，两者都不太适合描述主体之间的资源交互。

Some of definitions on weak attractiveness and relevant decidable theorems are obtained in the paper by extending the definition of attractiveness of equation solutions and concrete example is also given.

通过放宽方程解的吸引性定义，得出了几个关于弱吸引性的定义和相关的判定定理，并给出具体实例。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。