Toward Robots That Reason: Logic, Probability & Causal Laws

Vaishak Belle (Autor)

Buch | Softcover

XIII, 190 Seiten

2024
Springer International Publishing (Verlag)
9783031210051 (ISBN)

Artikel merken

This book discusses the two fundamental elements that underline the science and design of artificial intelligence (AI) systems: the learning and acquisition of knowledge from observational data, and the reasoning of that knowledge together with whatever information is available about the application at hand. It then presents a mathematical treatment of the core issues that arise when unifying first-order logic and probability, especially in the presence of dynamics, including physical actions, sensing actions and their effects. A model for expressing causal laws describing dynamics is also considered, along with computational ideas for reasoning with such laws over probabilistic logical knowledge.

Vaishak Belle, Ph.D., is a Chancellor's Fellow and Reader at The University of Edinburgh School of Informatics. He is also an Alan Turing Institute Faculty Fellow, a Royal Society University Research Fellow, and a member of the Royal Society of Edinburgh's Young Academy of Scotland. Dr. Belle directs a research lab on artificial intelligence at The University of Edinburgh, specializing in the unification of symbolic logic and machine learning. He has co-authored over 50 scientific articles on AI, and has won several best paper awards.

Preface.- Acknowledgments.- Introduction.- Representation Matters.- From Predicate Calculus to the Situation Calculus.- Knowledge.- Probabilistic Beliefs.- Continuous Distributions.- Localization.- Regression & Progression.- Programs.- A Modal Reconstruction.- Conclusions.

Erscheinungsdatum	21.02.2024
Reihe/Serie	Synthesis Lectures on Artificial Intelligence and Machine Learning
Zusatzinfo	XIII, 190 p. 27 illus., 14 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	168 x 240 mm
Gewicht	354 g
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Schlagworte	agent programming • Cognitive Robotics • Knowledge Representation and Reasoning • Logic Meets Probability • Probabilistic Knowledge • Probabilistic Logical Languages • Progression Programming • Regression Programming • Situation Calculus
ISBN-13	9783031210051 / 9783031210051
Zustand	Neuware