Подцель
Cтраница 3
Попытка унифицировать подцель с фактом ( 2) терпит неудачу, поскольку вино и шоколад1 не унифицируемы. Порядковый номер дизъюнкта ( 2), по отношению к которому была предпринята унификация, запоминается. [31]
Первые две подцели согласуются путем сопоставления с утверждениями для предиката военный / 2, которое продуцирует следующие подстановки: М - - сержант и С - - полковник. [32]
Все эти подцели не являются завершающими. Они допускают дальнейшую конкретизацию. Каждая из выявленных основных подцелей детализируется до тех пор, пока в ответах не начинают формулироваться возможные варианты достижения анализируемой цели. Выявленным целям всех уровней должны быть поставлены в соответствие конкретные мероприятия, обеспечивающие достижение этих целей. [33]
Если эта подцель достигнута, появляется новый объект А, который ( как можно надеяться) уже не обнаружит более различия D при сличении с В. Затем создается новая подцель - преобразовать Л в В. Если преобразование удается, конечная цель достигнута за два шага: от Л к Л и от А к В. [34]
Если некоторая подцель состоит из двух или более формул, то она называется составной. На рис. 2, а показана часть дерева решения с составными подцелями. [35]
Если из подцели Sm невыводима ни одна подцель, то вычисление считается конечным. [36]
Общее определение подцелей, достижение которых необходимо для достижения цели. [37]
Это взаимодействие подцелей обеспечивает систему NOAH достаточной информацией для упорядочения задач. Если бы этапы были упорядочены произвольным образом и лестница была покрашена первой, то система должна была бы запланировать, как обойти в плане такую пачкающую лестницу, возможно, выжидая, пока краска подсохнет. [39]
Генерируется ряд подцелей, которые целиком содержатся внутри блока. [40]
Третий уровень подцелей определяет основные направления работ: 1.1.1. Провести научно-исследовательские работы. [41]
Для отбрасывания подцелей, вероятность которых оказаться полезными для доказательства мала, используются эвристические правила. Они выбирают из оставшихся подцелей ту, с помощью которой продолжается поиск. Кроме того, они выбирают конкретные аксиомы и теоремы, используемые для вырабатывания новых подцелей. В ряде случаев ( например, при непрямом доказательстве) машина отходит от такой процедуры, но эти случаи составляют лишь малую часть в общем времени поиска. [42]
Для выявления подцелей 2-го уровня ставится вопрос, который следует из цели С: Что надо знать о личности врачу-психиатру. [43]
Каждая из перечисленных подцелей складывается, в свою очередь, из ряда других подцелей. Например, подцель 2 Нормальные еаннтарно-1 in иеническне условия и соответствующее емнитарно-быгонос обслуживание. [44]
В качестве подцели восприятия может быть, например, выделение из всей информации только полезной информации, причем в количествах, достаточных для получения определенной стегсни осведомленности о структуре, составе и свойствах управляемой подсистемы. [45]
Страницы: 1 2 3 4