Formalizing Inheritance Hierarchies with Exceptions by Using Logic Programs

[[abstract]]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.[[sponsorship]]教育部; The Computer Society of R.O.C.[[conferencetype]]國際[[conferencedate]]19941212~19941215[[booktype]]紙本[[iscallforpapers]]Y[[conferencelocation]]新北市, 臺