Дерево семантическое замкнутое

Вершины семантического дерева, в которых впервые обнаруживается непригодность данной интерпретации для вывода F (удовлетворения SP), обычно принято называть неблагоприятными. Если все дуги, выходящие из некоторой вершины дерева, оканчиваются в неблагоприятных вершинах, то говорят, что для данной вершины дерево замкнуто. Если оно замкнуто для корневой вершины, то это свидетельствует о невыполнимости SF, т. е. о невыводимостп F.  [c.231]


Метод резолюции состоит в том, что имеется процедура постепенного подъема вверх по семантическому дереву, в результате которой неблагоприятные вершины поднимаются вверх по ярусам дерева. Подъем происходит до тех пор, пока это возможно. Если таким путем удастся дойти до корневой вершины, т. е. сделать все исходное семантическое дерево замкнутым, то тем самым будет доказана невыводимость F.  [c.231]

Ситуационное управление теория и практика (1986) -- [ c.231 ]