查询词典 disjunctive proposition

To tackle this problem, a novel Complete Disjunctive Normal Form algorithm was presented to check the satisfiabilities of acyclic ALCN-concepts.

为此，提出了一个全新的对非循环定义的ALCN-概念可满足性进行判断的完全析取范式算法。

The normal form can mirror innate characters and value distribution of well formed formula, and perfectly solve the problem about complete disjunctive normal form in MP .

该范式分为三个部分，即真值项、清晰项和矛盾项，它能够反映合式公式的本质特征及取值分布情况，为规范化研究该系统中的合式公式提供了一种工具，较理想地解决了MP＊中的析取范式问题。

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算法构建的完整树的结点标记中的子概念集（这个过程根据需要可重复多次）。

If so, or if it is indeterminate, then the disjunctive analysis is not right.

如果是，或如果这是不确定的，那么析取分析就不是对的。

There existed disjunctive effect on the college students in the process of disjutactive reasoning under uncertainty.

3大学生被试在不确定情景下的决策出现了析取效应。

Having to reload a page every time you want to do something is very annoying, disjunctive and extremely time-consuming for the user.

在重新载入网页每一次你想做些什么是很烦人的，反意，非常费时的用户。

Under general circumstance these two kinds of attributes of the marriage are united, but in some time, because various reason usually is disjunctive.

一般情况下婚姻的这两种属性是统一的，但在有些时候，由于各种原因往往是分离的。

The theory model and architecture of AOAIS: the disjunctive reasons between theory and realization of agent are analyzed.

敏捷制造是适应全球动态环境下二十一世纪的一种制造模式，敏捷信息系统是实现敏捷制造的关键之一。

Disjunctive default logic : the consequence of a default is a set of formulae instead of a single formula.

析取缺省逻辑：缺省的结论是公式的集合而不是单一的公式。

This thesis is divided into six chapters.Chapter one is the foreword on the significance of this disjunctive, and it introduces the current situation of the selected topic, the thought and methods of research.

全文共分为六章：第一章为引言部分，提出本文的选题背景和研究意义，并对选题的研究现状、研究思路和方法进行简要介绍。

We are forbidden from giving money to these shoeless, skinny children, as this will perpetuate begging.

向光着脚，骨瘦如柴的孩子施舍是不可以的，因为要招来无休无止的乞讨。

It would be hard not to fall victim to some sharpeyed policeman.

要想不被某个目光锐利的警察抓到，谈何容易。