| Lamma, E., Mello, P., Milano, M., Riguzzi, F., Esposito, F., Ferilli, S., Semeraro, G.: Cooperation of Abduction and Induction in Logic Programming., in: Abductive and Inductive Reasoning: Essays on their Relation and Integration (A. Kakas, P. Flach, Eds.), Kluwer, 2000, 233--252. |
....to learn is itself inherently abductive or non monotonic (e.g. containing nested hierarchies of exceptions) in which case the hypothesis space for learning is a space of abductive theories. Frameworks for learning abductive theories include the early system of LAB [14] and the more recent work of [7, 8, 3, 9] where both explanatory and confirmatory induction are used to generate abductive theories that include integrity constraints. Also in [6] the problem of learning abductive logic programs for capturing non monotonic theories is studied. 5 Concluding Remarks The cycle of cooperation between ....
Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Floriana Esposito, Stefano Ferilli, and Giovanni Semeraro. Cooperation of abduction and induction in logic programming. In Flach and Kakas [5], pages 233--252.
No context found.
Lamma, E., Mello, P., Milano, M., Riguzzi, F., Esposito, F., Ferilli, S., Semeraro, G.: Cooperation of Abduction and Induction in Logic Programming., in: Abductive and Inductive Reasoning: Essays on their Relation and Integration (A. Kakas, P. Flach, Eds.), Kluwer, 2000, 233--252.
No context found.
E. Lamma, P. Mello, F. Riguzzi, F. Esposito, S. Ferilli and G. Semeraro. Cooperation of abduction and induction in logic programming. In A. C. Kakas and P. Flach, editors, Abductive and Inductive Reasoning: Essays on their Relation and Integration. Kluwer, 2000.
No context found.
E. Lamma, P. Mello, M. Milano, F. Riguzzi, F. Esposito, S. Ferilli, and G. Semeraro. Cooperation of abduction and induction in logic programming. In A. Kakas and P. Flach, editors, Abductive and Inductive Reasoning: Essays on their Relation and Integration. Kluwer, 2000.
....yet, and hence the preserved information might be needed to recover from deductions made because of wrong rules. 2.3 Abduction Abduction was defined by Peirce as hypothesizing some facts that, together with a given theory, could explain a given observation. According to the framework proposed in [8], an abductive logic theory is made up by a normal logic program [9] a set of abducibles, i.e. the predicates about which assumptions (abductions) can be made, and a set of integrity constraints, that provide indirect information about them (each corresponds to a combination of literals that is ....
E. Lamma, P. Mello, F. Riguzzi, F. Esposito, S. Ferilli, and G. Semeraro. Cooperation of abduction and induction in logic programming. In A. C. Kakas and P. Flach, editors, Abductive and Inductive Reasoning: Essays on their Relation and Integration. Kluwer, 2000.
No context found.
E. Lamma, P. Mello, F. Riguzzi, F. Esposito, S. Ferilli, and G. Semeraro. Cooperation of abduction and induction in logic programming. In: [14], pp. 233--252, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC