Proceedings of the AAAI Conference on Artificial Intelligence, 5
This paper describes FAULTY, a default prover for a decidable subset of predicate calculus. FAULTY is based on McDermott’s and Doyle’s Nonmonotonic Logic I und avoids the well-known weakness of this logic by a restriction to specific theories, which are sufficient for default reasoning purposes, however. The dafaults are represented in a way that allows explicit control of their applicability. By blocking the applicability of a default the problem of interacting defaults can be avoided.