About the Logical Interpretation of Ambiguous Inheritance Hierarchies

Gregoire, E.
(1991) Lecture Notes in Computer Science — Vol. 521, p. 213-222 (1991)

Files

pdfdocument.pdf
  • Restricted Access
  • Adobe PDF
  • 702.73 KB
No access

Details

Authors
  • Gregoire, E.
    Author
Abstract
In this paper, we present a new approach to the logical formalization of ambiguous inheritance hierarchies. This approach involves the translation of inheritance nets into their corresponding hierarchical and stratified logic programs. It allows one to express the semantics of these nets in terms of most major nonmonotonic logics. A theorem is established showing that this approach can be applied to a broad class of inheritance theories dealing with acyclic nets and giving rise to unique extensions.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Gregoire, E. (1991). About the Logical Interpretation of Ambiguous Inheritance Hierarchies. Lecture Notes in Computer Science, 521, 213-222. https://doi.org/10.1007/BFb0028106 (Original work published 1991)