Temporal Logic from the Chronicles Paradigm:: learning and reasoning problems, and its applications in Distributed Systems - Softcover

Aguilar, Jose

 
9783846506639: Temporal Logic from the Chronicles Paradigm:: learning and reasoning problems, and its applications in Distributed Systems

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.