Induction as consequence finding

DOI10.1023/B:MACH.0000023149.72125.e2zbMath1101.68078MaRDI QIDQ5894894

Katsumi Inoue

Publication date: 19 January 2005

Published in: Machine Learning (Search for Journal in Brave)

zbMATH Keywords

abductionInductioninverse entailmentconsequence finding

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Related Items

Reconsideration of circumscriptive induction with pointwise circumscription ⋮ Nonmonotonic abductive inductive learning ⋮ Completing causal networks by meta-level abduction ⋮ Inductive equivalence in clausal logic and nonmonotonic logic programming ⋮ ILP turns 20. Biography and future challenges ⋮ Inverse subsumption for complete explanatory induction ⋮ Brave induction: a logical framework for learning from incomplete information ⋮ Brave Induction ⋮ Mode-Directed Inverse Entailment for Full Clausal Theories