Studia Logica 72 (1):113 - 138 (2002)
Abstract |
In 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.
|
Keywords | Philosophy Logic Mathematical Logic and Foundations Computational Linguistics |
Categories | (categorize this paper) |
Reprint years | 2004 |
DOI | 10.1023/A:1020582126389 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
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.
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.
Analytics
Added to PP index
2009-01-28
Total views
47 ( #211,406 of 2,403,163 )
Recent downloads (6 months)
2 ( #361,711 of 2,403,163 )
2009-01-28
Total views
47 ( #211,406 of 2,403,163 )
Recent downloads (6 months)
2 ( #361,711 of 2,403,163 )
How can I increase my downloads?
Downloads