Chapter-09

Table of Contents

• Question answering and inference
  • Question answering
  • Evaluating DBQ formulae
  • Standard logical inference
  • Implementing backwards and forwards inference
  • The pathological nature of logical inference
  • Primitives and canonical forms
  • Inheritance and defaults
  • A simple semantic network in Lisp
  • Summary
  • Further reading