Inheritance hierarchies are a central part of semantic networks, an important tool for knowledge representation. In this paper, we investigate how logic programs can be used to formalize inheritance hierarchies with exceptions. In this investigation, we adopt Gelfond and Lifschitz's extended logic programs with answer set semantics as our knowledge representation tool and McCarthy's simple abnormality formalism to express exceptions. It turns out that our representation can formalize not only unambiguous inheritance hierarchies, but also the credulous and skeptical reasonings in ambiguous inheritance hierarchies.
Relation:
1994 Internation Computer Symposium Conference Proceeding Volume of 1 of 2,頁497-502