Если для алгоритма поиска А выполняется условие, что h(x) больше либо равен нулю, но меньше либо равен h*(x), то:

Если для всех вершин графа x имеет место h₁(x) больше либо равен h₂(x), в этом случае:

Если для любых вершин u,v лежащих на одном пути, |h(u)-h(v)| меньше либо равен стоимости пути от u до v, то:

Если для формул A и B, в любой интерпретации, для которой истинно A, оказывается истинным и B, то:

Как называется грамматика в классификации по Хомскому, если все правила грамматики имеют вид α →​ a либо α →​ , где , ?

Алгоритм эвристического поиска с функцией h₁(x) называется более информированным по сравнению с алгоритмом с функцией h₂(x), если:

Подстановка называется унификатором для формул или термов F и G, если:

Если в весовой функции алгоритма А принять h(x)=0, то:

В каком алгоритме поиска в качестве весовой функции при выборе направления поиска принимается функция f*(X) = g*(X) + h*(X)?

В каком алгоритме поиска в качестве весовой функции при выборе направления поиска принимается функция f(X) = g(X) + h(X)?

Формула B следует из формулы A, если: