Читать онлайн «Машина доказывает»

ЕЗППППЭ НОВОЕ В ЖИЗНИ, НАУКЕ, ТЕХНИКЕ СЕРИЯ МАТЕМАТИКА, КИБЕРНЕТИКА 12'81 В. М. Глушков МАШИНА ДОКАЗЫВАЕТ ) Г^ ( SSL. в м- Гл*Ш|<ов НАУКЕ, МАШИНА ДОКАЗЫВАЕТ «Математика, кибернетика)» № 12, 1981 г. Издается ежемесячно с 1967 г. Издательство «Знание» Москва 1981 ББК 22. 18 Г 56 Рецензент: Л. Н. Королев, доктор физицо-метематш ческих наук. ГЛУШКОВ Виктор Михайлович — действительный член АН СССР, вице-президент АН УССР, Герой Социали* стического Труда, лауреат Ленинской и Государствен* ных премий СССР и УССР, директор организованного им Института кибернетики АН УССР — важного научного центра исследований по кибернетике, Глушков В. М. Г 55 Машина доказывает. — М. ! Знание, 1981. — 64 с. — (Новое в жизни, науке, технике. Сер, «Математика, киберне« тика»; № 12), 11 коп. Брошюра посвящена описанию проблем, некоторых результатов и перспектив исследований одной из интереснейших эа- дач искусственного интеллекта — автоматизации рассуждений с помощью ЭВМ. Эффективное моделирование на ЭВМ мыслительных операций, выполняемых человеком в процессе его тру» да, расширяет возможности ЭВМ и показывает пути их совершенствования. Брошюра рассчитана на научных работников, преподавателей, студентов, слушателей народных университетов и всех, кто интересуется вопросами применения ЭВМ в математике и проблемами искусственного интеллекта. 20 205 . 150 200 0000. ББК 22. 18 6Ф0. 1 © Издательство «Знание», 1981 г, Хотя чувства довольно часто обманывают и вводят в заблуждение, однако в союзе с активной деятельностью человека они могут давать нам вполне достаточные знания: и это достигается не столько с помощью инструментов (хотя и они в известной степени оказываются полезными), сколько благодаря экспериментам, способным объекты, недоступные нашим органам чувств, сводить к чувственно воспринимаемым объектам... . Мы говорим об этом не для того, чтобы умалить значение интеллекта или чтобы объявить тщетными все его попытки; наша цель состоит в том, чтобы найти и предоставить интеллекту необходимую помощь, благодаря которой qh сможет преодолеть все трудности и раскрыть тайны природы. Ф. Бэкон. О. достоинстве и приумножении наук ВВЕДЕНИЕ С давних времен и до наших дней одной из самых волнующих тайн человеческого бытия продолжает оставаться механизм мышления. Как человек мыслит? Каким законам подчиняются рассуждения? Как он доказывает теоремы? Как предсказывает события реальной жизни? Все эти вопросы издавна волновали умы людей. Один из великих мыслителей древнего мира, Аристотель, живший в 384—322 гг. до н. э. , первым осуществил построение формальной теории рассуждений. В этой теории он показал, что правильные рассуждения подчиняются небольшому числу неизменных правил, не зависимых от частной природы объектов рассуждений. Аристотель определил силлогизм, открыл общие и установил специальные правила силлогистики. Силлогизм — умозаключение, в котором из двух суждений по определенным правилам получается третье, называемое выводом. Примеры силлогизмов: 1. Все граждане СССР имеют право на труд -^Иванов имеет право Иванов — гражданин СССР на труд 2.