查询词典 interval algebra

In the temporal reasoning, if interval algebra is combined with interval matrix, the computing efficiency is improved, and the temporal representation keeps visual and comprehensive as well.

在一维时态推理中，将时态的区间表示和矩阵表示相结合，在提高计算效率的同时，保持了形象直观的时态表示。

Interval algebra is a tool of qualitative temporal reasoning. It is widely used in artificial intelligence.

区间代数是一种用来进行定性时态推理的工具，它在人工智能中有着广泛的用途。

Interval Algebra is a temporal theory, which is independent from specific applications.

区间代数是一种独立的与领域无关的时态理论。

Used qualitative model space and interval algebra to depict the solving method combining the quality and quantity.

用定性模空间和区间代数刻划了定性定量相结合的求解方法。

First, the interval algebra of James Allen is modified to introduce intervals of infinite length.

我们首先讨论James Allen的时区代数结构，并对其进行了扩充。

Based on the modified interval algebra, an interval based temporal logic TL is constructed, its semantics is rigorously defined.

在扩充后的时区代数结构的基础上，构造一种基于时区的一阶时态逻辑语言TL，并为TL规定了语义。

A vector named as relation vector to describe relations existing between intervals presented is used by Allen in his Interval algebra theory.

文中为Allen的区间代数理论中区间的关系表达提出了向量表示法，称之为关系向量。

Established the qualitative algebra space: proposed the symbol algebra and interval algebra space and applied them to the qualitative reasoning; proposed qualitative logic algebra and applied it to the multi-logic problems.

建立了定性代数空间，提出了符号代数和区间代数空间并分析了在定性推理中的应用；提出了定性逻辑代数空间，并应用于物理量之间的多值逻辑问题。

This paper takes advantage of interval algebra and rectangle algebra theories. and brings forward a new reasoning method based on combination of the MBR model's cardinal direction relation and rectangle algebra relation; And provides the composing method based on the direction relation matrix by using the direction relation matrix to denote the direction relations between the objects'MBRs.

本文以物体的MBR为模型，利用区间代数及矩形代数理论，提出了一种基于MBR的主方向关系与矩形代数关系相结合的推理方法；同时利用方向关系矩阵表示物体MBR之间的方向关系，得到了基于方向关系矩阵的组合推理方法。

Uncertain temporal relations can be represented and reasoned by IA. IA has strong expressive ability in tense, and it can represent all natural temporal relations. At the same time, temporal relation represented by IA is highly visual and comprehensive. In additional, IA has been extended from one-dimension temporal area to two-dimension spatial area, that is to say, interval algebra can be developed to rectangle algebra for two-dimension reasoning.

用区间代数能表示不确定的时态关系，可以很方便地用于时态推理，表达能力强；时态关系的区间表示比较直观，可理解性强；同时区间代数可以进一步扩展到二维空间领域，即将区间代数拓展为矩阵代数，实现二维空间推理。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了