Defeasible logic

Defeasible logic is a non-monotonic logic proposed by Donald Nute to formalize defeasible reasoning.

In defeasible logic, there are three different types of propositions: A priority ordering over the defeasible rules and the defeaters can be given.

During the process of deduction, the strict rules are always applied, while a defeasible rule can be applied only if no defeater of a higher priority specifies that it should not.

This logic-related article is a stub.

You can help Wikipedia by expanding it.This artificial intelligence-related article is a stub.