Академический Документы
Профессиональный Документы
Культура Документы
(обзор)
1. Введение
В последнее десятилетие среди различных направлений искусственного интеллекта на
одно из ведущих мест все больше претендуют исследования, объединяемые общим названием
"многоагентные системы". Вообще говоря, исследования по интеллектуальным агентам и
многоагентным системам имеют уже почти сорокалетнюю историю, но только в последнее
время эти исследования действительно оформились в самостоятельный обширный и
многоплановый раздел искусственного интеллекта, который привлекает к себе лучшие силы
исследователей из различных областей, причем не только из искусственного интеллекта.
Причин такого неожиданного интереса к многоагентным системам немало и они разные, но
главная, по-видимому, в том, что этот интерес естественно обусловлен достижениями в
области информационных технологий, искусственного интеллекта, распределенных
информационных систем, компьютерных сетей и в компьютерной технике. Многоагентные
системы имеют реальную возможность интегрировать в себе самые передовые достижения
перечисленных областей, демонстрируя принципиально новые качества. Можно без сомнений
утверждать, что появление этого направления свидетельствует о новом уровне, достигнутом в
области информационных технологий и искусственном интеллекте, в частности, а темпы его
прогресса дают основания предсказывать ему ведущую роль в ближайшие десятилетия в
широком круге приложений.
Как отмечено в работе [30], первоначально идея интеллектуального посредника
("агента") "возникла в связи с желанием упростить стиль общения конечного пользователя с
компьютерными программами, поскольку доминирующий, в основном, и ныне стиль
взаимодействия пользователя с компьютером предполагает, что пользователь запускает задачу
явным образом и управляет ее решением. Но это совершенно не подходит для неискушенного
пользователя. Иначе говоря, сначала идея интеллектуального посредника возникла как попытка
интеллектуализации пользовательского интерфейса."
Развитие методов искусственного интеллекта позволило сделать новый шаг к
изменению стиля взаимодействия пользователя с компьютером. Возникла идея создания так
называемых "автономных агентов", которые породили уже новый стиль взаимодействия
пользователя с программой. Вместо взаимодействия, инициируемого пользователем путем
команд и прямых манипуляций, пользователь вовлекается в совместный процесс решения. При
этом, как пользователь, так и компьютерный посредник, оба принимают участие в запуске
задачи, управлении событиями и решении задачи. Квинси Промдин ( - "Зенит" - "Зенит" -
"Зенит", Златк Иактые.
"Зенит", "Зенит", "Зенит" персонифицированным. Последнее достигается за счет того,
что ПА наделяется способностью к обучению. В самом простом варианте, ПА получает
информацию о привычках пользователя путем, как говорят, "подглядывания из-за плеча" за
работой своего пользователя. Обучаясь интересам, привычкам и предпочтениям пользователя,
а также окружающего его сообщества пользователей (это те, кто доступен персональному
ассистенту через компьютерную сеть), ПА может стать весьма полезным, причем в различных
аспектах: выполнять решение задач по поручению пользователя, тренировать его, управлять
событиями и процедурами. Заметим, что по существу персонификация пользовательского
интерфейса- это новый резерв его интеллектуализации, который удачно дополняет
“интеллектуальность интерфейса”, которая традиционно ассоциируется только с экранными
графическими средствами. Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси-Кветч. Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси-
Кви, Квинси-Кви, Квинси Промес, Квинси Промес, Квинси Промес, Квинс.
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси "Зенит" - "Зенит" - "Зенит" - "Зенит". "интеллектуального агента"
Постепенно эта идея вышла за рамки интеллектуального пользовательского
интерфейса, она все более и более ориентировалась на идеи и методы искусственного
интеллекта, на активное использование тех преимуществ, которые дают современные
локальные и глобальные компьютерные сети, распределенные базы данных и распределенные
вычисления. Активное развитие методов и технологий распределенного искусственного
интеллекта, достижения в области аппаратных и программных средств поддержки концепции
распределенности и открытости привели к осознанию того важного факта, что агенты могут
интегрироваться в системы, совместно решающие сложные задачи. Это означало появление
новой парадигмы распределенных систем искусственного интеллекта. Квинси Промдин,
многоагентных систем "программных роботов", Квинси Проионов, Квинси Проделай,
Квинси Проделай, Квинси Проделан, Квинси Проделан, Квинси Проделан.
Структура исследований в области многоагентных систем в настоящее время очень
широка и сравнима с широтой исследований в области искусственного интеллекта. Это не
случайно, поскольку обусловлено именно интегрированностью самого понятия такой системы,
сложностью архитектуры и многообразием компонент каждого отдельного агента,
многообразием математических и программных средств, используемых при его описании и
разработке, сложностью структуры и разнообразием вариантов взаимодействия агентов между
собой, сложностью и разнообразием компонент внешней среды, в которой функционируют
агенты и т.д.
С некоторой долей условности исследования в области многоагентных систем можно
разделить на такие основные направления:
Зинедин Зидан.теория агентов, в которой рассматриваются формализмы и
математические методы для описания рассуждений об агентах и для выражения желаемых
свойств агентов;
Квинси Промдин (организации кооперативного поведения) в процессе совместного
решения задач или при каких-либо других вариантах взаимодействия;
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси-74. - это область исследований, в которой изучается, как построить
компьютерную систему, которая удовлетворяет тем или иным свойствам, которые выражены
средствами теории агентов;
-Зураб Ишвили;;
-Зинедин Зидан,; Златоус
- Зураб Ишвили (Зенит)..
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси-70 приложений многоагентных систем
аутентификацией(авторизацией) агентов, обеспечением
В данном обзоре будет кратко рассмотрено состояние исследований по первым
четырем из упомянутых направлений. Проблемы организации коммуникаций агентов частично
будут затронуты при обзоре языков программирования агентов. Остальные вопросы, в
частности, методы и средства поддержки мобильности агентов, не относятся впрямую к
искусственному интеллекту и достаточно специфичны. Они в значительной части связаны с
проблемой стандартизации интерфейсов (протоколов) компьютерных сетей для поддержки
концепции открытости (обеспечения возможности функционирования в гетерогенной сети - на
разнотипном оборудовании и на разных операционных платформах), защиты информации, с
проблемой разработки специального сетевого программного обеспечения и почти не связаны с
проблемами искусственного интеллекта. Эти проблемы исследуются и решаются в сообществе
соответствующих специалистов.
Квинси приложений многоагентных систем, то в настоящее время работы здесь
ведутся настолько широким фронтом, что для освещения этой проблемы требуется
специальная работа, поэтому здесь этот вопрос не рассматривается. Проделан, Квинси
Проделан, Квинси Проделан, Квинси Проделан.
"Агент -это сущность, которая находится в некоторой среде, от которой она получает
данные и которые отражают события, происходящие в среде, интерпретирует их и исполняет
команды, которые воздействуют на среду. Агент может содержать программные и аппаратные
компоненты... Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси общая технология, которая аккумулирует в себе несколько различных
областей”. Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси-74, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси
3. Теория агентов
Теория агентов, вообще говоря, рассматривает агента и многоагентную систему как
"интенсиональную систему", полагая, что агент наилучшим образом описывается именно в
интенсиональном стиле, для которого требуется непротиворечивое описание с использованием
3
Аналог этого термина на русском языке в краткой, понятной и адекватной форме еще предстоит найти.
подмножества перечисленных ранее ментальных понятий. По этой причине теория агентов в
настоящее время -это прежде всего формальные модели ментальных понятий и правил
манипулирования с ними, но не только это. Дополнительный и очень важный раздел теории-
это представление динамических аспектов функционирования как отдельного агента, так и
сообщества агентов, при этом последняя задача выводит проблему за те пределы, которые
исследуются традиционно в искусственном интеллекте в рамках темпоральных и других логик.
Динамические аспекты функционирования многоагентной системы столь специфичны и новы,
что они образуют специальный раздел исследований, который можно было бы назвать теорией
кооперативного (коллективного) поведения многоагентных систем. В данном обзоре этот
раздел теории агентов рассматривается отдельно(см. раздел 4).
Рассмотрим вопрос о моделях ментальных понятий. Первые попытки построить такие
модели базировались на языках исчисления предикатов первого порядка, однако они не
оказались удачными. Можно привести пример, из которого становится очевидным
неадекватность исчисления предикатов первого порядка для формализации ментальных
понятий. Зинедин Зидан, Златк Икс. 4
что по сути совсем не то, что первое убеждение. Аналогичные, если не более сложные
проблемы возникают при попытках формализации в рамках исчисления первого порядка и
других ментальных понятий.
Очевидно, что отмеченные выше трудности объясняются тем, что ментальные понятия,
вообще говоря, сами по себе являются, как отмечено в работе [58], относительно "темными",
"неясными", "в которых стандартные правила подстановки исчисления предикатов первого
порядка вообще не работают".
При выборе формализмов для описания ментальных понятий, как следует из
вышесказанного, нужно решать два класса проблем: синтаксическую проблему и
семантическую, а любой формализм представления ментальных понятий (как и для
представления любой другой информации) должен иметь два отдельных аспекта: свой язык
формализации и свою семантическую модель.
Как отмечается в работе [58], среди известных к настоящему времени результатов
относительно невелик выбор подходов к описанию синтаксиса и семантики. Для описания
синтаксиса автор этой работы видит только два варианта:
Квинси мета-языков Промтов, Квинси Промто, Квинси Промтов, Квинси Проитый,
Квинси Проитый, Квинси Проиненс
Зинедин Зидан, Златоус Квишиев, Зинедин Зидан. содержащих специальные
модальные операторы (имеющие “не истинностные” значения), применяемые к формулам.
Первый из вариантов представления синтаксиса достаточно традиционен и по сути его
использование является чисто технической проблемой. Второй вариант более интересен и, как
представляется, обладает более мощными выразительными возможностями. Однако, ввиду
динамического характера функционирования агента и многоагентной системы, эти логики
должны дополняться средствами описания темпоральных аспектов ментальных понятий, а
зачастую, и средствами описания свойств, связанных с реальным временем. Далее в качестве
иллюстрации использования расширений модальных логик для формализации ментальных
понятий будет приведен подход, предложенный в работах [19, 20].
Что касается семантического аспекта языка формализации ментальных понятий, то
здесь тоже выбор относительно невелик, их тоже два. Наиболее известный (и для теоретиков
4
Этот пример фактически взят из работы [58] , однако в нем изменена семантическая интерпретация .
наиболее привлекательный)- это семантика, представляемая множеством возможных миров.
Другой вариант- это интерпретация символических структур с помощью поставленных им в
соответствие функций (алгоритмов) и структур данных. Оба подхода получили свое развитие и
применение в области искусственного интеллекта.
Семантика множества возможных миров хорошо известна и восходит к работам [24,
27]. В этой семантике ментальные понятия интерпретируются множеством возможных миров и
отношением достижимости (доступности) между ними. С каждым возможным миром
ассоциируется некоторая теория (множество формул и атомарных предикатов- фактов, про
которые известно, что они истинны). Например [58], если один их игроков в покер получил
какую-то карту, скажем, пиковую даму, то он может сделать некоторые выводы о допустимых
н недопустимых раскладах карт у других игроков, и множество всех допустимых раскладов
карт образует возможный мир игрока (агента) А для теории "Игрок (агент) А получил пиковую
даму". Другое дело, что построить такое множество раскладов и им руководствоваться в своей
стратегии для игрока (агента) А нереально.
Представляется, что семантика возможных миров сложна для применения в
практических задачах многоагентных систем, что видно уже из приведенного только что
примера. Квинси Проделай, Квинси Проделай, Квинси Проделай. Тем не менее, в ряде
формализаций, одна их которых рассматривается ниже в данном разделе, используется именно
такой подход к заданию семантики.
Альтернативные варианты задания семантики языка, как уже отмечалось, связаны с
использованием интерпретации символических структур с помощью ассоциированных с
символами или их цепочками алгоритмов и структур данных. Этот подход у прикладников
пользуется большей популярностью и достаточно хорошо известен.
С эволюцией взглядов на формализацию синтаксиса и семантики языков описания
ментальных понятий можно познакомиться кратко по работе [58], хотя с автором можно
соглашаться не во всем.
Дополнительно к уже сказанному на эту тему, опишем в качестве примера подход к
формализации ментальных понятий, предложенный в работах [19,20], который базируется на
синтаксисе предложенного авторами варианта многомодальной логики ветвящегося времени и
на семантике в форме множества возможных миров.
Эта работа интересна в том отношении, что, во-первых, рассматривает в рамках
единой логики формализацию трех основных ментальных понятий агента: убеждений, желаний
и намерений; во-вторых, формализует динамику внешней среды и поведения агента с помощью
так называемой логики ветвящегося времени; в третьих, в этой работе вводится строго
семантика на базе множества возможных миров и доказываются, что введенная логика полна.
Наконец, в работе приводится конструктивная процедура тестирования формул на
выполнимость и тождественную истинность на основе таблиц. В некотором смысле эта работа
является наиболее продвинутой в области методов формального описания ментальных
состояний агента и представляется весьма полезной как для понимания смысла ментальных
понятий агента, так и для формализации и конструирования сложных многоагентных систем.
"Зенит" - "Зенит" - "Зенит" ("Зенит"). Приведем небольшой пример, построенный по
аналогии с примером из работы [19], для того, чтобы пояснить с помощью семантики
возможных миров содержание названных компонент ментального состояния агента. 5
Пусть некий месье Жилизю, который в настоящее время является Председателем
оппозиционной партии, имеет желание перейти в Правительство. При этом может заручиться
поддержкой партии или действовать самостоятельно. Партия может поддержать его действие
("Да") или не поддержать ("Нет"), причем при удаче он должен будет покинуть место
председателя партии, а при неудаче "товарищи по партии" могут не простить ему такую
попытку, и тогда месье Жилизю должен будет покинуть политику вообще.
На рис.1 представлено дерево решений. В этом дереве имеются три вида вершин:
-детерминированные, в которых решения принимает сам претендент (они обозначены
кружками);
-недетерминированные, в которых решения принимает "внешняя среда" (они
обозначены квадратами) и
-терминальные (обозначены кружками), около них проставлены числа, имеющие
смысл "дохода" претендента от реализации того или иного варианта, отраженного
последовательностью вершин-решений и дуг, их связывающих.
5
Термин, для которого пока не удалось найти более точного аналога в русском языке.
На рисунке показаны также вероятности и условные вероятности событий в вершинах,
соответствующих недетерминированным действиям среды. Жирными линиями показаны
оптимальные варианты действий претендента Варианты, связанные с уходом месье Жилизю из
политики, на схеме не показаны, далее будет ясно, почему это сделано.
Предположим, что эту непростую задачу ввиду занятости партийными делами и для
снятия с себя ответственности месье Жилизю поручает интеллектуальному агенту. Представим
задачу в терминах ментальных понятий этого агента.
Рассмотрим сначала возможные миры для убеждений агента. Будем преобразовывать
дерево решений таким образом. Начиная с корня дерева, будем фиксировать все пути в
терминальные вершины, удаляя при этом вершины, отвечающие
Партия 200 (0,4 евро)
Да 214 300
Удача (заря) 0,6
Правит.
214,2
Неудача (0,42 евро)
Заручившись 100
поддержкой Нет Партия 200
партии (0,58 евро)
200 300
Удача
Правит. 155 /(0,57 евро) (удача
Неудача
100
(0,43/евро).43
Не обращаться
за поддержкой 200 /(удача(0,28 евро)
Партия 300
к партии Удача
200 /(неудача(0,72 евро)
Правит. 180
Неудача
100
а) б) в) г)
Рис.5.Теоретико множественные отношения миров ментальных понятий
а)б)
в)г)
6
Он может быть ярым сторонником идей партии начала 60-х годов с коммерческой жилкой современных
демократов.
На рис. 6,5, Зинедин Зидан. Рис. 6б отвечает обратному отношению. В случае,
представленном на рис.6в, эти миры совпадают, а на рис.6г миры несравнимы.
Все возможные варианты соотношений множества миров убеждений и миров желаний
включают в себя различные комбинации, которые получаются при разных сочетаниях
теоретико-множественного порядка и структурного порядка. Всего их девять, если не
рассматривать варианты несравнимости. Обычно такие отношения рассматриваются для всех
трех ментальных понятий. Различные варианты, которые при этом получаются, служат основой
для классификации задач представления ментальных понятий [19].
В настоящее время теория (ментальных понятий) агентов, к сожалению, не выходит за
пределы логической парадигмы. В этом смысле исследователи в данной области повторяют
предпочтения, путь и ошибки, которые были характерны для исследователей в области
искусственного интеллекта в 60-70х годах. Представляется, что обращаясь к таким сугубо
антропоморфным понятиям, как убеждения, желания, намерения и др., следовало бы учесть
уже достаточно большой (положительный и отрицательный) опыт по формализации
человеческих рассуждений, накопленный в области искусственного интеллекта. Теория
агентов, к сожалению, пока полностью игнорирует достижения в области представления и
обработки неполной, недопределенной и нечеткой информации. Однако, рано или поздно, к
таким вариантам формализации придется обратиться и в теории агентов, если не будет
предложено нечто более эффектное и эффективное. Практики, разрабатывающие прикладные
многоагентные системы уже начали использовать подходы на основе нечетких множеств, не
дожидаясь продвижения в теории в эту сторону, и в разделе 5 будет описана одна из
архитектур многоагентной системы - "архитектура для распределенных медицинских
приложений", которая уже активно "эксплуатирует" идею нечеткости.
Зинедин Зидан, Златоус Квиты Зинедин Зидан, Златова, Зинедин Зидан, Златоус
Квиты, Зураб Ишвили с "Зенитом", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит",
"Зенит", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит",
"Зенит", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит",
"Зенит", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит",
"Зенит", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит" (. При этом варианте
агенты обмениваются информацией с целью достичь соглашения. Когда агент получает
информацию, несовместимую с его локальными убеждениями, он либо отвергает ее, либо
принимает, отбрасывая собственные убеждения. Имеется несколько типов метрик для
определения силы убеждения, например, основанные на функции полезности [60],
шкалированные величины. Механизм разрешения конфликтов, предложенный в [50],
использует символьное шкалирование приоритетов убеждений. Убеждениям ставятся в
соответствие приоритеты трех уровней:
{N, P, O, U} и , cогласно следующим таблицам: Зубков, U: Q Q : Q БД, БД (З),
О,У,З, З.Н., З., П (о, предпочтительно): - З. -З.
Д N P O U Е N P O U
N N P O U N N N N N
P P P O U P N P P P
O O O O U O N P O O
U U U U U U N P O U
Если:
(1) b1, no 1, No1, No1, no 1, no 1,
(2) b2, no 2, No2, no 2, no 2, no 2,
(3) b1 х b2,
Тогда:
b1, no 2, 2, 2,2, 2,2, 1,2, 1,2, 1,2, 1,2, 1, 1, No1, No2.
Как уже было отмечено ранее, агенты обмениваются друг с другом информацией
посредством переговоров. Протокол взаимодействия агентов как раз и определяет схему
(распределенный алгоритм), по которой ведутся такие переговоры. В литературе предложено
множество схем переговоров. Мы вкратце рассмотрим лишь несколько из них.
Зураб ишвили с теорией. 51юаней). Зинедин Зидан,АСК, ТЕЛЛ, РЕЗИ, КОНС,
КОММИВЕЛ, ПЕРЕГОВОР. ASK, TELL, REJECT Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси-Кветрия, Квинси-7,2
Квинси Промдин ( ИК No45, 46, Квинси Промдин, Квинси Промдини, Квинси
Промдин, Квинси Промдини, Квинси Промдин Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси-2,5
ЗООЛ (язык СООрдинации) No4, 5- Зинедин Зидан, Зинедин Зидан. Агенты могут
иметь активными несколько переговоров и управлять их переключением и приостановкой, а
также динамически создавать дочерние переговоры.
УнНП (Единый протокол переговоров) No описан в работе 60.]. Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси-2,2, Квинси Промес,
Квинси-Квитанзи.
5. Архитектура многоагентных систем
В то время, как теория агентов и многоагентных систем имеет дело с разработкой
формализмов для описания рассуждений об агентах и для выражения желаемых свойств
агентов, раздел исследований, называемый "архитектура агентов и многоагентных систем",
изучает вопрос о том, как построить компьютерную систему, которая удовлетворяет тем
свойствам, которые выражены средствами теории агентов.
При выборе архитектуры многоагентной системы необходимо иметь в виду два ее
аспекта:
-архитектуру, поддерживающую методы взаимодействия агентов в процессе
функционирования системы в целом, и
-архитектуру отдельного агента.
Бесспорно, существующие варианты архитектур многоагентных систем и
рациональный выбор архитектуры отдельного агента и многоагентной системы в целом
существенно зависят от того, какова концептуальная модель агента и принятый для ее
описания формализм и язык спецификаций, какова математическая модель кооперации агентов
при совместном функционировании в системе, на какое приложение или класс приложений
ориентирована многоагентная система, а также от ряда других факторов. Можно с
уверенностью утверждать, что сколько существует и/или разрабатывается агентов и
многоагентных систем, столько существует и архитектур. Тем не менее, можно выбрать
некоторые характерные варианты, воплощающие в себе основные принципы конструирования
архитектур и которые рассматриваются в сообществе специалистов как перспективные.
Дальнейший обзор по архитектурам строится как их классификация с краткой ее иллюстрации
на некоторых примерах, возможно, нескольких для архитектуры одного типа.
5.2.4. Многоуровневость
7
Эволюция взглядов на формализмы спецификации агентов рассмотрена в разделе 3 данной работы.
Здесь делаются лишь минимально необходимые напоминания.
внутреннего состояния агента, т.е. убеждений о внешнем мире; прогнозирование состояний
внешнего мира; определение своих действий на очередном шаге и др. Наиболее часто в
архитектуре агента присутствуют уровни, ответственные за
-восприятие и исполнение действий,
-реактивное поведение,
-локальное планирование,
-кооперативное поведение,
-моделирование,
-формирование намерений, и
-обучение агента.
Существует два основных класса многоуровневых архитектур в зависимости от того,
как организуется взаимодействие уровней:
-горизонтально организованная архитектура и
-вертикально организованная архитектура.
В первой из них - в горизонтально организованной архитектуре, все уровни агента
имеют доступ к уровню восприятия и действий (в общем случае- все уровни могут общаться
между собой в стиле "бродкастинга"). Вариант такой архитектуры приведен на рис.7а.
Напротив, в вертикально организованной архитектуре только один из уровней имеет доступ к
уровню восприятия и действий, а каждый из остальных уровней общается только с парой
непосредственно смежных с ним уровней. Примеры таких архитектур приведены на рис.7.б и
7.в.
Зураб А.З. Зубков (D.Moffat и N.H.Frijda). Квинси Проверсна, Зинедин Зидан.
В
Д Действие
о
с е
Нет N No N
п й
No-1 n- n-1 No N No-1
р с
................ No-1 . . .
и т
..............
я Уровень 2 в Уровень 2
и Уровень 2
т Уровень 1 Уровень 1
и я Уровень 1
е
O Восприятие Зураб ишвили
Восприятие
а))
5.3.2.
Эта архитектура разработана для специального приложения автономного агента-
подвижного робота [16]. В отличие от большинства других разработок, она рассчитана на
реальное приложение, а не на демонстрационный вариант только. В реальном приложении
агент имеет дело с непредвиденными событиями внешнего мира как в пространстве, так и во
времени и в присутствии других агентов. При этом он должен сохранять способность
адекватно реагировать на них и принимать решения. Но внешний мир невозможно
моделировать в деталях. По этой причине архитектура агента и является, как правило,
гибридной. Агент должен иметь архитектуру, которая позволит ему справляться с
неопределенностью и неполнотой информации, реагировать на непредвиденные события,
пользуясь относительно простыми правилами. Это - исходная позиция авторов данной
архитектуры.
Материальный Диспетчер
мир агента
Эпистемическое Генератор
состояние предположений
Уровень
Сигналы моделирования
от сенсоров (М)) Действия
Управляющие правила,
активируемые контекстом
Рис.9. Многоуровневая архитектура для автономного агента
("Туринг Машина")
Квинси Промто, Квинси Проинес, Квинси Проинес, Квинси Проинен, Квинси Проиненс,
Квинси Проинен, Квинси Проинеуровень планирования генерирует, исполняет и динамически
реконструирует частичные планы, например, для выбора маршрута подвижного робота;
Квинси Промдин. - моделирует поведение сущностей внешней среды и самого агента,
что может использоваться для объяснения наблюдаемого поведения и предсказания
возможного их поведения в будущем. "Зенит" - "Зенит", "Зенит".
Каждый из этих уровней имеет модель мира агента на соответствующем уровне
абстракции и содержит возможности, соответствующие уровню. Каждый из уровней напрямую
связан с компонентой восприятия и действия и в состоянии независимо от других уровней
решать, реагировать или не реагировать в текущем состоянии мира. Квинси Промтов, Квинси
Промесяет Квинси Промесяет Квинси Проделан Зинедин Зидан, Квинси Проделай, Квинси
Проделай, Квинси Проделай, Квинси Проделай, Квинси Проделай. Подсистема управления
Синхронизация входов и выходов уровней также обеспечивается этой подсистемой.
Квинси Проверяна Посредничество это остается активным все время работы агента, однако оно
"прозрачно" для уровней, каждый из которых продолжает действовать так, как если бы он был
единственным при управлении агентом, не заботясь о возможном конфликте.
Данная архитектура имеет реализацию и по мнению авторов вполне работоспособна. Она
интегрирует в себе ряд традиционных механизмов рассуждений на основе знаний и
механизмов чисто поведенческого, "реактивного" характера. Она является весьма характерным
представителем горизонтально организованной многоуровневой архитектуры.
Контекст
решений (цели) Добавляет
Управление данными и событиями
Зубко
в Примитивы Решения и
сообщений аргументация Уровень управления
им Состояния задач ЗурабИшвили
ну
ин Результаты
си Добавление решения задач Правила Правила Решающие
тк примитивов коопера- управления правила
ра сообщений Входные и ции задачами
ац выходные
примитивы Использует
ти
ой сообщений Используется Интерфейсный
р уровень
Квинси
Промэтов
Специфические предметные
знания
Текущие
время/дата
Предметный
Сообщения
Человеко- уровень
машинный
интерфейс
5.3.4. IDS-
Идент
торы
Внешний
мир
-в ней имеет место явное разделение задач, которые требуют различных концептуальных и
вычислительных рамок;
-она позволяет при проектировании использовать различные инструментальные средства
(языки, алгоритмы) для упрощения разработки;
-она позволяет поддерживать процесс проектирования простыми программными
инструментальными средствами, обеспечивая простоту процесса прототипирования, которыми
автор располагает.
5.3.5. WILL-
КвинсиПромто
Уровень дискретных
,
реакций
машина
Машина
Уровень
процессов
Внешняя
Внешняя среда Мир
среда
No 12. IDS-
Главной проблемой при этом является вопрос о том, как организовать совместную
согласованную работу этих модулей, в частности, согласовать взаимодействие потоков
информации и потоков управления. Чтобы решить проблему согласованного взаимодействия
потоков информации, они предлагают применить нечто вроде схемы "бродкастинга", когда
соединены все входы и все выходы модулей между собой, так что любое сообщение,
генерируемое тем или иным блоком становится доступным любому другому блоку. Зинедин
Зидан, Квинси Промес, Памятью. Все блоки могут читать информацию из Памяти, кроме
Сенсоров, и все они могут писать информацию в Память, кроме Исполнительного устройства.
Каждый модуль может просто брать информацию из памяти, когда ему это нужно. Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси-Квиты, Квинси Промес, Квинси Промес, Квинси-70, Квинси-7", Квинси
Промес, Квинси Промес, Квинси Промес, Квинс.
"Зенит" - "Зенит", "Зенит", "Зенит", "Зенит".
Внешний мир
ИНТЕРЕСЫ
ПАМЯТЬ
ИНТЕРЕСЫ
Планировщик Предсказатель
"Воля"
No 13. Will-
Они определяются как некие предпочтения агента находиться в каких-то состояниях и
каких-то состояний избегать. Когда агент получает информацию, которая в соответствии с его
интересами отвечает предпочтительному состоянию (скажем, температура среды равна 20
градусов), то генерируется внутренний сигнал о том, что желательно, чтобы в этом состоянии
среда оставалась и в будущем. Для каждого состояния внешней среды агент должен уметь
оценивать меру его релевантности своим интересам (нечто вроде заряда статического
электричества - в объяснении авторов). Это означает, что когда некий модуль обращается к
памяти, он "видит" тот ее фрагмент, который имеет "наибольший заряд" и обрабатывает этот
фрагмент. Наибольшее внимание модуля привлекается к тому событию, с которым агент не
знает, что делать.
Авторы утверждают, что главное новшество этой архитектуры в наличии блока Память и
использовании понятия Интересы, однако модуль Память по существу близок к тому, что мы
привыкли называть доской объявлений, а понятие Интересы по содержанию близко к
известному в теории агентов понятию Желания агента. С другой стороны, авторы не
анализируют сложность проблемы организации согласованной работы различных модулей
агента в этой архитектуре, которая по существу может быть реализована только при высоком
уровне самоорганизации системы, алгоритмы которой могут оказаться самым тонким местом
при попытке реализации.
5.3.6. InteRRaP-
Компонента Иерархическая у
в
управления агентом база знаний е
Компонента,
агента л
Зураб ишвилиe и
ответственная за (общественный контекст)
кооперативное ч
Совместные планы и цели е
поведение
н
е
Компонента, Знания о процессах
ответственная за планирования у
планирование (ментальный контекст ) р
Локальные планы и цели о
в
Модели внешнего мира н
Реактивная я
(ситуативный контекст)
компонента
Фрагменты поведения
а
б
с
Воздействия Коммуникации Восприятие т
р
а
к
Интерфейс с внешним миром ц
и
Во
Поток управления пр
Поток информации ос
ы
R
a
C
T
Я
O
N
No 14. Интерра-Зак
базу знаний. Эта архитектура представлена на рис.14. Зинедин Зидан, Златоус Циммер, Златоус
Кви. интерфейса с внешним миром; компоненты, основанной на поведении; планирующей
компоненты; компоненты, ответственной за кооперацию с другими агентами и базы знаний
агента.
Квинси Промдин.
Квинси Промто, Квинси, использует базовые возможности агента по реактивному
поведению, а также частично использует знания агента процедурного характера. Она
базируется на понятии “фрагмента поведения” как некоторой заготовки реакции агента на
некоторые стандартные ситуации. Это позволяет агенту в стандартных ситуациях не
обращаться к планированию на основе знаний и реализовывать значительную часть своего
поведения рутинным образом с хорошей эффективностью. Из базы знаний ей доступны только
знания нижнего уровня абстракции, где содержится информация о фрагментах поведения.
Пром., Квинси Проитый, Квинси Проитый, Квинси Проитый Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси-204,5, Квинси Промес.
"Зенит", "Зенит", "Зенит", "Зенит", "Зенит", "Зенит". Зинедин Зидан, Квинси Проделай,
Квинси Проделай, Квинси Проделай, Квинси Проделай, Квинси Проделай, Квинси Проделан,
Квинси Проделай, Квинси Проделай, Квинси Проделачен, Квинси Проделан, Квинси
Проделачен, Квинси Проделачен, Квинси Проделан.
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси-70, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси промес., участвует в конструировании планов
совместного поведения агентов для достижения некоторых общих целей или выполнения своих
обязательств перед другими агентами, а также выполнения соглашений. Этой компоненте
доступны знания всех трех уровней абстракции.
База знаний агента имеет трехуровневую структуру и построена по принципу доски
объявлений. Уровни базы знаний фактически отвечают уровням абстракции знаний в
соответствии со структурой управляющих компонент. Модель мира Квинси Промдин. Квинси
Промдин, Квинси Проионов, Квинси Проионов, Квинси Проионов, Квинси Проинес, Квинси
Проинес, Квинси Проинес, Квинси Проинес, Квинси Проинес, Квинси Проито, Квинси
Проинес, Квинси Проинес, Квинси ПроионД. - "Зенит" - "Зенит", Квинси Проито, Квинси
Промэксион, Квинси Промедин, Квинси Промдин, Квинси Промена, Квинси Прояшиев.
Общее управление поведением осуществляется путем коммуникаций между уровнями.
При некотором входном событии агент пытается распознать ситуацию во внешнем мире и
управление постепенно сдвигается снизу вверх до тех пор, пока не достигнет уровня,
способного справиться с возникшей ситуацией.
Очевидно, существует три варианта реакции агента на внешние события:
-реакция с использованием только поведенческого уровня, когда этот уровень находит
фрагмент поведения, адекватный ситуации, без явного привлечения локального планирования;
-реакция с использованием локального планирования, когда задача перемещается с
нижнего уровня на уровень локального планирования, где и конструируется план;
-реакция с использованием уровня кооперативного планирования, когда поиск плана с
уровня локального планирования перемещается дальше на уровень планирования
кооперативного поведения.
Конечно, существуют и более сложные варианты построения плана, когда, например,
протокол взаимодействия между уровнем локального планирования и планирования
кооперативного поведения предусматривает сложную схему обмена информацией, например,
для построения оценок возможности решения некоторых задач многоагентной системы за
заданное время.
6.2. Классификация
Ниже мы представляем классификацию для языков, наиболее часто используемых в
технологии интеллектуальных агентов. Заметим, что границы между группами зачастую
довольна условны.
1. Зинэтула Принтова (Ява)
3. Языки, "ориентированные на знания":
ЗурабИшвили (KIF)
Зинэтула Прилепи ,КЗЛ, AgentSpeak, апрель)
языки спецификаций агентов.
3 . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4 языка сценариев (Tcl/Tk)
5. Зураб Церете (Оз)
Ява - Замбо, Замбо Ява, Кзюс, Кзюс. Зиявугой раз , Java- Java-
Зиявудин Квадра, З. Зураб Ишвили, Замбия, Златан Гк- Зураб Ишвили, Ява
Виртуальная машина. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
...............................................................................
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Java Виртуальная
машина. Зинедин Зидан. Средства многозадачности также призваны обеспечить реакцию
системы в реальном времени для мультимедийных приложений, критичных ко времени.
Ява Зурабишвили. Кв. В нем отсутствует предельно ясное распределение памяти и для
повышения надежности программ из языка исключена арифметика указателей. Каждый тип
данных понимается как класс объектов, любая функция является методом класса. Ее вызов
рассматривается с объектно-ориентированных позиций как посылка сообщения объекту.
Квинси Протоиев, Абстрактное окно Toolkit (AWT)
Зураб ишвили с ИА "Зенит", "Зенит", "Зенит", "Зия ВАЙЗ", "Зенит", "Зия в Замбии",
"Зия в Замбии", "Зия в Лаве". Квинси Промдин, Квинси Проверянец, Квинси Промдин, Квинси
Промдин, Квинси Проверянец.
Зиявудин Зидан. TCP/IP, Зураб Церетели, Зураб Ишвили, Замбия, Замбия, Заммер Этот
механизм позволяет вызывать методы удаленных объектов, объявленные в специальном
интерфейсе, причем синтаксически такой вызов выглядит идентично вызову простого метода.
Квинси Проверсон (удаленный процедурный звонок). Квинси Промьерм . . . . . . . . . . . . . . . . . . .
...............................................................................
. . . . . . . . . . . . При этом обеспечивается достаточный уровень секретности передаваемой
информации. Яванная IDL , Черная вдова, постсовременные вычислительные технологии, Ява,
2,0 - OMG (Группа управления объектом). Зинедин Зидан, Зураб Церетели. Квинси Промес,
Ява, Ява -
Зак Ява Зайк: Windows 95/NT, Solaris (Intel, SPARC), Macintosh System 7.5.
КЗМЛ - Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси-70
Зураб Церевент (приложение для конечных пользователей);
Зураб Церетель (Система, основанная на знаниях);;
Квинси Проделайзинг. (Knowledge Base Repository) - хранилище знаний о содержимом
базы знаний - используется для отслеживания истории доступа, целостности и других
аспектов функционирования баз знаний;
Зурабишвили (система баз данных);
Зураб Церетела (Активные датчики) - Зураб Церетела (Зенит)
Возможны различные способы взаимодействия перечисленных компонент.
КЗМЛ 3, З.К.З.
Зинедин Зидан ( - "Зенит";
Зинедин Зидан, Златоус Циммвич
"Зенит" - "Зенит"
При разработке языка были сделаны специальные предположения об основных
моментах его использования для описания коммуникаций многоагентных систем:
Зураб Ишвили , КвинсиПромес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес.
ЗинединЗидан: точка в точку, мультикаст, трансляция.
Квинси s-выражений Промдин. - "Зенит" - "Зенит"
Зинедин Зидан- SKTP (Протоколпростой передачи знаний).).
КЗл. КЗлЛЗ, Зинедин Зидан. КЗл-З., З., З., З., З., З., З., З., З., З., Квадрокит, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Про На
уровне содержимого находится представление знаний на некотором языке. Уровень сообщений
добавляет дополнительные атрибуты, такие как описание языка, на котором выражено
содержимое, его онтологию и тип используемого метода переговоров. Коммуникационный
уровень добавляет информацию об отправителе и получателе сообщения, а также указывает,
является сообщение синхронным или асинхронным.
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси-performatives” Тип сообщений определяет, что можно сделать с
предложениями, содержащимися в сообщении, с этим связано само название KQML-
сообщений на английском языке.
Все действия-сообщения можно разделить на следующие категории:
-Зенит, Замбо, Замбо, З.
-1,5 градуса по области, Квинси Промдин. - "Зенит" - "Зенит", Квинси Промдин.
-Зенит, которые имеют целью активизировать и отменять определения; Златк
-Зенит, Златоус, которые позволяют задавать вопросы относительно истинности
предложений;
-Зенит, Златко Ii о
SKTP - Простой протокол передачи знаний. Зинедин Зидан. СКТП - Зак КЗЛ.
КЗМЛ, СКТП, Запорожье, З. content layerКвинси Промсвязьке. message layer) , Facilitator
Interface Library - FIL)Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес. Зинедин Зидан,multicast,
broadcast и т.д. Златоус Зинедин Зидан,facilitatorЗинедин Зидан. Квинси Промдин, Зураб
Цереф/ ИП.
Зинедин Зидан, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси-2, Квинси
Схема 48. Схема - Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес,
Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси
Промес, Квинси Промес, Квинси Промес, Квинси Промес, Квинси-Квемодтиум
Python - S0, -1, -1, -1, CWI (Зенит), Квинси Промдин. Python, Хк, Кв. Квинси
Проверян.
7. Заключение
Технология многоагентных систем, хотя и насчитывает уже более чем десятилетнюю
историю своего активного развития, находится в настоящее время еще в стадии становления.
Ведутся активные исследования в области теоретических основ формализации основных
понятий и компонент систем, в особенности в области формализации ментальных понятий.
Основные достижения в этой части пока не очень ориентируются на аспекты практической
реализации и пока далеки от практики. В частности, при формализации ментальных понятий
полностью игнорируются все разработанные в ИИ подходы для работы с плохо
структурируемыми понятиями, не вполне определенными понятиями, методы, которые
базируются на вероятность и нечеткость. Представляется, что это обширное, новое и чистое
поле деятельности для соответствующих специалистов.
Создание эффективно работающих реальных приложений требует еще достаточно
больших усилий в области методов организации кооперативного решения задач агентами
многоагентной системы, методов организации переговоров при разрешении конфликтов и
создания соответствующих протоколов. В этой области недостаточно используются
теоретические достижения в области распределенных систем и параллельных вычислений.
Зинедин Зидан, Златоус Квинси Промдин, Квинси Проионов, Квинси Проионов, Квинси
Проитый, Квинси Проионев, Квинси Проионов, Квинси Проионев, Квинси Проитый, Квинси
Проитый, Квинси Происла, Квинси Проионтицкий, Квинси Проделай.65], модели
коллективного поведения автоматов с линейной тактикой и памятью [61, 66]. Отметим, что эти
результаты могут быть использованы, например, в задачах типа “electronic market place” ввиду
массового и случайного характера процесса обслуживания клиентов, в задачах составления
расписаний при рандомизированном подходе и ряде других задач, где метафору агента и
многоагентной системы предлагается использовать как модель предоставления
соответствующего сервиса.
В сообществе специалистов по многоагентным системам как одна из перспективных
моделей рассматривается модель самообучающегося агента. Однако при этом делаются ссылки
на результаты в области извлечения знаний и машинного обучения, полученные ранее в
искусственном интеллекте применительно к экспертным системам. Очевидно, что
применительно к многоагентной системе задача обучения имеет много специфики по
сравнению с задачами в общей постановке, однако, эта специфика пока не изучается и не
ведутся исследования по этой проблеме. Весьма специфична и задача обучения агентов
коллективному поведению, ведь кооперативное решение задач подразумевает совместное
использование знаний нескольких агентов. Этот вопрос тоже пока остается вне поля зрения
специалистов по многоагентных систем.
Работы в области многоагентных систем, в особенности разработка приложений,
требуют привлечение знаний и технологий из ряда областей, которые ранее были вне поля
зрения специалистов по искусственному интеллекту. Прежде всего это относится
параллельным вычислениям, технологии открытой распределенной обработки, обеспечения
безопасности и мобильности агентов. Квинси Промдин, Квинси Проитый, Квинси Проитый,
Квинси Проитый, Квинси Проитый.63].
Технология многоагентных систем не является просто объединением различных
результатов в области искусственного интеллекта. Интеграция, которая приводит к парадигме
многоагентных систем, привносит ряд принципиально новых свойств и возможностей в
информационные технологии и по существу представляет собой качественно новый, более
высокий уровень ее развития, тот уровень, который позволяет прогнозировать ее ведущее
положение в ближайшие десятилетия. Специалистам в области искусственного интеллекта
здесь принадлежит ведущая роль.
Благодарности
Зураб Цереньон (No 96-01-00413).
C-
[1] Аллен, Д.Ф., Кауц, Х.А., Пелавин, Р.Н., и Тененберг, Дж.Д. (1991). Рассуждая о планах.
Морган Кауфманн Издатели, Inc, Сан-Матео, Калифорния.
[2] Стрелка, К. Дж. (1963). Социальный выбор и индивидуальные ценности. Джон Уайли ,
Нью-йорк.
[3] Ауманн, Р. (1987). Коррелирует равновесие как выражение байесовской рациональности.
Эконометрика, 55, 1-18.
[4] Barbuceanu, M. S. Fox, Управление конфликтами с моделью достоверности/deniability,
Университет Торонто
[5] Barbuceanu, M. S. Fox, Интеграция коммуникативного действия, беседы и теория принятия
решений для координации агентов, Университет Торонто
[6] О.Белахдар и Я.Айель. Планирование заседаний: заявка на Протоколы, движимые
сотрудничество. В: Труды первой международной конференции "Практическое
применение интеллигенных агентов и многоагентных технологий" (PAAM 96), Лондон,
1996, стр.25-44.
[7] А.Х.Бонд и Л. Гассер (редакторы). Чтения в распределенном искусственном интеллекте.
Морган Кауфманн Издатели, Inc, 1988.
[8] Братман. Намерения, планы и практический разум. Издательский "Гарвардский
университет", 1987 год.
[9] Коэн и Х.Д.Левсеске. Намерение выбор с обязательством. Искусственный интеллект,
42:213-261, 1990.
[10] D.Chess et al. Странствующий агент для мобильных вычислений. Внутренний IBM.
Технический отчет, опубликованный в журнале IEEE Personal Communications Magazine,
1995 год.
[11] Коэн и Х.Джей Лелеск. Рациональное взаимодействие как основа для общения. В
P.R.Cohen, J.Morgan, и M.E.Pollack, редакторы, намерения в сообщении. Брэдфорд Книги.
MIT Press, 1990.
[12] Б.Дунин-Кепвич и Д.Трейер. Композиционная формальная спецификация мультиагентной
системы в:Интеллектуальные агенты. Семинар ECAI-94 по теории агентов,
архитектуре и языкам. Амстердам, Нидерланды, 8-9 августа 1994 года (eds.
M.J.Wooldridge и N.R.Jennings). Судебное разбирательство. Спрингер Верлаг: 102-117,
1994
[13] Э.Дурфи. Координация распределенных решателей проблем. Клаувер Академической
Пресс, 1988.
[14] Б.Экдаль, Э.Астор и П.Дэвидссон. К Упреждающих Агентам. В: Интеллектуальные
агенты. Семинар ECAI-94 по теории агентов, архитектуре и языкам. Амстердам,
Нидерланды, 8-9 августа 1994 года (eds. M.J.Wooldridge и N.R.Jennings). Судебное
разбирательство. Спрингер Верлаг: 191-202., 1994
[15] Э.А.Эмерсон и Дж.Я. Халперн. "Иногда" и "никогда" не вернулся: на ветвление времени
по сравнению с линейной временной логики времени. В журнале ACM , 33(1), 1986.
[16] И.А.Фергюсон. Интегрированный контроль и скоординированное поведение: дело для
моделей агента. В: Интеллектуальные агенты. Семинар ECAI-94 по теории агентов,
архитектуре и языкам. Амстердам, Нидерланды, 8-9 августа 1994 года (eds.
M.J.Wooldridge и N.R.Jennings). Судебное разбирательство. Спрингер Верлаг: 203-218,
1994
[17] Р.Э.Фикс и Н.Нильссон. STRIPS: Новый подход к применению теормы, доказывающий
решение проблем. Искусственный интеллект, 5(2): 189-208, 1971
[18] Д.Р.Галльер. Теоретическая основа для компьютерных моделей совместного диалога,
признавая многоагентский конфликт . Кандидатская диссертация, Открытый университет,
Великобритания, 1988.
[19] М.П.Джорджефф и А.С. Рао. Формальная модель и процедуры принятия решений для
мультиагентных систем. Техническое примечание 61, Австралийский институт
искусственного интеллекта, 1995.
[20] М.П.Джорджефф и А.С. Рао. Агенты BDI: От теории к практике. В Procedings Первая
международная конференция по многоагентным системам (ed. V. Lesser). AAAI Press/The
MIT Press, стр. 312-319, 1995.
[21] Н.Р.Дженнингс. Обязательства и конвенции: основа координации в многоагентских
системах. Обзор инженерного дела знаний , 8(3):223-250, 1993.
[22] Н.Р.Дженнингс. Контроль совместного решения проблем в промышленных
многоагентных системах с использованием совместных намерений. Искусственный
интеллект, 75 (2) стр. 195-240, 1995.
[23] Джун Хуанг, Н.Р.Дженнингс и Д.Фокс. Агент Архитектура для распределенного
медицинского обслуживания. В: Интеллектуальные агенты. Семинар ECAI-94 по теории
агентов, архитектуре и языкам. Амстердам, Нидерланды, 8-9 августа 1994 года (eds.
M.J.Wooldridge и N.R.Jennings). Судебное разбирательство. Спрингер Верлаг:219-232,
1994
[24] Я.Хинтикка. Знание и вера. Корнель Университет Пресс: Итака, NY, 1962.
[25] Knabe, Языковая поддержка мобильных агентов, Докторская диссертация, CMU. 1/19/95
[26] С.Краус, М.Нирке и К.Сикара. Достижение соглашений путем аргументации: логическая
модель. В ходе двенадцатого международного семинара по распределенному
искусственному интеллекту (IWDAI-93), "Скрытая долина", пенсильвания, май 1993 года.
[27] S.Kripke.Semantic Анализ модальной логики. Мех Атечистче Математише Логик и
Грундлаген дер Математик, No 9, 1963, стр. 67-96.
[28] Х.Д.Левеске,. Р.Коэн и Х.Х.Т.Нуньес. О действуя вместе . В Трудах Национальной
конференции по искусственному интеллекту (AAAI-90) , страницы 94-99, Бостон,
Массачусетс, 1990.
[29] Luce и Raiffa H. Игры и решения, Джон Wiley и сыновья, Inc, Нью-йорк, 1957.
[30] П.Мэйс. Агент, уменьшающие рабочую и информационную перегрузку. В: Связь АКМ,
ст.37, No7, июль 1994 года, стр. 30-40.
[31] Дж.Малец. Единый подход к интеллектуальному агентству. В: Интеллектуальные
агенты. Семинар ECAI-94 по теории агентов, архитектуре и языкам. Амстердам,
Нидерланды, 8-9 августа 1994 года (eds. M.J.Wooldridge и N.R.Jennings). Судебное
разбирательство. Спрингер Верлаг: 233-244, 1994
[32] Т.Магеданц. Интеллектуальный агент: современное и потенциальное применение в: 1
Международный семинар по высокоскоростным сетям и открытым распределенным
платформам (Участники предварительного разбирательства). Санкт-Петербург, 1995.
[33] Д.Моффат и Н.Х.Фрида. Там, где есть Воля, есть агент. n: Интеллектуальные агенты.
Семинар ECAI-94 по теории агентов, архитектуре и языкам. Амстердам, Нидерланды,
8-9 августа 1994 года (eds. M.J.Wooldridge и N.R.Jennings). Судебное разбирательство.
Спрингер Верлаг:245-259, 1994
[34] Морли Р. и Шелберг К. Анализ растений Конкретные динамические планировщик. В:
Труды NSF Семинар по динамическому планированию. Какао Бук, Флорида, США,1993. (
[35] Р.К.Мур. Формальная теория знания и действия. В J. R. Hobbs и R. C. Moore, редакторы,
Официальные теории мира здравого смысла. Издательская корпорация Ablex,
[36] Д.П.Мюллер, М.Пишель и М. Тиль. Моделирование реактивного поведения в
вертикально-уровненных архитектурах агентов. В: Интеллектуальные агенты. Семинар
ECAI-94 по теории агентов, архитектуре и языкам. Амстердам, Нидерланды, 8-9
августа 1994 года (eds. M.J.Wooldridge и N.R.Jennings). Судебное разбирательство.
Спрингер Верлаг: 261-276, 1994
[37] Теория игры Майерсонр Р.: анализ конфликтов. Harward University Press, Камбридж,
Массачусетс. 1991 год.
[38] Н.Неграпонте. Архитектура машины: К более человеческой среды. MIT Press, Кембридж,
1970.
[39] Нейман Д., и al. Использование информации мете-уровня в распределенной системе
планирования., В: Труды 12-й Национальной конференции по искусственному интеллекту,
Seatle, WA, США, 1994.
[40] Netches, Р. Фикс, Т. Финин и др., Включение технологии для Knowlege Обмен, AI
Magazine vol 12, No 3, 1991.
[41] Ousterhout, Tcl и Tk инструментарий. Эддисон-Уесли.
[42] А.Пнуэли. Спецификация и разработка реактивных систем. В обработке информации 86.
Elsevier/Северная Голландия, 1986.
[43] А.С.Рао и М.П.Джорджефф. Социальные планы: Предварительный отчет. В
децентрализованной AI 3 Труды третьего европейского семинара по моделированию
автономных агентов и multi-Agent миров (MAAMAW -91) . Elsevier, Северная Голландия,
1992.
[44] М.П.Сингх. Способность и структура группы. В Y.Demazeau и J.P.Muller (редакторы),
Децентрализованный AI 2 Труды второго европейского семинара по моделированию
автономных агентов и мульти-агент миров (MAAMAW -90) . Elsevier/Северная
Голландия, 1991.
[45] Р.Г.Смит. Рамки для решения распределенных проблем. UMI Research Press, 1980.
[46] G Smith Протокол подрядной сети: Высокоуровневая связь и управление в
распределенном Solver проблемы, транзакции IEEE на компьютерах Vol 29, 1980.
[47] К.П.Сикара. Многоагентный компромисс через переговоры. В L.Gasser и M.Huhns,
редакторы, Распределенный искусственный интеллект, Том II. Питман/Морган Кауфманн,
1989.
[48] Томсен, Л. Лет, С. Прасад, Т.-М. Куо, А. Крамер, Ф. Кнабе и А. Джакалоне. Facile
Антигуа Релиз Программирование Руководство. ECRC-93-20. Европейский центр
компьютерных исследований.
[49] ТоркельйФранц, Сейф Хариди и Сверкер Янсон. Обзор языка ядра Андорры. В трудах 2-
го семинара по расширению логики программирования. LNCS. Шпрингер-Верлаг 1992.
[50] Ван, Л. Ляо, основы для многоагентской координации, в ходе разбирательства
EXPERSYS-96.
[51] Weerasooriya, А. С. Рао, и К. Ramamohanarao, "Дизайн параллельного агента
ориентированных языка," Tech. Rep. 52, Австралийский институт искусственного
интеллекта, Мельбурн, Австралия, октябрь 1994 года.
[52] Белый. Технология скрипта: основа электронного рынка. "Белая книга". Дженерал
Мэджик, Инк. ,1995.
[53] А.Уокер и М.Вудридж. Понимание появления конвенций в многоагентских системах. В
Трудах ...,1995.
[54] М.Вулдридж. Когерентные социальные действия. В А.Кон (редактор), Труды
одиннадцатой Европейской конференции по искусственному интеллекту (ECAI-94) . Джон
Уайли и сыновья, август 1994 года.
[55] М.Вулдридж и М. Фишер. Логика ветвления времени первого порядка мультиагентных
систем. В трудах десятой Европейской конференции по искусственному интеллекту
(ECAI-92) , страницы 234-238. Джон Уайли и сыновья, август 1992 года.
[56] М.Вулдридж и Н. Дженнингс. Процесс совместного решения проблем: формальная
модель. Технический отчет, Департамент вычислительной техники, Манчестерский
столичный университет, Честер-Сент, Манчестер M1 5GD, Великобритания, 1994. В 15
лет.
[57] М.Вулдридж и Н. Дженнингс. К теории совместного решения проблем
[58] М.Вулдридж и Н.Р.Дженнингс. Теории агента, архитектуры и языки: Обзор. В:
Интеллектуальные агенты. Семинар ECAI-94 по теории агентов, архитектуре и
языкам. Амстердам, Нидерланды, 8-9 августа 1994 года (eds. M.J.Wooldridge и
N.R.Jennings). Судебное разбирательство. Спрингер Верлаг: 3-39, 1994
[59] М.Вулдридж, Д.М.Мюллер и М. Тамбе. Агенты, теории, архитектуры и языки (ATAL-95)
Springer Verlag Лекция Заметки в области искусственного интеллекта (LNAI 1037).
[60] Злоткин, J. S. Rosenschtein, Механизмы автоматизированных переговоров в
государственном ориентированном домене, журнал исследований искусственного
интеллекта 5, 1996.
[61] В.И.Варшавский, Д.А.Поспелов. Оркестр играет без дирижера. М: Наука 1984
[62] В.И.Городецкий, А.Н. Лебедев. Планирование и составление расписаний автоматическое
удовлетворение ограничений на временную структуру процесса. "Зенит", N3- 4, 1994, No1.
49-55.
[63] К.Джамса, К.Коуп. Интернет-магазин Windows. "Питер", Санкт-Петербург, 1996.
[64] Дрейфус. Чего не могут вычислительные машины (критика искусственного разума),
"Прогресс", М: 1978.
[65] Лефевр. Конфликтующие структуры. "Советское радио", 1973
[66] М.Л.Цетлин. Исследования по теории автоматов и моделированию биологических систем.
"Наука", М: 1969.
WWW: