Анализ дерева перехода

Анализ дерева перехода

На чем основана наша уверенность, что выбранная тактическая цель устранит стоящее на пути препятствие? Действительно ли некоторое препятствие мешает достижению промежуточной цели? Чтобы узнать это, необходимо проанализировать все построение, как мы это делали с другими логическими деревьями ТОС.

КПЛП позволяет проверять схемы и диаграммы с точки зрения достаточности причин для логических переходов (т. е. основной вопрос, достаточно ли указанной причины для появления данного следствия). Но ДП и ДРК используют при развертывании только принцип необходимости причин без проверки на достаточность. В дереве перехода исследуются условия, необходимые (но не обязательно достаточные) для преодоления препятствия, стоящего на пути к цели.

Проверяя логику достаточности причины, мы спрашиваем, например: «Достаточно ли у нас оснований для вывода, что один плюс один равно два?» Когда же речь идет об обязательности некоторого условия для наступления следствия, то вопрос должен ставиться по-другому: «При каких условиях сумма двух единиц не будет равняться двум и что мы можем сделать, чтобы этого не случилось?» И все же анализировать дерево перехода придется несколько иначе, чем дерево текущей реальности. Мы будем проверять, существует ли препятствие и пригодны ли указанные способы для его нейтрализации.