C-3-Nonmonotonic Reasoning
C-3-Nonmonotonic Reasoning
Monotonic Reasoning
When facts and rules helps to infer new information through logical
reasoning.
When some conclusion is drawn as true, it remains true under all
circumstances e.g.:- Proving mathematical theorems etc.
Non-monotonic Reasoning
When new facts contradict the earlier ones and remove the same fact
from the database. This type of reasoning is called non-monotonic
reasoning.
Example:- if a patient has symptoms of vomiting, as per general belief the
it is due to food-poisoning but after investigation it is found that the
disease actually is Diarrhea.
Fuzzy Reasoning
He is a fat boy.
Fuzzy:- How much fat?
Examples:
If the road is slippery, then driving is dangerous.
If speed is high, then apply the brakes a little.
Temporal Reasoning