用定性模空间和区间代数刻划了定性定量相结合的求解方法。
Used qualitative model space and interval algebra to depict the solving method combining the quality and quantity.
区间代数是一种用来进行定性时态推理的工具，它在人工智能中有着广泛的用途。
Interval algebra is a tool of qualitative temporal reasoning. It is widely used in artificial intelligence.
为了符合应用，关于时间的模型从离散的自然数和整数，延伸到稠密的线性实数，甚至扩展到区间代数和树代数。
The underlying model of time appropriate to the application can range from discrete natural numbers and integers to dense linear real numbers or to algebras of intervals and trees.
应用推荐