1) temporal constraint reasoning
时态约束推理
1.
In this paper we propose an integrated reasoning scheme ASP~x that sub- sumes nonmonotonic and temporal constraint reasoning.
在本文中我们提出一种整合的推理模式ASP~X,它同时支持非单调推理及时态约束推理,本文展示了它的语法,语义及复杂性分析,除此以外,我们详细研究了它的一个实例化的框架ASP~(DLR),并举例说明其能够作为实时领域内常识推理的逻辑基础。
2) constraints inference
约束推理
1.
In XML application field, constraints inference is a security attack measure, which is more dangerous and hidden than other measures.
约束推理被用于获取访问受限的敏感信息时,就形成推理攻击。
3) temporal constraint
时态约束
1.
This paper discusses associated rules based on temporal constraint.
本文探讨了一类具有时态约束的关联规则的有关问题。
2.
This method on the basis of Apriori algorithm, lead into the temporal constraints, make it is more the body the characteristic of the data of TGIS now.
提出了一种分析带时态约束条件的关联规则挖掘研究方法,该方法在Apriori算法的基础上,引入时态约束,使之更加体现TGIS数据的特性。
4) tree search engine
约束推理机
1.
Constraint tree search engine is the core of constraint programming and includes variables,constraint filters,store and propagation engine.
在CLP中约束推理机是核心,由变量组、约束过滤器、临时容器、推理引擎组成。
5) temporal reasoning
时态推理
1.
A visualized temporal reasoning method;
一种可视化的时态推理方法
2.
The development of temporal reasoning and spatial reasoning is discussed from three aspects: Ontology, representation model and reasoning methods, and the research progress of spatio-temporal reasoning is summarized.
从本体、表示模型和推理方法3个方面分别介绍了时态推理和空间推理的发展,并在此基础上综述了时空结合推理的研究进展。
3.
This paper presents a temporal reasoning algorithm about multi-level hierarchy which isused for plan recognition.
提出了一个用于规划识别的多层次时态推理算法。
6) assembly constraint reasoning
装配约束推理
补充资料：约束推理
约束推理
constraint reasoning
yueshut以111约束推理(~traint~ing)一种基于关系农达式的一致性推理。含有变量的关系表达式称为约束。约束给定了问题的有关限制。约束推理的目标就是求满足所有这些限制的解，因而约束推理也称约束满足问题。在一般情况下，这种求解需要在状态空间中搜索。约束推理研究的内容主要包括各种有效的搜索策略及约束的表示。 约束推理最早起源于计算机景物分析的研究，约束用来定义对图元(如线段)的一致的解释。为了解决解释的歧义性问题，D.Walts提出了基于弧一致性的约束传播技术。这种技术后来发展成为著名的弧一致算法AC3及其多种推广形式。R.Stall-山an与G.J.阮韶叮妞n用约束来表达电路与机械设备的功能与结构，并实现了依赖制导的回溯技术。约束传播与智能回溯成为后来约束推理的主流技术。 ·约束满足问题可形式地定义如下:给定:①变量的一个有限集合V，每个变量都对应一个离散有限集合，称为该变量的域;②关于V中变量的约束的一个有限集合C，每个约束定义于V的有限子集并限定该子集中变量由其域中取值的组合。 求:对V中所有变量的一个(或多个)赋值，使得C中所有约束都得到满足。 如果所有的约束都是二元或一元的，则变量间的约束相关关系称为约束满足问题的约束图。 求解约束满足问题的传统方法有: (1)回溯法依次对各个变量赋值，并及时对各约束求值，每当发现约束不满足时，回溯到一个已赋值的变量，重新选择其值。其中最简单的有顺序回溯法;较复杂的有各种智能回溯技术，包括回跳法及真值维护系统。 (2)约来怜播在约束图上传播变量取值的限制，主要有值的传播与域的传播。最常用的技术是弧一致性算法。 (3)动态确定变量的赋值次序其中一个最有效的启发式是选择当前域最小的变量赋值。 这些技术的研究至今仍很活跃。此外，最新的研究方向还包括: (l)结构启发式研究约束图的拓扑结构及其在启发式搜索中的作用; (2)默认约束及软约束的求解，如部分约束满足; (3)修正法搜索运用爬山法技术，通过不断修正各个变量的取值，逐渐减少违反约束的个数，直至为零; (4)连结主义搜索运用神经网络技术求解约束满足问题; (5)将上述技术结合起来的集成技术。 约束表示广泛地应用于人工智能的各个领域，包括定性推理、基于模型的诊断、自然语盲理解、景物分析、任务调度、系统配置、科学实验规划、机械与电子设备的设计与分析等。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条