| 1. | We put forward a new intelligent planner btff based on the enforced hill - climbing and helpful action ordering
有用动作排序使规划图和状态空间搜索更好地结合在一起。 |
| 2. | This paper presents the mathematical model and the general algorithms of transforming combinatorial problem into state space search
本文提出了将组合问题归结为状态空间搜索问题的数学模型和通用算法。 |
| 3. | Firstly the idea of the general searching algorithms is to define one accurate compute model . then the state space searching algorithms a based on the compute model are submitted
通用搜索算法的思想是首先为状态空间定义一个精确的计算模型，然后提出建立在该计算模型上的状态空间搜索算法a 。 |
| 4. | Most artificial intelligent planning algorithms are based on planning graph or state space search . ff based on both planning graph and heuristic state space search and performed standout in the 2nd and 3rd international planning competition
Ff规划器将规划图和启发式状态空间搜索原理进行了很好的结合,在两届ipc ( internationalplanningcompetition )中取得了优异的成绩。 |
| 5. | Searching of the state space is always being one of the usual ways for solving the optimal problems . the traditional ways of finding solutions only have backtracking , branch - and - bound and implicit graphs search as their theoretical introduction
状态空间搜索是解决优化问题的常用方法之一，传统的状态空间搜索求解技术有回溯法和分支限界法以及隐式图搜索这些算法策略作为理论指导。 |
| 6. | The method of model checking is a formal verification technique using the method of state - space search to verify if the behaviors of a given system ( the model ) satisfy a certain property that represented by temporal logic formulas , while the system presented as a kripke structure
它通常采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个用时序逻辑公式表示的特定属性。它是一个自动检验有限状态并发系统的技术。 |
