Сводится ли научное открытие к алгоритмической процедуре, рассматриваемой некоторыми философами и историками науки как подлинное открытие? С точки зрения идеологии современных систем искусственного интеллекта вопрос может показаться совершенно абсурдным и надуманным: распространенное мнение гласит, что другого пути и не существует. Задача как раз и заключается в выяснении и выделении этой алгоритмической процедуры, на основе которой и будут действовать системы искусственного интеллекта, занимающиеся автоматизацией процесса научного открытия. И некоторые достижения на этом пути, создание программ, имитирующих процесс, процедуру открытия, порождения нового знания, казалось бы, недвусмысленно подтверждают подобную точку зрения. Однако эта оптимистическая картина рушится при попытке ответа на совершенно естественный вопрос, возникающий в этой ситуации: существует ли логика научного открытия? Казалось бы, коль скоро процесс открытия носит столь систематический характер, то он (процесс), несомненно, должен быть логичен, где-то внутри его содержится некоторый логический каркас, требующий прояснения и четкой формулировки. Однако история поисков подобного каркаса приводит к неутешительным результатам, о чем В .А.Смирнов в статье «Творчество, открытие и логические методы поиска доказательства» заметил: «Известно, что родоначальники философии Нового времени пытались сформулировать методы и логику открытия, науку, которая, в противоположность традиционной логике – Аристотеля и схоластов – является логикой именно открытия, а не доказательства.