Nonmonotonic Reasoning
When Logical Conclusions Do Not Hold True
AITopics > Reasoning > Logic & Formal Reasoning > Nonmonotonic Reasoning ...
The simplest kind of non-monotonic reasoning is default reasoning in which a conclusion is to be inferred by default, but the conclusion can be withdrawn if there is evidence to the contrary.
Logics usually employ 'Monotonic Reasoning'. In this sort of logic expression manipulation., once a fact is derived or a value given to a variable, it cannot be retracted or altered subsequently.
circumscription a form of non-monotonic reasoning based on making explicit the assumption that the explicitly provided information is the only important information about a situation, ...
Other important topics are reasoning under uncertainty and non-monotonic reasoning.
 See also: Knowledge, Inference, Artificial intelligence, AI, Knowledge base
  
|
RSS
