Knowledge Representation and Reasoning (The Morgan Kaufmann Series in Artificial Intelligence)

I think you'd change your tune (like I did) once you dig into the ugly details of such mathematical modeling. A book like this will show you just how hard this is https://www.amazon.com/Knowledge-Representation-Reasoning-Ar...