Mathematical Foundations for Artificial Intelligence