Cтраница 2
Вы имели возможность убедиться, что такие программы диагностирования, как INTERNIST, фактически используют методику решения задачи конструирования. Элементами решения являются отказы, которые объединяются в составную гипотезу. Таким образом, оказывается, что нет никакого смысла заранее нумеровать узлы пространства решений, поскольку пациент может страдать десятью и более заболеваниями. Более того, в общем виде проблема отыскания наилучшего объяснения имеющемуся набору симптомов относится к классу необозримых. Без использования мощного механизма концентрации внимания программы на определенном участке пространства не удается отыскать даже приблизительное решение проблемы. Поэтому для решения подобных задач дифференциального диагностирования используются средства, типичные для задач конструирования. [16]
Описанная модель строения атома водорода представляет собой последнее звено в длинной цепи развития. Основываясь на модели Дальтона, Томсон ввел представление о том, что атомы состоят из электрически заряженных частиц. В конце концов квантовоме-ханическая модель, рассматривающая электроны в атомах как стоячие волны, позволила дать наилучшее объяснение явлений, которые будут обсуждаться в последующих главах этой книги. [17]
Первые два типа имеют меньшее значение, я относительно их происхождения не имеется удовлетворительного объяснения. Третий тип встречается главным образом на заливных равнинах рек и лучше всего объясняется погребением льда при весенних разливах. Подобно третьему типу он образовался, вероятно, последовательным отложенчием льда. Для пятого, ново-1 сибирского, типа не найдено удовлетворительного объяснения; автор-полагает, что теория клиньев является наилучшим объяснением. [18]
Если использовать понятия формальной логики, то под частным утверждением понимается фундаментальная формула, не содержащая ни свободных, ни связанных переменных. Абдуценты также представляются лишь фундаментальными формулами. Если же заключение не является фундаментальной формулой, то такой вывод называется индуктивным. Абдуктивный вывод может привести к ложным заключениям даже при истинных посылках, поэтому его заключение и называется гипотезой. Проблема заключается в том, что обычно не все объясняющие выводы с фундаментальными заключениями считаются абдуктивными, так как для этого они должны предлагать объяснение, лучшее, чем все другие объясняющие выводы. Как уже отмечалось, смысл термина наилучшее объяснение определяется критериями, зависящими от домена приложения. Поэтому не удивительно, что существует так же много различных интерпретаций термина абдукция, как и критериев оценки гипотез. [19]