Tweety–Still Flying: Some Remarks on Abnormal Birds, Applicable Rules and a Default Prover

l’ his paper describes FAULTY, a default prover for a decidable subset of p+edicata calculus. FAULTY is based on McDemtt’ s and Doyle’ s Nonmonotonic Logic I und avoids the wet&known weakness of this logic by a restriction to spe@ic theories, which OTQ sujgcictintfor defuult reasoning purposes, howevet. i%e dafautts ~TQ represented in a way that allows explicit control of their applicabi&ty. By btocking the applicability of a default the problem of interacting defaults can be avoided.

Authors

• Gerhard Brewka

Keywords

No keywords are indexed for this paper.