Nonmonotonic Inheritance, Argumentation and Logic Programming

Phan Minh Dung, Tran Cao Son

Abstract: We study the conceptual relationship between the semantics of nonmonotonic inheritance reasoning and argumentation. We show that the credulous semantics of nonmonotonic inheritance network can be captured by the stable semantics of argumentation. We present a transformation of nonmonotonic inheritance networks into equivalent extended logic programs.