Abstract
Multi-adjoint logic programs has been recently introduced [9], [10] as a generalization of monotonic logic programs [2], [3], in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed.
This paper discusses abductive reasoning-that is, reasoning in which explanatory hypotheses are formed and evaluated. To model uncertainty in human cognition and real world applications; we use multi-adjoint logic programming to introduce and study a model of abduction problem.
Partially supported by Spanish DGI project BFM2000-1054-C02-02 and Junta de Andalucía project TIC-115.
and partially supported by Slovak project VEGA 1/7557/20
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
C. V. Damásio and L. M. Pereira. Monotonic and residuated logic programs. Technical report, Dept. Computer Science. Univ. Nova de Lisboa, 2000. Available at http://centria.di.fct.unl.pt/~cd.
C. V. Damásio and L. M. Pereira. A theory of logic programming. Technical report, Dept. Computer Science. Univ. Nova de Lisboa, 2000.
C.V. Damásio and L. Moniz Pereira. Hybrid probabilistic logic programs as residuated logic programs. In Logics in Artificial Intelligence, pages 57.73. Lect. Notes in AI, 1919, Springer-Verlag, 2000.
T. Eiter and G. Gottlob. The complexity of logic based abduction. Journal of the ACM, 42:3–42, 1995.
P. Hájek. Metamathematics of Fuzzy Logic. Trends in Logic. Studia Logica Library. Kluwer Academic Publishers, 1998.
A.C. Kakas, R.A. Kowalski, and F. Toni. The role of abduction in logic programming. In Handbook of Logic in Artificial Intelligence and Logic Programming, volume 5, pages 235–324. Oxford Univ. Press, 1998.
M. Kifer and V. S. Subrahmanian. Theory of generalized annotated logic programming and its applications. J. of Logic Programming, 12:335–367, 1992.
J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second, extended edition, 1987.
J. Medina, M. Ojeda-Aciego, and P. Vojtáš. Multi-adjoint logic programming with continuous semantics. Submitted for publication. Manuscript available at http://www.satd.uma.es/aciego/TR/malp-tr.pdf.
J. Medina, M. Ojeda-Aciego, and P. Vojtáš. A procedural semantics for multiadjoint logic programming. Submitted for publication. Manuscript available at http://www.satd.uma.es/aciego/TR/procsem-tr.pdf.
S. Morishita. A unified approach to semantics of multi-valued logic programs. Technical Report RT 5006, IBM Tokyo, 1990.
J. Pavelka. On fuzzy logic I, II, III. Zeitschr. f. Math. Logik und Grundl. der Math., 25, 1979.
P. Vojtáš. Fuzzy logic programming. Fuzzy sets and systems, 2001. Accepted.
P. Vojtáš and L. Paulík. Soundness and completeness of non-classical extended SLD-resolution. In Proc. Extensions of Logic Programming, pages 289–301. Lect. Notes in Comp. Sci. 1050, Springer-Verlag, 1996.
M. van Emden and R. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23(4):733–742, 1976.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Medina, J., Ojeda-Aciego, M., Vojtáš, P. (2001). A Multi-adjoint Logic Approach to Abductive Reasoning. In: Codognet, P. (eds) Logic Programming. ICLP 2001. Lecture Notes in Computer Science, vol 2237. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45635-X_26
Download citation
DOI: https://doi.org/10.1007/3-540-45635-X_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42935-7
Online ISBN: 978-3-540-45635-3
eBook Packages: Springer Book Archive