Читать «Искусственный разум» онлайн - страница 49

Никто, конечно, не говорит, что человек абсолютное совершенство, недосягаемый образец. У него есть слабости - их бы поточнее изучить, тогда удастся избежать в машине. У него есть ограничения - опять-таки важно узнать, каковы они и чем вызваны: самой ли природой переработки информации или причудами эволюции, которая не шедевры создает, а жизнеспособные организмы. Знания о человеческом мышлении, пусть неполные, очень помогут конструктору Искинта. Так рассуждали А. Ньюэлл, Г. Саймон и К. Шоу, когда задумали серию экспериментов по выявлению человеческих эвристик.

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

Потом магнитофонные протоколы решения задач и листочки с выкладками студентов тщательно обрабатывались. Исследователи искали общие для многих студентов приемы доказательства теорем, эвристики в математической логике. Потом место студентов заняла вычислительная машина; опираясь на студенческие эвристики, ученые создали для ЭВМ программу "Логик-теоретик".

Программа А. Ньюэлла, Г. Саймона и К. Шоу оказалась безупречным логиком и энергичным теоретиком: доказала 38 теорем булевой алгебры. Конечно, молодец этот "Логик-теоретик"; жаль, опять однодум, искусник в узком, замкнутом мирке, в математической логике.

Естественно задать вопрос, отчего ученые выбрали именно этот мирок? Ну, понятно, он однообразен - легче делать программу. Ну, естественно, он формализован - еще удобнее для програмхмиста. Удобств много, а польза от него какая? Можно ли заставить "Логика-теоретика" сделать что-то практическое?

Кажется, и пробовать не стоит. Абстрактный и бесцветный, бродит "Логик-теоретик" на дальней окраине математики, никак не касаясь практических дел. Но в его абстрактности и в его бесцветности есть серьезные достоинства.

Абстрактный - значит подчиненный правилам формальной логики, законам исчисления предикатов. Это исчисление, конечно, далеко не исчисление человеческих мыслей, но кое-что, но некоторые черты, но серьезные оттенки человеческого мышления уловлены им верно, формализованы, превращены в алгебру. И потому средствами исчисления предикатов удается описать условия многих практических задач.

Бесцветный - значит не окрашенный в собственные цвета каждой задачи, значит, не однодум. Эвристики, добытые при доказательстве логических теорем, не узкие, как эвристики САИНТа, а общие, широкие, способные браться за разные задачи, описанные языком исчисления предикатов.

Абстрактность и бесцветность "Логика-теоретика" не уход от мышления человека, а приближение к нему настолько, насколько позволяет нынешняя математика. Кроме доказательства 38 теорем булевой алгебры, "Логик-теоретик" принес 39-е доказательство: наметил дорогу, по которой от программ-однодумов можно перейти к программам Искинта, решающим разные задачи. "Логик-теоретик" стал пробным камнем в поисках "Общего Решателя Задач".