Introduction

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.

Mathematical Treatment of Core Issues

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.

Models and Computational Ideas

A model for expressing causal laws describing dynamics is also considered, along with computational ideas for reasoning with such laws over probabilistic logical knowledge.