|
|
|
|
|
|
|
|
|
Вывод прямой
| Глоссарий по искусственному интеллекту |
Вывод, ведущий от исходных аксиом к целевому выражению. при в.п. из-за неоднозначности выбора применимы аксиом и правил вывода образуется дерево решений и процесс нахождения цепочки, ведущей от исходных аксиом к целевому выражению, является переборным. стандартной процедурой, используемой при обходе дерева решений, является процедура возврата - бектрекинг.
|
|
Бектрекинг, русский
Процедура возврата при поиске на некоторой структуре (например, поиск по дереву решений или в лабиринте). при движении по структуре часто возникает необходимость, когда выбранный путь оказался неудачным или тупиковым в возврате к месту разветвления процесса поиска. для ускорения возможности возврата в последнюю точку ветвления ее координаты следует хранить в памяти. для хранения совокупности вложенных друг в друга по старшинству точек ветвления используются специальные стековые регистры.
|
Вывод на знаниях, русский
Вывод, использующий в качестве посылок выражения, хранящиеся в базе знаний в.н.з. может быть достоверным, если эти выражения являются достоверным, или правдоподобным или снабжены оценками правдоподобия. как правило, процедуры в.н.з. включают поиск необходимых знаний для вывода, т.е. процедуру поиск по образцу.
Доказательство конструктивное, русский
Вывод утверждения в логическом исчислении, который обеспечивает явное построение всех элементов, участвующих в выводе. таковым не является, например, широко распространенный способ доказательства "от противного", используемый в классической математике.
|
|
|
|
|
|
|
