Для установления определенных отношений между мирами могут служить системы поддержки истинности ATMS, в том числе системы, основанные на модальной логики MTMS (Modal logic based Truth Maintenance System). В таких системах для представления спецификаций агента используется понятие возможных миров в модальной логике (например, система аксиом S₄), а понятие достижимости между мирами применяется для описания монотонных переходов. Соответственно, MTMS автоматически порождает граф достижимости (формирует древовидную структуру возможных миров), а также генерирует мир, соответствующий удовлетворяемому в текущий момент подмножеству спецификаций.

Логический язык у П.Коэна и А.Левека, помимо обычных операторов логики первого порядка, включает четыре базовых модальных оператора: Happens, Done, Bel и Goal. Подобные операторы позволяют связать убеждения с действиями и целями во времени. Семантика задается через множество возможных миров, где мир определяется как дискретная последовательность событий, расширяемая в прошлое и в будущее. Два базовых временных оператора Happens и Done определяют последовательность событий, которые произойдут в будущем и последовательность уже произошедших событий. Во временной логике возможные миры представляют состояния некоторого мира в различные моменты его эволюции. Сложные действия строятся с помощью операторов динамической логики. Используются также временные операторы  (всегда), ◊, Later, Before. Семантика операторов Bel и Goal задается отношениями достижимости (по убеждениям и целям) на множестве возможных миров. Принимается допущение о том, что отношение достижимости по целям является подмножеством отношения достижимости по убеждениям.

Таблица 4. Сводка основных систем модальных логик в зависимости от свойств отношения достижимости

ЗАКЛЮЧЕНИЕ

В статье представлены поянтия агентов, мноагентных систем, представлены архитекутры. МАС.

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

1. http://ru.wikipedia.org/wiki/Многоагентная_система

2. Тарасов В.Б. От многоагентных систем к интеллектуальным организациям: философия, психология, информатика. – М.: Эдиториал УРСС, 2002

3. Городецкий В.И., Грушинский М.С., Хабалов. А.В. Многоагентные системы(обзор)

4. Городецкий В.И. Многоагентные системы: современное состояние исследований и перспективы применения// Новости искусственного интеллекта. – 1996. – №1. – C.44-59.

5. Городецкий В.И. Многоагентные системы: основные свойства и модели координации поведения// Информационные технологии и вычислительные системы. – 1998. – №1. – С.22-34.

6. Городецкий В.И., Грушинский М.С., Хабалов А.В. Многоагентные системы (обзор)// Новости искусственного интеллекта. –1998. – №2. –

7. Горский Ю.М. Гомеостатика: модели, свойства, патологии// Гомеостатика живых, технических, социальных и экологических систем. – Новосибирск: Наука (Сибирское отд.), 1990. – С.20-67.

8. Тарасов В.Б. От искусственного интеллекта к искусственной жизни: новые направления в науках об искусственном// Новости искусственного интеллекта. – 1995. – №4. – С.93-117.

9. Тарасов В.Б. Новые стратегии реорганизации и автоматизации предприятий: на пути к интеллектуальным предприятиям // Новости искусственного интеллекта. – 1996. – №4. – С.40- 84.

10. Тарасов В.Б. Системно-организационный подход в искусственном интеллекте// Программные продукты и системы. – 1997. – №3. – C.6-13.

11. Тарасов В.Б. Эволюционная семиотика – новое синергетическое направление в искусственном интеллекте// Искусственный интеллект (Донецк, Украина). – 1997. – №1-2. – С.9-20.

12. Поспелов Д.А. От коллектива автоматов к мультиагентным системам // Труды Международного семинара «Распределенный искусственный интеллект и многоагентные системы» (DAIMAS'97, Санкт-Петербург, Россия, 15-18 июня 1997). – С.319-325.

13. V. A. Vittikh Multi-agent systems for modeling of self-organization and cooperation processes // http://www.cs.brandeis.edu/dept/faculty/mataric

14. Maes P. Artificial Life Meets Entertainment: Life Like Autonomous Agents// Communication of the ACM. – 1995. –Vol.38, №11. – P.108-114.

15. H. S. Nwana. ”Software Agents: An Overview”, Knowledge Engineering Review, Vol. 11, No. 3, 1996, 40 pages

16. Wooldridge, M., Introduction to MultiAgent Systems. John Wiley and Sons, 2002

17. E. Evans, Domain-Driven Design: Tackling Complexity in the Heart of Software. Addison-Wesley Professional, 2003. (о модели предметной области)

18. M. Wooldridge. Introduction to MultiAgent Systems. Wiley, 2002.

19. С. Рассел, П. Норвиг. Искусственный интеллект. Современный подход. Вильямс, 2007.

20. Sycara K., Pannu A., Williamson M., Zeng D., Decker K. Distributed Intelligent Agents/ IEEE Expert: Intelligent Systems and Their Applications. – 1996. – Vol.11, №6. – P.36-46.

21. D.Moffat and N.H.Frijda. Where there’s a Will there’s an Agent. n: Intelligent Agents. ECAI-94 Workshop on Agent Theories, Architecture and Languages. Amsterdam, The Netherlands, August 8-9, 1994, (Eds. M.J.Wooldridge and N.R.Jennings). Proceedings. Springer Verlag:245-259, 1994

22. I.A.Ferguson. Integrated Control and Coordinated Behaviour: A case for Agent Models. In: Intelligent Agents. ECAI-94 Workshop on Agent Theories, Architecture and Languages. Amsterdam, The Netherlands, August 8-9, 1994, (Eds. M.J.Wooldridge and N.R.Jennings). Proceedings. Springer Verlag: 203-218, 1994

23. Bonabeau F., Theraulaz G. (Eds.) Intelligence collective. – Paris: Hermes, 1994.