New proofs in default logic theory |
| |
Authors: | G. Antoniou E. Langetepe V. Sperschneider |
| |
Affiliation: | (1) University of Osnabrueck, FB 6, 49069 Osnabrueck, Germany |
| |
Abstract: | The proofs of theorems in default logic are often quite complicated and therefore error-prone. In this paper we introduce an operational interpretation of default logic and show its usefulness in providing technically simpler proofs for well-known results. We especially turn our attention to ordered, semi-normal default theories. We point out that Etherington's result and most of the citations and improvements in the literature are wrong, give the correct version and a totally new, technically clearer and more comprehensive proof. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|