Research On The Answer Set Semantics For Ordered Logic Program

Logic programs based on answer set semantics are used in planning , diagnosis and action reasoning widely. Recently,ordered loigc programs are studied extensively. This paper firstly introduces several answer set semantics for ordered logic programs and compares them with the existent semantics. A Hasse diagram for the inclusive relations between the answer sets is given. After introducing the coloring for direct graphs, we prove the representaion theorems for coloring and answer set semantics. Then we give the argument frameworks for ordered logic programs and study the relationship between the argument semantics and the answer set semantics. Finally we give some algorithms for answer set semantics.