Программа Паскаль Михальски и Ларсона

Рубрики: История IT, Программы   Комментарии (0)

Программа Паскаль Михальски и Ларсона довольно успешно справилась с поиском правил для решения этой головоломки. Для начала программе следовало дать описание всех рассматриваемых поездов на языке, с которым она умела бы работать. В качестве такого языка был выбран упрощенный вариант исчисления предикатов первого порядка. Пользуются им приблизительно так же, как алгеброй. Исчисление предикатов предполагает существование переменных, служащих для выражения различных высказываний (каждое из которых может быть истинным, ложным или неопределенным), связок, соединяющих переменные (типа «и», «или», «не», «если, то» и т. п.), правил пользования скобками и кванторов («для всех» и «существует»). В совокупности эти средства представляют собой инструмент исключительной силы и универсальности — перечисленные здесь переменные можно интерпретировать почти произвольным образом.

Сами поезда описывались для программы с помощью одиннадцати дескриптеров (средств описания), относящихся либо к вагонам, либо к находящемуся в них грузу.

Исходя из этого описания, программа сама смогла вывести дополнительные средства отбора (селекторы), такие, как число вагонов в поезде или место каждого вагона в составе. После этого она приступила к построению обобщений данных о составе, используя для этого «метаселекторы», построенные на основе исходных данных. Одни из этих метаселекторов оказались более удачными, другие — менее. После этого программа стала составлять из полученных обобщений последовательность «незавершенных звезд» и обрабатывать их, устраняя возникающие внутренние противоречия до тех пор, пока она не приходила к готовому правилу. Более того, программа сама могла судить о простоте полученного правила, подсчитывая число элементов, в нем используемых. (Стремление к простоте в экспериментальных науках отражает так называемый принцип «бритвы Оккама», согласно которому, сели две теории внешне равно эффективны, предпочтение следует отдать более простой из них.) Прежде чем начать знакомиться с правилами, построенными машиной индуктивным способом, рекомендуем читателю попробовать самостоятельно построить пару таких правил.

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

Можно использовать следующие HTML-теги и атрибуты: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>

Подтвердите, что Вы не бот — выберите самый большой кружок: