Искусственный интеллект

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

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

ФОРМАЛЬНАЯ ОНТОЛОГИЯ И ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ

В.Л. Васюков

Э. Гуссерль (возникновение термина)

Мы обязаны идеей (и термином) формальной онтологии Эдмунду Гуссерлю, который в своих «Логических исследованиях» (1900/01) различает формальную логику, с одной стороны, и формальную онтологию, с другой. Формальная логика имеет дело с взаимосвязями истин (или пропозициональных значений в общем случае) - с отношением выводимости, с непротиворечивостью и общезначимостью. Формальная онтология имеет дело с взаимосвязями вещей, с объектами и свойствами, частями и целым, отношениями и совокупностями. Как формальная логика имеет дело с отношениями выводимости, которые формальны в том смысле, что они применимы к выводам в силу лишь одной своей формы, так и формальная онтология имеет дело со структурами и отношениями, которые формальны в том смысле, что они экземплифицированы, в принципе, всей материей, или, говоря другими словами, объектами всех материальных сфер или областей реальности.