Machine-translated by Google. Questions are authored in English.
Top

Discussion

What is non-monotonic reasoning?

  • A.Reasoning whose conclusions become less certain over time
  • B.Reasoning that proceeds in a single direction only
  • C.Reasoning that does not use monotone logical operators
  • D.Reasoning in which adding a fact can withdraw a conclusion

Answer: D

Classical logic is monotonic: adding premises never invalidates a conclusion, whereas real reasoning from defaults must retract when an exception is learned. Learning that Tweety is a penguin withdraws the conclusion that Tweety flies. Certainty decay, directionality and operator properties are different notions. Departing from a property so basic that classical logic takes it for granted is what makes this family of logics both necessary and difficult.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.