Science Fair Project Encyclopedia
Non-monotonic logic
When declaiming a line of reasoning, it is the custom to present a case for the object of discourse. During the argument, the propositions are steadily built up, monotonically increasing. But, in non-monotonic logic, the propositions are defeasible; that is, if an impasse is reached, the propositions can be abandoned; thus the number of valid propositions no longer has to increase steadily, but can even decrease and further fluctuate.
This form of reasoning can thus be used to model thought, as in the scientific method, where hypothetical explanations can be abandoned in the light of further evidence from observation, inference, and experiment.
Formal logics of this type include Default logic, Circumscription, and Autoepistemic logic.
09-23-2007 01:00:40
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details