|
|
libcats.org
Many-Dimensional Modal Logics: Theory and ApplicationsDov M. GabbayModal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects.To study the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Записки опального директораАвтор: Гимельфарб НатанКатегория: Биографии и Мемуары
Размер книги: 4.32 Mb
Food Safety: A Practical and Case Study Approach (Integrating Safety and Environmental Knowledge Into Food Studies towards European Sustainable Development)Автор: Anna McElhatton, Автор: Richard J. Marshall
Размер книги: 2.61 Mb
Handbook of Liver Disease, Third EditionАвтор: Lawrence S. Friedman MD, Автор: Emmet B. Keeffe MD
Размер книги: 20.35 Mb
Alms for jihad: charity and terrorism in the Islamic worldАвтор: Millard Burr, Автор: Robert O. Collins
Размер книги: 24.44 Mb
|
|
|