A multi-adjoint logic approach to abductive reasoning (2001) [4 citations — 4 self]

Download:

by Jesús Medina, Manuel Ojeda-aciego

In Logic Programming, ICLP’01

http://www.satd.uma.es/aciego/TR/mov-iclp-c.pdf

Add To MetaCart

Popular Tags

No tags have been applied to this document.

BibTeX | Add To MetaCart

@INPROCEEDINGS{Medina01amulti-adjoint,
    author = {Jesús Medina and Manuel Ojeda-aciego},
    title = {A multi-adjoint logic approach to abductive reasoning},
    booktitle = {In Logic Programming, ICLP’01},
    year = {2001},
    pages = {269--283},
    publisher = {Springer-Verlag}
}

Abstract:

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. 1

Citations

1706	Foundations of logic programming – Lloyd - 1987
410	Abductive logic programming – Kakas, Kowalski, et al. - 1993
150	Theory of Generalized Annotated Logic Programming and Its Applications – Kifer, Subrahmanian - 1992
44	On fuzzy logic I – Pavelka - 1979
39	Monotonic and residuated logic programs – Damásio, Pereira - 2001
32	Multi-adjoint logic programming with continuous semantics – Medina, Ojeda-Aciego, et al. - 2001
22	Antitonic logic programs – Damasio, Pereira - 2001
21	Metamathematics of Fuzzy Logic. Trends in Logic. Studia Logica Library – Hájek - 1998
18	Hybrid probabilistic logic programs as residuated logic programs – Damásio, Pereira - 2000
18	A procedural semantics for multi-adjoint logic programming – Medina, Ojeda-Aciego, et al. - 2001
18	Fuzzy logic programming. Fuzzy sets and systems – Vojtáˇs - 2001
6	Soundness and completeness of non-classical extended SLD-resolution – Vojtáˇs, Paulík - 1996
3	A unified approach to semantics of multi-valued logic programs – Morishita - 1989
2	The Complexity of Logic Based Abduction – Eiter, Gottlab - 1995

View or Download | Add to My Collection | Correct Errors