Temporal Logic from the Chronicles Paradigm:

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 useful to researches and professionals in the areas of the Artificial Intelligence, Distributed Systems; and PhD and Master Students in the domain of the Computational Sciences.

Autorentext

M.Sc. 1991 (Univ Paul Sabatier), Ph.D 1995 (Univ Rene Descartes), Postdoctoral Fellow 2000 (Univ of Houston). Titular Professor Dpt of Computer Science, Univ Los Andes, Venezuela. Member IEEE CIS on Neural Networks. More than 300 papers and 5 books in the fields of parallel and distributed syst, comput. intelligence, science and techn managem., etc