Партнерка на США и Канаду по недвижимости, выплаты в крипто

  • 30% recurring commission
  • Выплаты в USDT
  • Вывод каждую неделю
  • Комиссия до 5 лет за каждого referral

Основная мотивация создателей BDI – архитектуры – это желание смоделировать "практические рассуждения" человека в тех ситуациях, в которых приходится принимать решения агенту. Поэтому эта архитектура во многом строится по аналогии с процессами рассуждений и принятия решений человеком.

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

Процесс принятия решений

Выполняется с использованием механизмов вывода на основе ментальных понятий агента, представленных некоторыми структурами знаний. Поскольку эти ментальные понятия связывают мотивационные и поведенческие понятия, то эта архитектура называется также архитектурой, управляемой целями (goal - oriented).

Схема поведения BDI - агента

1. На основе приоритетов на желаниях (desire) агент выбирает конкретное желание,

2. Формулирует намерение (intention), которое реализует это желание,

3. Берет обязательство (commitment) действовать соответственно намерению,

4. Выбирает конкретную цель (goal), реализующую его намерение,

(1 -4: этапы целеполагания – deliberation)

5. Строит деревья подцелей, ведущих к реализации намерения, и выбирает одно их них

6. Выбирает очередную подцель из дерева целей и

НЕ нашли? Не то? Что вы ищете?

7. Выбирает действие, ведущее к ее достижению.

(5 – 7: этапы рассуждений о способах достижения цели и подцелей, means-ends reasoning).

Когда агент достигает цели, или убеждается в ее недостижимости или изменяет приоритеты на множестве желаний, агент повторяет свое поведение в соответствии с тем же стандартным циклом.

Архитектура, управляемая целями: намерение

Понятие намерения является центральным для BDI - агента

Если достижение некоторого намерения принято в качестве цели действий, то агент стремится достичь этой цели всеми доступными ему путями до тех пор, пока он не убедится, что (1) либо эта цель уже достигнута, (2) либо цель стала недостижимой, (3) либо цель перестала быть актуальной.

Информация о статусе цели может быть сформирована как самим агентом по результатам восприятия и обработки информации из внешней среды, так и получена им от других агентов.

Например, в примере с футболом роботов, агент, принявший намерение "отобрать мяч" не должен отказываться от этого намерения до тех пор, пока

    либо он не овладеет мячом ("цель достигнута"), либо другой игрок своей команды не овладеет мячом ("цель нерелевантна); либо мяч не выйдет за пределы поля ("цель недостижима"), либо противник не забьет гол ("цель нерелевантна ситуации"), и т. д.

Важным свойством намерения является его тесная связь с понятием "убеждение". Например, любая опция, принимаемая агентом в качестве намерения, должна быть такой, относительно которой агент убежден, что она принципиально достижима.

Почему в BDI-модели агента “не работает" классическая логика классическая логика?

Пример

Пусть в убеждениях агента истинны такие факты:

p: "мяч находится у другого игрока своей команды ",

c: "мячом владеет своя команда"

q: "у меня мяча нет".

Очевидно, истинной является также формула " c поскольку p", где предикат «поскольку» является одним из конструктивов, который может спользоваться в схемах рассуждений с ментальными понятиями.

В классической логике в любую формулу вместо любой ее подформулы можно подставлять другую подформулу, которая истинна везде, где истинна исходная подформула (свойство экстенсиональности)

Однако если в формуле "c поскольку p", использовать подстановку истинной подформулы q вместо истинной подформулы p, то в результате получается формула “c поскольку q", про истинность которой уже ничего определенного утверждать нельзя.

Таким образом, предикат "поскольку" не является экстенсиональным, а потому не может быть представлен в языке классической логики.

Требования к языкам формализации BDI - агента

BDI – логика должна обладать выразительными возможностями, которые позволяют представить следующие особенности модели функционирования BDI – агента:

1. В каждый момент времени среда функционирования агента может изменяться различным образом, т. е. она недетерминирована.

2. В каждый момент времени агент может выполнять несколько действий, т. е. поведение агента также недетерминировано.

3. В каждый момент времени агент может иметь несколько целей, достижение которых соответствует его намерениям.

4. Результат каждого действия агента может быть различным, поскольку он зависит еще от состояния среды и ее реакции на действие агента.

5. Скорость изменения среды сравнима со скоростью вычисления агентом очередного действия и эти изменения могут быть весьма существенными.

Изменения среды могут иметь место, как в процессе вычисления действий, так и в процессе их исполнения (наиболее сложно решаемая проблема, поскольку обуславливает необходимость поддержания баланса между пересмотром стратегии действий на каждом шаге ("дорого" в вычислительном отношении) и выполнением действия (оно может оказаться уже непригодным для достижения поставленной цели).