A logical foundation for logic programming II: Semantics of general logic programs

We suggested in Part I of this study a general logical formalism for Logic Programming based on a four-valued inference. In this paper we give a uniform representation of various semantics for logic programs based on this formalism. The main conclusion from this representation is that the distinctio...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	The journal of logic programming Ročník 35; číslo 2; s. 171 - 194
Hlavní autor:	Bochman, Alexander
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.05.1998
Témata:	Foundations of logic programming Negation as failure Nonmonotonic reasoning Semantics for logic programs Negation as failure Foundations of logic programming Nonmonotonic reasoning Semantics for logic programs
ISSN:	0743-1066, 1873-5789
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Popis
Shrnutí:	We suggested in Part I of this study a general logical formalism for Logic Programming based on a four-valued inference. In this paper we give a uniform representation of various semantics for logic programs based on this formalism. The main conclusion from this representation is that the distinction between these semantics can be largely attributed to the difference in their underlying (monotonic) logical systems. Moreover, in most cases the difference can even be reduced to that of the language, that is, to the difference in the logical connectives allowed for representing derivable information.
Bibliografie:	ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23
ISSN:	0743-1066 1873-5789
DOI:	10.1016/S0743-1066(97)10006-1