|
|
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
Только что пользователи скачали эти книги:
Fundamentals of carrier transportАвтор: Mark LundstromКатегория: P_Physics, PS_Solid state
Размер книги: 4.72 Mb
Three Comedies: Behind The Scenes In Eden/Rigmaroles/And The Other WilliamАвтор: Jaime Salom, Автор: Marion Peter Holt, Автор: Gregary Joseph Racz, Автор: Phyllis Zatlin, Автор: Gregary Joseph Racz
Размер книги: 20.06 Mb
Welcome 3: Teacher's Book (Pupil's Book) ELTАвтор: Elizabeth Gray, Автор: Virginia Evans, Автор: Express Publishing
Размер книги: 24.57 Mb
|
|
|