Artificial intelligence is a key technology with great expectations in science, industry, and everyday life. This book discusses both the perspectives and the limitations of this technology. This concerns the practical, theoretical, and conceptual challenges that AI has to face. In an early phase of symbolic AI, AI focused on formal programs (e.g., expert systems), in which rule-based knowledge was processed with the help of symbolic logic. Today, AI is dominated by statistics-based machine learning methods and Big Data. While this sub-symbolic AI is extremely successful (e.g., chatbots like ChatGPT), it is often not transparent. The book argues for explainable and reliable AI, in which the logical and mathematical foundations of AI-algorithms become understandable and verifiable.
About the Authors
Klaus Mainzer teaches as Emeritus of Excellence at the Technical University of Munich and as Senior Professor at the Carl Friedrich von Weizsäcker Center at the University of Tübingen. He is President of the European Academy of Sciences and Arts. His research focuses on complexity and computability theory, foundations of artificial intelligence, philosophy of science and technology, future issues of the technical-scientific world.
Reinhard Kahle is Carl Friedrich von Weizsäcker Endowed Professor of Theory and History of Science at the University of Tübingen. His research interests include proof theory and the history and philosophy of modern mathematical logic, foundations of computer science and the philosophical reflection of science as currently propagated in artificial intelligence.
