Chapter 2

• Introduction

• Intuitive Predicate Logic

  • Conceptualization

  • Language

• Production Systems

• Propositional Resolution and Strategies

  • Propositional Resolution

  • Resolution Strategies

• Semantic Nets and Frames