Understanding and Changing the World - Sifakis, Joseph

. .

Auteur(s) : Sifakis, Joseph

Editeur : Springer Singapore

Langue : Anglais

Parution : 01/05/2022

Format : Moyen, de 350g à 1kg

Nombre de pages : 172.0

Expédition : 430

Dimensions : 24.1 x 16.0 x 1.6

ISBN : 9789811919312

Résumé :

This book discusses the importance of knowledge as an intangible asset, separate from physical entities, that can enable us to understand and/or change the world. It provides a thorough treatment of knowledge, one that is free of ideological and philosophical preconceptions, and which relies exclusively on concepts and principles from the theory of computing and logic. It starts with an introduction to knowledge as truthful and useful information, and its development and management by computers and humans. It analyses the relationship between computational processes and physical phenomena, as well as the processes of knowledge production and application by humans and computers.

In turn, the book presents autonomous systems that are called upon to replace humans in complex operations as a step toward strong AI, and discusses the risks - real or hypothetical - of the careless use of these systems. It compares human and machine intelligence, attempting to answer the question of whether and to what extent computers, as they stand today, can approach human-level situation awareness and decision-making.

Lastly, the book explains the functioning of individual consciousness as an autonomous system that manages short- and long-term objectives on the basis of value criteria and accumulated knowledge. It discusses how individual values are shaped in society and the role of institutions in fostering and maintaining a common set of values for strengthening social cohesion. 

The book differs from books on the philosophy of science in many respects, e.g. by considering knowledge in its multiple facets and degrees of validity and truthfulness. It strikes a balance between popular books that sidestep fundamental issues and focus on sensationalism, and scientific or philosophical books that are not accessible to non-experts.

Joseph Sifakis is a Greek-born French computer scientist recognized for his contributions to the development of safe computer systems. He is a member of six academies and winner of the 2007 Turing Award. His current research focuses on the design of trustworthy autonomous systems.

Biographie:
Professor Joseph Sifakis is Emeritus Research Director of Verimag laboratory, Grenoble, France. His current research interests include fundamental and applied aspects of autonomous system design focusing on self-driving cars. A full professor at the Ecole Polytechnique F?d?rale de Lausanne (EPFL) from 2011 to 2016, he is the founder of Verimag, a leading laboratory in the area of safety-critical systems, which he has directed for 13 years. In 2007, together with Edmund Clarke and Allen Emerson, Joseph Sifakis received the Turing Award, recognized as the highest distinction in computer science, for his contributions to the theory and application of model checking, the most widely used system verification technique. Joseph Sifakis is a member of the French Academy of Sciences, the French National Academy of Engineering, Academia Europaea, the American Academy of Arts and Sciences, the National Academy of Engineering and the Chinese Academy of Sciences. He is a Grand Officer of the French National Order of Merit, a Commander of the French Legion of Honor, and a Commander of the Greek Order of the Phoenix. He received the Leonardo da Vinci Medal in 2012....

Sommaire:
1. Introduction.- Part I For a Gnoseological View of the World.- 2. Fundamental Questions about Knowledge.- 3. Information and Knowledge.- 4. The Development and Application of Knowledge.- Part II Computing, Knowledge and Intelligence.- 5. Physical Phenomena and Computational Processes.- 6. Human vs Artificial Intelligence.- Part III Consciousness and Society.- 7. Consciousness.- 8. Value Systems and Society.- 9. Epilogue.- Index.