Answer Set Semantics for Ordered Logic Programs

ZHOU Yong; ZHU Wujia

Volume 19 Issue 2

Apr. 2006

Turn off MathJax

Article Contents

Abstract

References

Journal of Southwest Jiaotong University > 2006 > 19(2): 163-167.

ZHOU Yong, ZHU Wujia. Answer Set Semantics for Ordered Logic Programs[J]. Journal of Southwest Jiaotong University, 2006, 19(2): 163-167.

Citation:

ZHOU Yong, ZHU Wujia. Answer Set Semantics for Ordered Logic Programs[J]. Journal of Southwest Jiaotong University, 2006, 19(2): 163-167.

ZHOU Yong, ZHU Wujia. Answer Set Semantics for Ordered Logic Programs[J]. Journal of Southwest Jiaotong University, 2006, 19(2): 163-167.

Citation:

ZHOU Yong, ZHU Wujia. Answer Set Semantics for Ordered Logic Programs[J]. Journal of Southwest Jiaotong University, 2006, 19(2): 163-167.

PDF( 0 KB)

Answer Set Semantics for Ordered Logic Programs

Received Date: 25 Mar 2005
Publish Date: 25 Apr 2006

Abstract

Abstract

Based on the fixed-point theorem,a new method to treat the priori order was proposed in order to unify and extend the different answer set semantics resulted from different ways of dealing with the prior order in logic programs with a rule order.With this method,the rule order was taken into account in the iterative procedure of rules.As a result,nine kinds of answer set semantics were obtained,and the correlation between them was discussed in detail.It was proved that those nine semantics do not form a linear structure but a normal lattice structure.Furthermore,in ordered stratified logic programs,all of the nine answer set semantics become the normal answer set semantics.
- logic program,
- answer set semantics,
- priority order

FullText(HTML)

References(1)

References

BREWKA G.Preferred subtheories:an extended logical framework for default reasoning[C] //Proceedings 11 th International Joint Conference on Artificial Intelligence.Detroit:Morgan Kaufmann,1989:1043-1048.[2] BREWKA G,EITER T.Preferred answer sets for extended logic programs artificial intelligence[J].Artificial Intelligence,1999,109:297-356.[3] RINTANEN J.Lexicographic priorities in default logic[J].Artificial Intelligence,1998,106:221-265.[4] SAKAMA C,INOUE K.Prioritized logic programming and its application to commonsense reasoning[J].Artificial Intelligence,2000,123:185-222.[5] ZHANG Yan.Two results for proiritized logic programming[J].Theory and Practice of Logic Programming,2003,3:223-242.[6] DELGRANDE J,SCHAUB T,TOMPITS H.A framework for compiling preferences in logic programs[J].Theory and Practice of Logic Programming,2003,3:129-187.[7] WANG Kewen,ZHOU Lizhu,LIN Fangzhen.Alternating fixpoint theory for logic programs with priority[C] //Proc.Int'l Conference on Computational Logic.London:Springer-Verlag,2000:164-178.[8] SCHAUB T,WANG Kewen.A comparative study of logic programs with preference[C] //Proceedings of the International Joint Conference on Artificial Intelligence.Washington:Morgan Kaufmann Publishers,2001:597-602.

Relative Articles

Supplements(0)

Cited By

Proportional views