next up previous
Next: Default reasoning Up: Reasoning with Uncertainty: Non-Monotonic Previous: Uncertain Reasoning?

Non-Monotonic Reasoning

Predicate logic and the inferences we perform on it is an example of monotonic reasoning.

In monotonic reasoning if we enlarge at set of axioms we cannot retract any existing assertions or axioms.

Humans do not adhere to this monotonic structure when reasoning:





dave@cs.cf.ac.uk