Temporal Logic from the Chronicles Paradigm:, Fachbücher von Jose Aguilar

"Temporal Logic from the Chronicles Paradigm" ist ein Fachbuch, das sich mit einem neuartigen Ansatz der temporalen Logik beschäftigt, der auf der Modellierung von Ereignis-basiertem Denken basiert. Das Buch bietet eine umfassende Übersicht über verschiedene formale Ansätze, die von verschiedenen Autoren entwickelt wurden, um das Konzept der Chroniken zu erklären. Es beginnt mit einer Einführung in die temporale Logik und geht dann auf die unterschiedlichen Mechanismen des logischen Schliessens ein, die für jede Chronik-Formalismus entwickelt wurden. Darüber hinaus werden Lernmechanismen vorgestellt, die in der Literatur zu Chroniken diskutiert werden. Ein weiterer Schwerpunkt liegt auf der Anwendung dieser Chroniken in verteilten Systemen, einschliesslich der Verwaltung von Telekommunikationssystemen, Webdiensten und der Gestaltung autonomer Kommunikationssysteme. Dieses Buch richtet sich an Forschende und Fachleute in den Bereichen Künstliche Intelligenz und Verteilte Systeme sowie an Doktoranden und Masterstudierende der Computerwissenschaften.