On the relationship between TMS and logic programs

1994 ◽  
Vol 9 (3) ◽  
pp. 245-251
Author(s):  
Xianchang Wang ◽  
Huowang Chen ◽  
Qinping Zhao
Keyword(s):  
Logic Programs ◽  
The Relationship

scholarly journals Stratified, Weak Stratified, and Three-Valued Semantics1

1990 ◽  
Vol 13 (1) ◽  
pp. 19-33
Author(s):  
Melvin Fitting ◽  
Marion Ben-Jacob
Keyword(s):  
Fixed Point ◽  
Fixed Points ◽  
Horn Clause ◽  
Logic Programs ◽  
The Family ◽  
Fixed Point Semantics ◽  
Truth Value ◽  
The Relationship ◽  
Classical Truth

We investigate the relationship between three-valued Kripke/Kleene semantics and stratified semantics for stratifiable logic programs. We first show these are compatible, in the sense that if the three-valued semantics assigns a classical truth value, the stratified approach will assign the same value. Next, the familiar fixed point semantics for pure Horn clause programs gives both smallest and biggest fixed points fundamental roles. We show how to extend this idea to the family of stratifiable logic programs, producing a semantics we call weak stratified. Finally, we show weak stratified semantics coincides exactly with the three-valued approach on stratifiable programs, though the three-valued version is generally applicable, and does not require stratification assumptions.

scholarly journals Extended ASP Tableaux and rule redundancy in normal logic programs

2008 ◽  
Vol 8 (5-6) ◽  
pp. 691-716 ◽  
Author(s):  
MATTI JÄRVISALO ◽  
EMILIA OIKARINEN
Keyword(s):  
Answer Set Programming ◽  
Proof System ◽  
Logic Programs ◽  
Interesting Insight ◽  
Extension Rule ◽  
Normal Logic ◽  
Relationship Of ◽  
The Relationship ◽  
Resolution Proof ◽  
Answer Set

AbstractWe introduce an extended tableau calculus for answer set programming (ASP). The proof system is based on the ASP tableaux defined in the work by Gebser and Schaub (Tableau calculi for answer set programming. In Proceedings of the 22nd International Conference on Logic Programming (ICLP 2006), S. Etalle and M. Truszczynski, Eds. Lecture Notes in Computer Science, vol. 4079. Springer, 11–25) with an added extension rule. We investigate the power of Extended ASP Tableaux both theoretically and empirically. We study the relationship of Extended ASP Tableaux with the Extended Resolution proof system defined by Tseitin for sets of clauses, and separate Extended ASP Tableaux from ASP Tableaux by giving a polynomial-length proof for a family of normal logic programs {Φn} for which ASP Tableaux has exponential-length minimal proofs with respect to n. Additionally, Extended ASP Tableaux imply interesting insight into the effect of program simplification on the lengths of proofs in ASP. Closely related to Extended ASP Tableaux, we empirically investigate the effect of redundant rules on the efficiency of ASP solving.

scholarly journals On the Equivalence between Assumption-Based Argumentation and Logic Programming

2017 ◽  
Vol 60 ◽  
pp. 779-825 ◽  
Author(s):  
Martin Caminada ◽  
Claudia Schulz
Keyword(s):  
Logic Programming ◽  
Logic Program ◽  
The Other ◽  
Logic Programs ◽  
Special Cases ◽  
Reverse Translation ◽  
Normal Logic ◽  
The Relationship

Assumption-Based Argumentation (ABA) has been shown to subsume various other non-monotonic reasoning formalisms, among them normal logic programming (LP). We re-examine the relationship between ABA and LP and show that normal LP also subsumes (flat) ABA. More precisely, we specify a procedure that given a (flat) ABA framework yields an associated logic program with almost the same syntax whose semantics coincide with those of the ABA framework. That is, the 3-valued stable (respectively well-founded, regular, 2-valued stable, and ideal) models of the associated logic program coincide with the complete (respectively grounded, preferred, stable, and ideal) assumption labellings and extensions of the ABA framework. Moreover, we show how our results on the translation from ABA to LP can be reapplied for a reverse translation from LP to ABA, and observe that some of the existing results in the literature are in fact special cases of our work. Overall, we show that (flat) ABA frameworks can be seen as normal logic programs with a slightly different syntax. This implies that methods developed for one of these formalisms can be equivalently applied to the other by simply modifying the syntax.

Sign in / Sign up

Export Citation Format

Share Document