|
|
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.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
29 Турнир имени М.В.Ломоносова 2006 годаАвтор: Кулыгин А.К. (ред.)Категория: M_Mathematics, MSch_School-level
Размер книги: 1.17 Mb
Modelling Molecular Structure and Reactivity in Biological Systems (Special Publications)Автор: Kevin J. Naidoo, Автор: John Brady, Автор: Martin J. Field, Автор: Jiali Gao, Автор: Michael Hann
Размер книги: 49.52 Mb
A First Course In Chaotic Dynamical Systems: Theory And Experiment (Studies in Nonlinearity)Автор: Robert L. Devaney
Размер книги: 12.17 Mb
Six Not-So-Easy Pieces: Einstein's Relativity, Symmetry, and Space-TimeАвтор: Richard P. Feynman, Автор: Robert B. Leighton, Автор: Matthew Sands
Размер книги: 1.56 Mb
|
|
|