Answer: A non-monotonic logic is a formal logic whose consequence relation is
not monotonic. Most studied formal logics have a monotonic consequence relation,
meaning that adding a formula to a theory never produces a reduction of its set
of consequences. Intuitively, monotonicity indicates that learning a new piece
of knowledge cannot reduce the set of what in known.
Post a Comment