|
|
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
Только что пользователи скачали эти книги:
Краткая история Нашего проникновения в Английский ПарламентАвтор: Автор неизвестенКатегория: Путешествия и география
Размер книги: 9 Kb
Упадок и гибель Западной Римской империи и возникновение германских королевств (до середины VI в.). МонографияАвтор: Авторы: А.Р.Корсунский, Автор: Р.Гюнтер. Перевод с немецкого (введение, Автор: главы 1, Автор: 4-6, Автор: 8, Автор: 9, Автор: 11) М.И.Левиной.Категория: история, исторические науки
Размер книги: 3.27 Mb
Structural proof theoryАвтор: Professor Sara Negri, Автор: Jan von Plato, Автор: Aarne Ranta
Размер книги: 1.45 Mb
Landscapes and Societies: Selected CasesАвтор: I. Peter Martini, Автор: Ward Chesworth
Размер книги: 46.85 Mb
The Dove in the Consulting Room: Hysteria and the Anima in Bollas and JungАвтор: Greg Mogenson
Размер книги: 1.05 Mb
French Revolutionary Infantry 1789-1802Автор: Terry Crowdy, Автор: Patrice CourcelleКатегория: История, Военная история
Размер книги: 5.93 Mb
Dying in the Dark: A Tamara Hayle MysteryАвтор: Wesley Valerie WilsonКатегория: fiction
Размер книги: 369 Kb
Supernatural Deliverance: Freedom For Your Soul Mind And Emotions (2016) (Azw, Epub, Mobi & PDF)Автор: Guillermo MaldonadoКатегория: Christian
Размер книги: 2.42 Mb
|
|
|