Реферат: Стов, функционалистов и физикалистов (в споре о психофизической проблеме), то, по крайней мере, с индетерминизмом в понимании того, «идет ли куда-либо сознание»

УДК 3(06) Актуальные проблемы гуманитарных наук


C.В. ЛЕЩЁВ

Московский инженерно-физический институт (государственный университет)


СЛОЖНОСТИ ФОРМАЛИЗАЦИИ

В КОГНИТИВНЫХ НАУКАХ И ФИЛОСОФИИ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА


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

Однако, представление об “искусственном” (в понимании, предложенном Г. Саймоном) омрачает ясность обрисованной перспективы. Искусственный интеллект, к которому, как представлялось, априорно следовало подходить как к вычислимому (хотя бы потому, что он наследует свою программистскую генетику), претерпел (как наука) множественную дифференциацию – от робототехники до нейронных сетей, где возникают как различные видения того, что же имеет смысл считать интеллектом, так и неоднозначные понимания вычислимости, алгоритмизируемости процессов. Одной из платформ реализации искусственно-интеллектуальных моделей служат так называемые мультиагентные системы.

Наибольшим флуктуациям и сомнениям понятие вычислимости (алгоритма) подвергается в программных отраслях, связанных с искусственным интеллектом, ассоциативными и семантическими сетями, нечеткими множествами: именно здесь проблема формализации задачи, ее разрешимости и хотя бы теоретической вычислимости становится на первый план. Всякое ли содержание может быть сведено к набору знаний, представленному совокупностью формул и пропозициональных форм? Алгоритмизация решения сводится, в кибернетическом плане, к проблеме останова машины Тьюринга для соответствующей задачи или, в математическом плане, к теореме Геделя о неполноте всякой формальной системы.

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

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


Список литературы


Simon H.A. The Sciences of the Artificial. Cambridge, Mass:The MIT Press, 1969.

Goedel K. Ueber formal unentscheibare Saetze der Principia Mathematica und verwandter Systeme I, Monatsh. F. Math. U. Phys., 38, P. 173-198.

Debray R. Fuer eine Mediologie. In: Kursbuch Medienkultur. Die massgeblichen Theorien von Brecht bis Baudrillard./ Herausgegeben von Lorenz Engell, Claus Pias, Joseph Vogl, Oliver Fahle und Britta Neitzel. Stuttgart: DVA, 1999. P. 67-77.




ISBN 5-7262-0710-6. НАУЧНАЯ СЕССИЯ МИФИ-2007. Том 6