ON THE CORRECTNESS OF UNFOLD/FOLD TRANSFORMATION OF NORMAL AND EXTENDED LOGIC PROGRAMS

被引：19
作者：
ARAVINDAN, C [1 ]
DUNG, PM [1 ]
机构：
[1] ASIAN INST TECHNOL, SCH ADV TECHNOL, COMP SCI PROGRAM, BANGKOK 10501, THAILAND
来源：
JOURNAL OF LOGIC PROGRAMMING | 1995年 / 24卷 / 03期
关键词：
D O I：
10.1016/0743-1066(94)00104-E
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We show that the framework for unfold/fold transformation of logic programs, first proposed by Tamaki and Sato; and later extended by various researchers, preserves various nonmonotonic semantics of normal logic programs, especially preferred extension, partial stable models, regular model, and stable theory semantics. The primary aim of this research is to adopt a uniform approach for every semantics of normal programs, and that is elegantly achieved through the notion of semantic kernel. Later, we show that this framework can also be applied to extended logic programs, preserving the answer set semantics.
引用
收藏
页码：201 / 217
页数：17
相关论文
共 47 条
[1]  
Alferes, Pereira, On Logic Program Semantics with Two Kinds of Negation, Proc. of the Int. Joint Conf. and Symp. on Logic Programming, pp. 574-588, (1992)
[2]  
Apt, Blair, Walker, Towards a Theory of Declarative Knowledge, Foundations of Deductive Databases and Logic Programming, pp. 89-148, (1988)
[3]  
Bossi, Cocco, Basic Transformation Operations which Preserve Computed Answer Substitutions of Logic Programs, Journal of Logic Programming, 16, pp. 47-87, (1993)
[4]  
Bossi, Cocco, Preserving Universal Termination through Unfold/Fold, Proc. of International Conference on Algebraic and Logic Programming, pp. 269-286, (1994)
[5]  
Bossi, Etalle, More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics, Proc. of the Fourth International Workshop on Meta Programming in Logic (Meta '94), (1994)
[6]  
Bossi, Etalle, Transforming Acyclic Programs, ACM Transactions on Programming Languages and Systems, (1994)
[7]  
Bossi, Gabbrielli, Levi, Martelli, The s-semantics approach: Theory and applications, The Journal of Logic Programming, 19-20, pp. 149-197, (1994)
[8]  
Brogi, Lamma, Mancarella, Mello, Normal Logic Programs as Open Positive Programs, Proc. of Joint Int. Conf. and Symp. on Logic Programming, pp. 783-797, (1992)
[9]  
Bondarenko, Toni, Kowalski, An Assumption-Based Framework for Non-Monotonic Reasoning, Proc. of the Second Int. Workshop on Logic Programming and Non-Monotonic Reasoning, (1993)
[10]  
Clark, Negation as Failure, Logic and Databases, pp. 293-322, (1978)
12345