Reasoning by cases in default logic

Share/Save/Bookmark

Roos, Nico (1998) Reasoning by cases in default logic. Artificial Intelligence, 99 (1). pp. 165-183. ISSN 0004-3702

[img] PDF
Restricted to UT campus only
: Request a copy
1MB
Abstract:Reiter's Default Logic is one of the most popular formalisms for describing default reasoning. One important defect of Default Logic is, however, the inability to reason by cases. Over the years, several solutions for this problem have been proposed. All these proposals deal with deriving new propositions through reasoning by cases. None, however, discuss the propositions that should no longer be derivable as a result of reasoning by cases. This paper discusses the latter subject. It shows that an intuitively plausible way of dealing with propositions that should no longer be derivable as a result of reasoning by cases, can have far reaching consequences. One of the consequences is that disjunctions must be viewed as describing possible extensions.
Item Type:Article
Copyright:© 1998 Elsevier
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/73942
Official URL:http://dx.doi.org/10.1016/S0004-3702(97)00081-7
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 118540