AND/OR TREE
и/или дерево. Дерево, вершины которого представляют утверждения и делятся на два класса: утверждение, соответствующее вершине первого класса (вершине типа И (beta-node)) истинно, если истинны утверждения, соответствующие всем дочерним вершинам (child node); утверждение, соответствующее вершине второго класса (вершине типа ИЛИ (alpha-node)) истинно, если истинно хотя бы одно из утверждений, соответствующих дочерним вершинам.