libcats.org
Главная

Many-Dimensional Modal Logics: Theory and Applications

Обложка книги Many-Dimensional Modal Logics: Theory and Applications

Many-Dimensional Modal Logics: Theory and Applications

Modal 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.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Dunkl, Ramirez. Hyperelliptic integrals, algorithm(T)(14s).djvu

Автор:
Размер книги: 154 Kb

Naught for Your Comfort

Автор:
Размер книги: 10.25 Mb

St William of York

Автор:
Размер книги: 2.95 Mb

Život i smrt planete Zemlje

Автор: , Автор:
Размер книги: 1.34 Mb

Культура мови на щодень.

Автор:
Категория: Порадники
Размер книги: 902 Kb

Salvage and Destroy

Автор:
Категория: fiction
Размер книги: 940 Kb

Mistress Of The Undead

Автор:
Категория: fiction
Размер книги: 89 Kb

Bride for the God-King

Автор:
Категория: fiction
Размер книги: 960 Kb