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 logic programming semantics.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
L. Bolc and P. Borowik. Many-Valued Logics. Theoretical Foundations. Springer-Verlag, 1992.
C. V. Damásio and L. M. Pereira. Residuated logic programs. Technical report, Universidade Nova de Lisboa, 2000. Available at http://centria.di.fct.unl.pt/~cd.
A. Dekhtyar, M. Dekhtyar, and V. S. Subrahmanian. Hybrid probabilistic programs: Algorithms and complexity. In Proc. of 1999 Conference on Uncertainty in AI, 1999.
A. Dekhtyar and V. S. Subrahmanian. Hybrid probabilistic programs. J. of Logic Programming, 43:187–250, 2000.
R. P. Dilworth and M. Ward. Residuated lattices. Trans. A.M.S., 45:335–354, 1939.
D. Dubois, J. Lang, and H. Prade. Fuzzy sets in approximate reasoning, part 2: Logical approaches. Fuzzy Sets and Systems, 40:203–244, 1991.
D. Dubois, J. Lang, and H. Prade. Towards possibilistic logic programming. In International Conference on Logic Programming 1991, pages 581–598. MIT Press, 1991.
J. H. Gallier. Logic for Computer Science. John Wiley & Sons, 1987.
P. H·jek. Metamathematics of Fuzzy Logic. Trends in Logic. Studia Logica Library. Kluwer Academic Publishers, 1998.
M. Kifer and V. S. Subrahmanian. Theory of generalized annotated logic programming and its applications. J. of Logic Programming, 12:335–367, 1992.
R. Kowalski. Predicate logic as a programming language. In Proceedings of IFIP’74, pages 569–574. North Holland Publishing Company, 1974.
J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987. 2nd. edition.
J. Pavelka. On fuzzy logic I, II, III. Zeitschr. f. Math. Logik und Grundl. der Math., 25, 1979.
M. van Emden and R. Kowalski. The semantics of predicate logic as a programming language. Journal of ACM, 4(23):733–742, 1976.
P. Vojt·s and L. Paulík. Soundness and completeness of non-classical extended SLD-resolution. InProc. of theWs. on Extensions of Logic Programming (ELP’96), pages 289–301. LNCS 1050, Springer-Verlag., 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Damásio, C.V., Pereira, L.M. (2000). Hybrid Probabilistic Logic Programs as Residuated Logic Programs. In: Ojeda-Aciego, M., de Guzmán, I.P., Brewka, G., Moniz Pereira, L. (eds) Logics in Artificial Intelligence. JELIA 2000. Lecture Notes in Computer Science(), vol 1919. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40006-0_5
Download citation
DOI: https://doi.org/10.1007/3-540-40006-0_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41131-4
Online ISBN: 978-3-540-40006-6
eBook Packages: Springer Book Archive