Studia Logica 72 (1):113 - 138 (2002)
AbstractIn this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the first time a framework encompassing several quite distinct logic programming semantics is described, namely Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic Logic Programs, and Possibilistic Logic Programming. Moreover, the embedding provides a more general semantical structure paving the way for defining paraconsistent probabilistic reasoning with a logic programming semantics.
Similar books and articles
Application of Modal Logic to Programming.Vaughan R. Pratt - 1980 - Studia Logica 39 (2-3):257 - 274.
Probabilistic Dynamic Epistemic Logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Program Semantics and Classical Logic.Reinhard Muskens - 1997) - In CLAUS Report Nr 86. Saarbrücken: University of the Saarland. pp. 1-27.
Added to PP
Historical graph of downloads
Citations of this work
Termination of Logic Programs with Imperfect Information: Applications and Query Procedure.C. V. Damásio, J. Medina & M. Ojeda-Aciego - 2007 - Journal of Applied Logic 5 (3):435-458.
References found in this work
No references found.