
Temporal Logic from the Chronicles Paradigm
learning and reasoning problems, and its applications in Distributed Systems
Jose Aguilar(Author)
LAP Lambert Academic Publishing
Published on 28. September 2011
Book
Paperback/Softback
96 pages
978-3-8465-0663-9 (ISBN)
Description
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.
More details
Language
English
Place of publication
Germany
Product notice
Paperback (trade)
Unsewn / adhesive bound
Dimensions
Height: 220 mm
Width: 150 mm
Thickness: 7 mm
Weight
161 gr
ISBN-13
978-3-8465-0663-9 (9783846506639)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Person
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