A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Translating inheritance nets to default logic
[book]
1994
Preserved Fulltext
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
doi:10.5445/ir/38494
fatcat:44ikg7vndjb3vjq6eer5sn3pni