Handling Exceptions in nonmonotonic reasoning.

摘要: We introduce some differences in the style defeasible information is represented and inferences are made nonmonotonic reasoning. These, at first sight harmless, changes, fact, helped us to discover a very important principle guiding how should be drawn reasoning, we name it exception-first or EFP. DLEF our own variant for default logic complying with also show alternative definitions Reiter’s logics its justified constrained variants within framework. does not produce anomalous extensions where other do. Restricted language of general programs, DLEF, answer set programming all coincide. This explains why ASP appointed as solution problem, complies