Простые селективные эвристики

Когда субъект, решающий задачу, сталкивается с группой альтернатив, обычный эвристический прием состоит в выявлении с самого начала возможных путей при помощи относительно доступного текста. Чтобы определить ценность этого приема, рассмот­рим лабиринт, содержащий m альтернатив в каждой узловой точ­ке и имеющий длину k. Если есть один правильный путь к цели, то для того, чтобы найти его при помощи случайных поисковых действий, потребуется в среднем 1/2m^k проб. Если эвристический тест позволит отбросить как бесполезные половину альтернатив в каждой узловой точке, тогда при случайном поиске с примене­нием этой эвристики в среднем потребуется только 1\2*(1/2m^k) Проб. Это сокращает число проб в отношении 2^k, что составит при лабиринте, включающем лишь 7 звеньев, число 128, а при лабиринте в 10 звеньев — свыше тысячи.

«Логик-теоретик» использует ряд таких эвристик выбора. С помощью одной эвристики он отделял новые выражения, которые казались «недоказуемыми» на основе определенных критериев правдоподобия; с помощью другой эвристики отсеивались выражения, которые казались «недоказуемыми» на основе определённых критериев правдоподобия;

с помощью другой эвристики отсеива­лись выражения, которые казались слишком сложными в плане наличия в них большого числа отрицательных знаков. Эти две эвристики сократили число проб, потребовавшихся для нахожде­ния решения, в 2,7 раза.