1) tree search engine
约束推理机
1.
Constraint tree search engine is the core of constraint programming and includes variables,constraint filters,store and propagation engine.
在CLP中约束推理机是核心,由变量组、约束过滤器、临时容器、推理引擎组成。
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) FS confinement mechanism
约束机理
1.
The behavior of fiber sheet (FS) confined square and rectangular concrete columns under axial compressive force and the FS confinement mechanism were studied by tests of 29 FS confined concrete columns and 2 reference concrete columns and by three dimensional nonlinear finite element analysis.
通过29个纤维布(FiberSheet,FS)约束混凝土柱和2个混凝土对比柱的轴心受压试验,以及FS约束混凝土柱的三维非线性有限元分析,研究FS约束混凝土矩形截面柱的轴心受压性能和FS的约束机理。
4) assembly constraint reasoning
装配约束推理
5) 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),并举例说明其能够作为实时领域内常识推理的逻辑基础。
6) deferred constraint
推迟约束
补充资料：约束推理
约束推理
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)将上述技术结合起来的集成技术。 约束表示广泛地应用于人工智能的各个领域，包括定性推理、基于模型的诊断、自然语盲理解、景物分析、任务调度、系统配置、科学实验规划、机械与电子设备的设计与分析等。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条