Advanced · Cognitive

Non-monotonic Logic

Visual diagram · (in preparation) · Math · (in preparation) · Worked example · 3 difficulty levels.

TL;DR. A logic system where adding new information can reduce the set of derivable conclusions, in contrast to classical logic.

Technical Definition

A logic system where adding new information can reduce the set of derivable conclusions, in contrast to classical logic.

How it works

Non-monotonic logic is a form of logic used in AI to model common sense reasoning, where conclusions are tentative and can be revoked if new evidence contradicts them. Unlike traditional monotonic logic, where conclusions remain true once inferred, non-monotonic systems can adapt to incomplete or changing information. This is crucial for building AI that can deal with real-world uncertainty and dynamic environments, such as in planning or expert systems.