Belle V. Toward Robots That Reason: Logic, Probability & Causal Laws

Springer Cham, 2023. — 190 p. — (Synthesis Lectures on Artificial Intelligence and Machine Learning). — eBook ISBN: 978-3-031-21003-7.Explains the need for integrating logic and probability in AI systems and the challenges that arise in doing so.
Presents a model for capturing causal laws that describe dynamics and computational reasoning ideas.
Includes both high-level ideas and detailed exercises that employ technical applications.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.True PDF