Замечания относительно интуиции.

Обозначенная проблемная область ИИ-систем, так или иначе, затрагивает главный вопрос о том, насколько сводимы законы человеческого мышления в рамки формализованных представлений? Исследования Р. Декарта, Б. Спинозы, Г. Лейбница, А. Пуанкаре и др., на этот счет, показывают, что математика в принципе не сводится к одной только логике, т.к. основания математики (аксиомы) имеют интуитивное происхождение, а потому всякое математическое рассуждение, в определенной мере, содержит долю интуиции [39-41]. Как выразился А. Пуанкаре [40]: «Логика, которая одна может дать достоверность, есть орудие доказательства; интуиция есть орудие изобретательства». Фактически, это высказывание зафиксировано в Меморандуме американских математиков (1964, [42]): «Математическое мышление не сводится к дедуктивным рассуждениям, оно не состоит только в формальных доказательствах. Мыслительные процессы, подсказывающие нам, что доказывать и как доказывать, также составляют часть математического мышления, как и само доказательство, которым они завершаются. Выделять понятие, приспособленное к конкретной ситуации, обобщать, исходя из наблюдаемых частных случаев, рассуждать по индукции, по аналогии и находить интуитивные доводы для выделяемой догадки – все это математические способы мышления». При этом высказывается авторитетное мнение о том, что интуитивное постижение истины происходит на более высоком уровне интеллекта, чем это имеет место при дискурсивном (логическом) мышлении, т.к., по сравнению с логическим рассуждением, акт интуитивного озарения (инсайта) происходит намного быстрее (иногда моментально).

Природа интуиции интересовала философов, математиков и психологов на протяжении нескольких последних столетий [39-41;43;44], однако пока можно констатировать только то, что интуитивные процессы, главным образом, происходят на уровне подсознания [43-45]. Исследования самих механизмов интуитивных процессов (например, [33;46]) пока позволяют составить только лишь самые общие представления о специфике таких процессов, выделяя следующие моменты:

1). Интуитивное мышление возникает только на основе знаний и опыта, а потому одну из главных ролей в этом случае играет эффективная организация информационной памяти, используя, например, параллельные алгоритмы обработки информации [32].

2). Интуитивный вывод не всегда является истинным и, следовательно, ход интуитивных процессов не описывается в рамках формальной логики.

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

Впрочем, этих данных для проведения систематизации в области интуитивных процессов явно недостаточно и говорить о моделировании, а, тем более, о создании интуитивных ИИ-систем слишком рано.