Monotonic Reasoning Systems
A reasoning system is called monotonic if it derives new true facts from known facts.
In these systems the number of facts is monotonically increasing over time.
These systems are not adequate in situations where:
knowledge is not definitive