a powerful default-handling system that yields an intuitive behavior in several domains of interest in AI, including inheritance hierarchies, reasoning about change, general logic programs, and abductive reasoning Defaults in commonsense reasoning permit the generation of useful predictions in the absence of complete information. However, attempts to represent and reason with defaults in Al run into the problem of spurious arguments, arguments that...