Defeasible logic and temporal projection

Abstract

A novel nonmonotonic system called defeasible logic is presented that disarms the Yale shooting problem and other familiar examples of common sense reasoning that cause problems for many nonmonotonic systems, including examples that involve inheritance hierarchies with exceptions. Defeasible logic is easily implemented as an extension to Prolog, and it has knowledge-representation capabilities not found in other recent nonmonotonic systems.<>