Дискурсивное мышление и тезис Гильберта.

Поэтому горизонты современной ИИ-проблематики, в основном, ограничены моделированием на уровне дискурсивного мышления. Специфика этого направления обусловлена тем, что алгоритмы мыслительных операций, составляющих базис процесса мышления, строятся в рамках соответствующих математических моделей. Однако со времен Евклида при построении математического знания стало обычной практикой формирование его в русле неформальной (т.е. содержательной) аксиоматической теории, когда используемые средства логического вывода не фиксируются, и используется так называемая «интуитивная» логика [47]. Такое положение объясняется тем, что для большинства математиков современная символическая логика – есть попросту формализация того интуитивного способа рассуждений, которого они фактически всегда придерживаются [48]. На этот счет среди математиков бытует мнение, известное как «усиленный тезис Гильберта» [49], по которому даже, если основные понятия теории не могут до конца выражаться на языке логики 1-го порядка, то в настоящее время разработаны ее усиленные варианты, достаточно полно отвечающие сложившейся математической практике.

Моделирование процессов мышления, «исповедующее» формализован-ное описание в рамках идеологии тезиса Гильберта, является достаточно эффективным и, например, реализовано в так называемых логико-лингвистических моделях дедуктивного вывода на семантических сетях, обеспечивающего принятие оптимального решения при ситуационном управлении сложными системами, формализация которых строится на языке многосортной логики, представляющей расширение логики 1-го порядка [50]. Поэтому имеется определенный оптимизм относительно возможности эффективного совмещения языка человеческого общения (языка естественного мышления) с машинным языком компьютера, особенно, если иметь в виду перспективные проекты в области биокомпьютеров [51]. С другой стороны, этому способствуют серьезные успехи в вопросах понимания механизмов человеческого мышления, среди которых, в первую очередь, следует выделить открытие функциональной специализации полушарий головного мозга человека (Р.Сперри, Нобелевская премия, 1981, [52]) и концепцию самоорганизованной критичности [23].