Toward Robots That Reason: Logic, Probability & Causal Laws
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.
Autor: | Belle, Vaishak |
---|---|
ISBN: | 9783031210020 |
Sprache: | Englisch |
Seitenzahl: | 190 |
Produktart: | Gebunden |
Verlag: | Springer International Publishing |
Veröffentlicht: | 21.02.2023 |
Schlagworte: | Agent Programming Cognitive Robotics Knowledge Representation and Reasoning Logic Meets Probability Probabilistic Knowledge Probabilistic Logical Languages Progression Programming Regression Programming Situation Calculus |
Anmelden