Toward Robots That Reason: Logic, Probability & Causal Laws
Buch in deiner Nähe kaufen
Beschreibung
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.
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.
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
Autor*in
Vaishak Belle
Themen in »Toward Robots That Reason: Logic, Probability & Causal Laws«
Logic Meets Probability Probabilistic Logical Languages Cognitive Robotics Knowledge Representation and Reasoning Probabilistic Knowledge Regression Programming Progression Programming Agent Programming Situation Calculus