Chapter 3 – Reasoning

Contents

3.1  Overview
3.2  What Is Reasoning?
3.3  Forward and Backward Reasoning
3.4  Reasoning With Uncertainty
3.4.1  Non-monotonic Reasoning
3.4.2  Probabilistic Reasoning
3.4.3  Certainty Factors
3.4.4  Fuzzy Reasoning
3.4.5  Reasoning by Analogy
3.4.6  Case-based Reasoning
3.5  Reasoning Over Networks
3.6  Changing Representations
3.7  Summary

Glossary items referenced in this chapter

Prolog examples (from 1st ed.)

forback.pforwards and backwards reasoning
tms.pnon-monotonic reasoning
TMS - truth maintenace system
bayes.pBaysian inference
bayes2.pBaysian inference
certf.pcertainty factors
fuzzy.pfuzzy set theory