Логика ветвящегося времени и ее применение в искусственном интеллекте



Скачать 29.08 Kb.
Дата02.04.2016
Размер29.08 Kb.

УДК 004.896(06) Интеллектуальные системы и технологии


А.П. ЕРЕМЕЕВ

Московский энергетический институт (технический университет)
ЛОГИКА ВЕТВЯЩЕГОСЯ ВРЕМЕНИ И ЕЕ ПРИМЕНЕНИЕ В ИСКУССТВЕННОМ ИНТЕЛЛЕКТЕ1
Рассматриваются модели (логики) ветвящегося времени в плане их использования в современных интеллектуальных системах.
Необходимость наличия механизмов моделирования времени и временных зависимостей в интеллектуальных системах отмечалась уже в ранних работах по искусственному интеллекту [1, 2]. Особенно актуальна эта проблема при конструировании современных интеллектуальных систем, ориентированных на открытые и динамические проблемные (предметные) области, типичными представителями которых являются интеллектуальные системы поддержки принятия решений реального времени (ИСППР РВ) [3, 4], предназначенные для помощи лицам, принимающим решения, как правило, в условиях достаточно жестких временных ограничений. Достаточно активно исследования в области временных (темпоральных) моделей ведутся применительно к линейному времени, уже разработан ряд, имеющих практическое применение в искусственном интеллекте темпоральных моделей (алгебр, логик) для линейного времени (см., например, обзор [5] и работу [6]). Однако модели для ветвящегося времени, особенно имеющие практическую направленность на использование в интеллектуальных системах, исследованы недостаточно. А необходимость наличия таких моделей в интеллектуальных системах типа ИСППР РВ, в частности для решения задач планирования и прогнозирования последствий принимаемых решений, очевидна. Собственно модели ветвящегося времени, например, построенные на основе модальных логик, известны (см., например, [7, 8]), но их практическое использование сдерживается экспоненциальным ростом сложности алгоритмов поиска решения с увеличением размерности задачи.

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



В докладе дается сравнительный анализ моделей представления ветвящегося времени и рассматриваются возможности их применения в искусственном интеллекте.
Список литературы


  1. Поспелов Д.А. Логико-лингвистические модели в системах управления. М.: Энегоиздат, 1981.

  2. McCarthy J. M., Hayes P. J. Some Philosophical Problems from the Standpoint of AI. // Readings in AI. TP Co., Palo Alto, 1981.

  3. Башлыков А.А., Еремеев А.П. Экспертные системы поддержки принятия решений в энергетике. М.: Изд-во МЭИ, 1994.

  4. Вагин В.Н., Еремеев А.П. Некоторые базовые принципы построения интеллектуальных систем поддержки принятия решений реального времени // Изв. РАН. Теория и системы управления. 2001, № 6. С. 114–123.

  5. Еремеев А.П., Троицкий В.В. Модели представления временных зависимостей в интеллектуальных системах поддержки принятия решений // Изв. РАН. Теория и системы управления, 2003, № 5. С. 75-88.

  6. Еремеев А.П., Куриленко И.Е. Реализация временных рассуждений для интеллектуальных систем поддержки принятия решений реального времени // Программные продукты и системы, 2005, № 2. С. 8-16.

  7. Смирнов В.А. Логические системы с модальными временными операторами // Материалы II Советско-финского коллоквиума по логике «Модальные и временные логики». М.: Институт философии АН СССР, 1979. С. 89-98.

  8. Логический подход к искусственному интеллекту: От модальной логики к логике баз данных: Пер. с франц. / Тейз А., Грибомон П., Юлен Г. и др. М.: Мир, 1998.

  9. Еремеев А.П. Логика ветвящегося времени и ее применение в интеллектуальных системах поддержки принятия решений // Десятая нац. Конф. По искусственному интеллекту с междунар. Участием КИИ-2006 (25-28 сент. 2006 г., Обнинск): Тр. конф. В 3-х т. Т.3. М.: Физматлит, 2006. С. 746-754.




1 Исследование проводится при финансовой поддержке РФФИ (проект № 05-07-90232).

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

Каталог: data -> scientific-sessions -> 2007
2007 -> + 539. 2(06) Сверхпроводимость и физика наноструктур
2007 -> Н. Э. Баумана программные средства защиты телефонной информации с применением вейвлет-преобразования
2007 -> Комплекс ат-технология – интеллектуальная среда поддержки разработки интегрированных экспертных систем
2007 -> Схема ключевого элемента на основе шлейфного направленного ответвителя для использования в афар
2007 -> Образование наноструктур в результате лазерной абляции металлов в жидкостях и их свойства
2007 -> Очистка технологических газов от радиоактивного йода
2007 -> Создание политики безопасности информационно-аналитической системы при использовании процессно-ориентированного подхода к управлению
2007 -> Охрана окружающей среды и рациональное природопользование


Поделитесь с Вашими друзьями:


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

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