KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA384948

Translating inheritance nets to default logic

Neumann, Ingrid

Abstract:

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
appropriately.


Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buch
Jahr 1994
Sprache Englisch
Identifikator 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