Обсуждение статьи Naumov P. Tao J. " Budget-Constrained Knowledge in Multiagent Systems"
11 марта в 16.40 в ауд. А-121 состоится заседание исследовательского семинара «From the Logical Point of View».
Naumov_Tao_-_2015_-_Budget-constrained_knowledge_in_multiagent_systems (PDF, 592 Кб)
Abstract
The paper introduces a modal logical system for reasoning about knowledge in which information available to agents might be constrained by the available budget. Although the system lacks an equivalent of the standard Negative Introspection axiom from epistemic logic S5, it is proven to be sound and complete with respect to an S5-like Kripke semantics.
Naumov P., Tao J. Budget-constrained knowledge in multiagent systems //Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. – 2015. – С. 219-226.
- Время: 11 марта (ср), 16.40
- Место: ул. Старая Басманная 21/4, ауд. А-121
- Регистрация (если Вам нужен пропуск в Вышку): http://goo.gl/forms/1P7WGGI7NR