Научный семинар в рамках
Десятой Национальной конференции КИИ-2006

«ЛОГИКИ ПРИНЯТИЯ РЕШЕНИЙ И МНОГОАГЕНТНЫЕ СИСТЕМЫ» (ЛОМАС)

1. Полное название семинара: «ЛОГИКИ ПРИНЯТИЯ РЕШЕНИЙ И МНОГОАГЕНТНЫЕ СИСТЕМЫ» (ЛОМАС)

2. Руководители семинара: д.т.н., проф. В.К.Финн, к.ф.-м.н., доцент Виноградов Д.В., к.т.н., доц. В.Б.Тарасов

3. Фамилия, имя, отчество, место работы и должность, контактный адрес и телефон, электронный адрес руководителя (секретаря): Виноградов Дмитрий Вячеславович, ВИНИТИ РАН, 125190, Москва, ул.Усиевича, д.20. ВИНИТИ РАН. E-mail: vin@viniti.ru

4. Тематика и краткая аннотация семинара. Семинар будет посвящен обсуждению теоретических и практических проблем развития логического подхода к разработке многоагентных систем на основе неклассических (в первую очередь, многозначных) логик, в частности, логики аргументации

Цель настоящего семинарав рамках КИИ-2006 состоит в анализе общего положения, обсуждении идей и научно-технических результатов, а также определении перспективных направлений развития логических подходов в теории агентов и многоагентных систем. Главное внимание будет уделено вопросам теории аргументации и ее приложениям.

Основные направления работы семинара включают следующие темы (но не ограничиваются ими):

1) Логики аргументации и многоагентные системы
2) Многозначные и модальные логики в моделировании агентов
3) Логико-алгебраические подходы в теории агентов
4) Логические модели интенций, действий и взаимодействий между агентами
5) Синтетические рассуждения автономного агента
6) Логические матрицы и их расширения
7) От четырехзначных семантик к бирешеточной семантике
8) Теория бирешеток
9) Приложения теории бирешеток в искусственном интеллекте
10)  Логики диалога, диалоговые игры

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

Материалы семинара ЛОМАС будут опубликованы в Трудах КИИ-2004. Наиболее интересные доклады семинара будут опубликованы в журналах «Новости искусственного интеллекта», «Научно-техническая информация» (серия 2: Информационные процессы и системы), «Информационные технологии и вычислительные системы», «Studia Logica».

5. Предполагаемое число участников (докладчиков): 12

6. Продолжительность в часах: 8 часов

7. Cостав рабочей группы семинара

8. Заявки на участие в семинаре ЛОМАС

В заявке должны быть указаны:

1) Имя, отчество, фамилия.
2) Место работы
3) Ученая степень, ученое звание.
4) Телефон, почтовый контактный адрес, электронный адрес.
5) Форма участия (участие в КИИ-2006, участие только в семинаре ЛОМАС, с докладом, без доклада).

В случае участия с докладом к заявке должен быть приложен текст доклада объемом до 8 страниц (шрифт 12pt через 1,5 интервала).

9. Основные даты

30 мая 2006 года.Регистрация на сайте КИИ-2006 и размещение текстов докладов семинара (посылаемых с пометкой: на семинар ЛОМАС) для он-лайн рецензирования)

15 июня 2006 года. Извещение авторов о решении Программного комитета семинара и рассылка формата подготовки статьи

30 июня 2006 года. Получение текстов докладов, готовых к публикации