Formalised non-monotonic logic
Formalised non-monotonic logic is a development of formal logic that allows for the introduction of new axioms to validate old theorems. In this way, it accounts for the human ability to revise assumptions in light of new observations.
John McCarthy, 1977.

Note: this definition is adapted from McDermott & Doyle (1990).
CONTEXT(Help)
-
Artificial Intelligence »Artificial Intelligence
▲
Can computers think? [1] »Can computers think? [1]
▲
Yes: physical symbol systems can think [3] »Yes: physical symbol systems can think [3]
▲
The critique of artificial reason »The critique of artificial reason
▲
Logic based AI is making steady progress »Logic based AI is making steady progress
■
Formalised non-monotonic logic
+Comments (0)
+Citations (0)
+About