Статья 553

Несомненно, это соответствовало бы созданию мини-логики открытия, имеющей дело всегда с конечной информацией, с ограниченной сферой действительности, но тем не менее моделирующей какие-то процессы человеческих индуктивных рассуждений.

Вопрос заключается только в том, поддаются ли эти процессы автоматизации.
Результаты, полученные в последнее время, позволяют ответить на этот вопрос утвердительно. Созданы программы, умеющие находить закономерности в базе данных, делать обобщения, строить новые понятия и выдвигать гипотезы. Например, программы Эвриско, разработанные американским исследователем Д.

Ленатом.

Они содержат правила выдвижения гипотез - эвристики обращать внимание на повторяющиеся явления. Программа Эвриско может также и предписывать себе новые эвристики, если какой-то образ действий оказывается в большинстве случаев удачным.