Генезис теоретической математики как историко-научная и историко-философская проблема



страница19/22
Дата10.05.2018
Размер0.73 Mb.
ТипАвтореферат
1   ...   14   15   16   17   18   19   20   21   22
четвертом параграфе «Логическая парадигма ИИ: современные тен­денции» анализируются тенденции последних лет в области искусственного интеллекта.

В 1996 г. один из ведущих современных специалистов в области ИИ А. Банди отмечал, что усилия исследователей, затраченные на создание не­традиционных логических систем для построения новых вариантов автома­тизированного вывода, не привели к существенным результатам. Попытки же разработки нелогических систем автоматизированного вывода наподобие семантических сетей, фреймов и продукционных правил вызывали кратко­временный всплеск интереса, вслед за которым наступало понимание того, что в действительности за ними скрывается «старый волк в овечьей шкуре»33. Поэтому основанный на классической логике автоматизированный вывод и сегодня остается ключевой техникой в ИИ.

Заманчивую идею «укрупнения вывода» при помощи внесения коррек­тив в стратегию поиска доказательства за счет извлечения позитивной ин­формации из неудачных попыток предложил недавно Б. Бухбергер34. Существенную роль при этом играет то, что вместо стандартного языка логики предикатов он использует логику предикатов с переменными, являющимися последовательностями индивидных символов. Последнее позволяет естественным образом описывать схемы алгоритмов.

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



В
Каталог: common -> img -> uploaded -> files -> vak -> announcements -> filosof -> 14-04-2008
filosof -> Смысловая сфера культуры: модусы кризисного развития
filosof -> Идеи индийской философской традиции в западной духовной культуре (XIX-XX вв.)
filosof -> Архетип духа: смысловая динамика символизации в процессе антропогенеза
filosof -> Социальная динамика: философско-методологические основания дискурсивного управления в условиях глобализации
filosof -> Философско-антропологические основания русской идеи просвещения
filosof -> Социальная мифология в коммуникационном пространстве современного общества
filosof -> Соотношение рационального и иррационального в общественном сознании
filosof -> Философский анализ конфликта естественнонаучных и эзотерических концепций ХХ-XXI вв
14-04-2008 -> Маринов Михаил Будимирович


Поделитесь с Вашими друзьями:
1   ...   14   15   16   17   18   19   20   21   22


База данных защищена авторским правом ©znate.ru 2019
обратиться к администрации

    Главная страница