查询词典 tableau

The corresponding tableau algorithm is also provided. The soundness and decidability of the tableau algorithm are proved. It is shown that the complexity of tableau algorithm is PSPACE-complete.

设计了ALCKR+的语法、语义以及表算法，给出了表算法的正确性以及可判定性证明，证明表算法的时间复杂度为PSPACE-complete。

This enhancing mode constructs a disjunctive normal form on concept expressions and keeps only one conjunctive clause, and then substitutes the obtained succinctest conjunctive clause for sub-concepts set in the labeling of nodes of a completion tree constructed by the tableau algorithm (such a process may be repeated as many times as needed).

该增强方式对概念描述先构建一个析取范式，并只保留其中的一个合取子句，然后用这个获得的最简的概念合取子句去取代传统tableau算法构建的完整树的结点标记中的子概念集（这个过程根据需要可重复多次）。

Tableau method with quantifiers in first order many valued logic exist uniform expansion rules, and sound and complete have been proved by Zabel et al .

含有量词的一阶多值Tableau方法具有统一的扩展规则，并由Zabel等人给出了可靠性和完备性的证明。

Many valued logic ; quantifier ; Tableau method ; upset/downset in set ; regular formula

多值逻辑；量词； Tableau方法；集合的上集/下集；正则公式

As one of effective automated reasoning methods, tableau has been applied to many important AI fields.

tableau作为自动推理的有效方法之一在许多人工智能领域中有重要的应用。

As one of effective automated reasoning methods, Tableau is applied to many important AI fields.

Tableau作为自动推理的有效方法之一，在许多人工智能领域中有重要的应用。

On the basis of the many-valued logics tableau reasoning,an automated reasoning expansion method based on set sign is presented.

在多值逻辑Tableau推理的基础上，提出了一种基于集合符号的自动推理扩展方法。

This paper presents a Tableau decision algorithm for the dynamic description logic D-ALCO.D-ALCO is a combination of the description logic ALCO,the dynamic logic,and an action theory based on the possible models approach.

以D-ALCO的构建过程为基础，将ALCO的Tableau算法、命题动态逻辑的Tableau算法以及对可能模型途径的处理有机地结合起来，给出了D-ALCO的Tableau判定算法，证明了算法的可终止性、可靠性和完备性。

This algorithm is designed in the style of tableau algorithms, which is usually used in classical description logics. The transformation rules and the process of this algorithm is described and optimized with three main techniques: recursive procedure call, branch cutting and introducing sets of mesne results.

该算法的设计参考用于经典描述逻辑的tableau算法；详细描述了EFALC的转化规则和推理算法的过程，并使用递归函数调用、分支裁减和引入中间结果集合这3种技术对算法进行优化。

For example, Tableau Software, co-founded in 2003 by Pat Hanrahan of Stanford University, does for visualising data what word-processing did for text, allowing anyone to manipulate information creatively.

比如，Tableau Software，于2003年由斯坦福大学的Pat Hanrahan同时创建，用于视觉化那些对文本进行文字信息处理的数据，允许任何人创造性地操纵信息。

Next time I see you,I shall give you a black eye.

下次我看见你，我会打你一顿。

In this paper,design scheme of classification system of wood surface color is established.

提出了木质板材颜色分类的系统设计方案。