Основы информатики, общие работы

Список источников > Нехудожественная литература > Компьютерная литература > Основы информатики, общие работы

Temporal Logic from the Chronicles Paradigm:

Автор: Jose Aguilar
Год: 2011
Издание: LAP Lambert Academic Publishing
Страниц: 96
ISBN: 9783846506639
The Chronicles are an emergent temporal logic approach to model a form of reasoning based on events. In the literature there are different studies regarding the reasoning and learning mechanisms proposed for such an approach, and applications in the distributed systems. This book reports these works. At the beginning, the book presents the different formalisms that different authors have developed around the concept of chronicles, with an introduction to what is understood as temporal logic. The next section presents the reasoning mechanisms for each chronicle formalism. The next section is dedicated to the presentation of the different chronicle learning mechanisms proposed in the literature. Finally, the last section is dedicated to present the utilization of the chronicles in various problems in distributed environments: management of telecommunications systems, in the context of web services, and in the design of autonomous systems of communication. This book should be especially...
Добавлено: 2017-05-26 12:08:05