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.