Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing

Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing
Author :
Publisher : World Scientific
Total Pages : 221
Release :
ISBN-10 : 9789811268557
ISBN-13 : 981126855X
Rating : 4/5 (55X Downloads)

Book Synopsis Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing by : Klaus Mainzer

Download or read book Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing written by Klaus Mainzer and published by World Scientific. This book was released on 2023-05-12 with total page 221 pages. Available in PDF, EPUB and Kindle. Book excerpt: Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal calculi. In the age of digitalization and High-Tech applications, people are often not aware that temporal logic is deeply rooted in the philosophy of modalities. A deep understanding of these roots opens avenues to the modern calculi of temporal logic which have emerged by extension of modal logic with temporal operators. Computationally, temporal operators can be introduced in different formalisms with increasing complexity such as Basic Modal Logic (BML), Linear-Time Temporal Logic (LTL), Computation Tree Logic (CTL), and Full Computation Tree Logic (CTL*). Proof-theoretically, these formalisms of temporal logic can be interpreted by the sequent calculus of Gentzen, the tableau-based calculus, automata-based calculus, game-based calculus, and dialogue-based calculus with different advantages for different purposes, especially in computer science.The book culminates in an outlook on trendsetting applications of temporal logics in future technologies such as artificial intelligence and quantum technology. However, it will not be sufficient, as in traditional temporal logic, to start from the everyday understanding of time. Since the 20th century, physics has fundamentally changed the modern understanding of time, which now also determines technology. In temporal logic, we are only just beginning to grasp these differences in proof theory which needs interdisciplinary cooperation of proof theory, computer science, physics, technology, and philosophy.


Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing Related Books

Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing
Language: en
Pages: 221
Authors: Klaus Mainzer
Categories: Mathematics
Type: BOOK - Published: 2023-05-12 - Publisher: World Scientific

DOWNLOAD EBOOK

Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops,
Limits of AI—Theoretical, Practical, Ethical
Language: en
Pages: 167
Authors: Klaus Mainzer
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Mathematical Reviews
Language: en
Pages: 1092
Authors:
Categories: Mathematics
Type: BOOK - Published: 2002 - Publisher:

DOWNLOAD EBOOK

An Inquiry on Modal Metaphysical Puzzling Possible Worlds
Language: en
Pages: 82
Authors: Valery Berthoud
Categories: Philosophy
Type: BOOK - Published: 2017-09-19 - Publisher: Anchor Academic Publishing

DOWNLOAD EBOOK

The concept of possible worlds is useful because it defines the four modalities – possibility, necessity, contingency, and impossibility – but a challenge l
Computational Philosophy of Science
Language: en
Pages: 260
Authors: Paul Thagard
Categories: Philosophy
Type: BOOK - Published: 1988 - Publisher: MIT Press

DOWNLOAD EBOOK

By applying research in artificial intelligence to problems in the philosophy of science, Paul Thagard develops an exciting new approach to the study of scienti