KIT | KIT-Bibliothek | Impressum | Datenschutz

Translating inheritance nets to default logic

Neumann, Ingrid


We give a translation of inheritance nets to normal default
theories. To avoid discussions about sceptical and credulous
reasoning we only regard unambiguous nets but allow explicit
exception links restricting the validity of direct links.
Contrary to former translations every link will be translated
to a "hard" fact of the corresponding default theory while the
defaults only repesent the implicit assumptions made when
computing the extension of the net. The translation is sound and
complete if we restrict the deduction mechanism of default logic

Open Access Logo

Volltext §
DOI: 10.5445/IR/38494
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buch
Publikationsjahr 1994
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA384948
KITopen-ID: 38494
Erscheinungsvermerk Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,25.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page