Section outline

    • Propositional Logic
    • Predicate Logic
    • Semantic Networks
    • Expert Systems