Default reasoning is a method of knowledge representation and reasoning which allows one to deal adequately with incomplete information. Applications of such methods can be found in software engineering, artificial intelligence, law, marketing, business etc. In this paper we describe why default reasoning is difficult, and describe a new methodology for teaching default reasoning, which has been applied with significant success over the past couple of years. It is based on the idea of operationalizing the basic concepts of the logic.
/lp/association-for-computing-machinery/a-new-methodology-for-teaching-default-reasoning-8rMcdbCEWI