Introducing Artificial Intelligence: Introduction-The Turing Test-Goals of AI-Roots of AI-Artificial Consciousness-Techniques Used in AI-Sub-fields of AI-Perception, Understanding, and Action-Physical Symbol System Hypothesis-Considerations for Knowledge Representation-Knowledge Representation Using Natural Language

Logic and Reasoning Patterns: Introduction-Argumentation Theory-Role of Knowledge-Propositional Logic-Reasoning Patterns-Proof Methods-Nonmonotonic Reasoning-Hilbert and the Axiomatic Approach

First Order Predicate Logic: Introduction - Representation in Predicate Logic - Syntax and Semantics - Conversion to Clausal Form - Substitutions and Unification - Resolution Principle - Complexity of Resolution Proof - Interpretation and Inferences - Most General Unifiers - Unfounded Sets

Rule Based Reasoning: Introduction - An Overview of RBS - Forward Chaining - Backward Chaining - Forward Versus Backward Chaining - Typical RB System - Other Systems of Reasoning

Logic Programming and Prolog: Introduction - Logic Programming - Interpretation of Horn Clauses in Rule-Chaining - Logic Versus Control - Expressing Control Information - Running Simple Programs - Some Built-In Predicates - Recursive Programming - List Manipulation - Arithmetic Expressions - Backtracking, Cuts and Negation - Efficiency Considerations for Prolog Programs