Uncover the mechanics of AI cognition as this book details how symbols, rules, and ontologies are formalized to support logical deduction, belief revision, and semantic reasoning in intelligent systems.