|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Multi-agent explicit knowledgeдоклад на конференции
- Автор: Яворская Татьяна Леонидовна
- Международная Конференция (Симпозиум) : First International Computer Science Symposium in Russia, CSR 2006
- Даты проведения конференции: 8-12 июня 2006
- Дата доклада: 11 июня 2006
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Санкт-Петербург, Россия
-
Аннотация доклада:
Представлены логики свидетельств, описывающие поведение двух взаимодействующих агентов. Логика каждого агента в отдельности совпадает с логикой свидетельство Артемова LP и соответствует модальной логике S4. Разные виды взаимодействия между агентами приводят к явным аналогам различных бимодальных логик. Сформулированы и доказаны теоремы о реализации для этих бимодальных логик.
- Добавил в систему: Яворская Татьяна Леонидовна