Кортеж, включающий в себя два непересекающихся множества нетерминальных N и терминальных A символов:

Кортеж, включающий в себя множество R правил вида a →​ b, где :

Грамматика G=<N,A,R,s> — это кортеж, включающий в себя:

Что должен включать в себя кортеж, называемый грамматикой G=<N,A,R,s>?

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

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

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

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

Аналогом какого предиката является в данном фрагменте программного кода Prolog предикат x? x(P) :- P, !, fail. x(_).

Укажите условное обозначение утверждения, что формула B следует из формулы A:

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