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 AuthorsKlaus 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.
關於作者
Klaus Mainzer 是慕尼黑工業大學的卓越名譽教授，也是圖賓根大學卡爾·弗里德里希·馮·魏茨澤克中心的高級教授。他是歐洲科學與藝術學院的主席。他的研究專注於複雜性和可計算性理論、人工智能基礎、科學和技術哲學，以及技術科學世界的未來議題。
Reinhard Kahle 是圖賓根大學卡爾·弗里德里希·馮·魏茨澤克基金教授，專攻科學理論和歷史研究。他的研究興趣包括證明理論、現代數學邏輯的歷史和哲學、計算機科學基礎，以及人工智能中目前推廣的科學哲學反思。
