Sorted Multi-adjoint Logic Programs: Termination Results and Applications
作者： C. V. Damásio , J. Medina , M. Ojeda-Aciego
DOI: 10.1007/978-3-540-30227-8_23
关键词:
摘要: A general framework of logic programming allowing for the combination several adjoint lattices truth-values is presented. The main contribution a new sufficient condition which guarantees termination all queries fixpoint semantics an interesting class programs. Several extensions these conditions are presented and related to some well-known formalisms probabilistic programming.
springer.com
sci-hub.se 参考文章(14)
Leonard Paulík, Best possible answer is computable for fuzzy SLD-resolution Association for Symbolic Logic. pp. 257- 266 ,(1996)
Carlos Viegas Damásio, Luís Moniz Pereira, Monotonic and Residuated Logic Programs european conference on symbolic and quantitative approaches to reasoning and uncertainty. pp. 748- 759 ,(2001) , 10.1007/3-540-44652-4_66
Carlos Viegas Damásio, Luís Moniz Pereira, Hybrid Probabilistic Logic Programs as Residuated Logic Programs Studia Logica. ,vol. 72, pp. 113- 138 ,(2002) , 10.1023/A:1020582126389
Michael Kifer, V.S. Subrahmanian, Theory of generalized annotated logic programming and its applications**A preliminary report on this research has appeared in [34]. The Journal of Logic Programming. ,vol. 12, pp. 335- 367 ,(1992) , 10.1016/0743-1066(92)90007-P
Michael I. Dekhtyar, Alex Dekhtyar, V. S. Subrahmanian, Hybrid probabilistic programs: algorithms and complexity uncertainty in artificial intelligence. pp. 160- 169 ,(1999)
Peter Vojtáš, Fuzzy logic programming Fuzzy Sets and Systems. ,vol. 124, pp. 361- 370 ,(2001) , 10.1016/S0165-0114(01)00106-3
Thomas Lukasiewicz, Probabilistic logic programming with conditional constraints ACM Transactions on Computational Logic. ,vol. 2, pp. 289- 339 ,(2001) , 10.1145/377978.377983
Alex Dekhtyar, V.S. Subrahmanian, Hybrid probabilistic programs Journal of Logic Programming. ,vol. 43, pp. 187- 250 ,(2000) , 10.1016/S0743-1066(99)00059-X
M.H. Van Emden, Quantitative deduction and its fixpoint theory Journal of Logic Programming. ,vol. 30, pp. 37- 53 ,(1986) , 10.1016/0743-1066(86)90003-8
Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtaš, Multi-adjoint Logic Programming with Continuous Semantics international conference on logic programming. pp. 351- 364 ,(2001) , 10.1007/3-540-45402-0_26