Chapter-09

Table of Contents

• Question answering and inference
  • Question answering
  • Evaluating DBQ formulae
  • Standard logical inference
  • Implementing forwards inference in Prolog
  • The pathological nature of logical inference
  • Primitives and canonical forms
  • Classes and inheritance
  • Plausible inference and defaults
  • Summary
  • Further reading