Induction, abduction, and consequence-finding

DOI10.1007/3-540-44797-0_6MaRDI QIDQ4796702zbMATH OpenFDO

Authors Katsumi Inoue

Publication date 3 April 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44797-0_6

Mathematics Subject Classification ID

Logic programming (68N17) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Induction as consequence finding
• Induction as consequence finding
• Inverse subsumption for complete explanatory induction
• Inverse entailment in nonmonotonic logic programs
• From deduction to induction: Logical perspective

Cited in

(19)

• QG/GA: a stochastic search for Progol
• Abductive consequence relations
• Hypothesis finding based on upward refinement of residue hypotheses.
• Induction, constructivity, and grounding
• Application of abductive ILP to learning metabolic network inhibition from temporal data
• Abductive reasoning in neural-symbolic systems
• scientific article; zbMATH DE number 5872216 (Why is no real title available?)
• scientific article; zbMATH DE number 5872217 (Why is no real title available?)
• Induction on Failure: Learning Connected Horn Theories
• Inductive resolution
• scientific article; zbMATH DE number 2080447 (Why is no real title available?)
• scientific article; zbMATH DE number 1746692 (Why is no real title available?)
• A method for finding consistent hypotheses using abstraction
• Theory completion using inverse entailment
• Deductive and Abductive Reasoning with Causal and Evidential Information
• scientific article; zbMATH DE number 970718 (Why is no real title available?)
• Induction as consequence finding
• Induction as consequence finding
• Abduction and induction. Essays on their relation and integration

This page was built for publication: Induction, abduction, and consequence-finding

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4796702)