Nonmonotonic abductive inductive learning

DOI10.1016/j.jal.2008.10.007zbMath1179.68125OpenAlexW2009605580MaRDI QIDQ833734

Oliver Ray

Publication date: 14 August 2009

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2008.10.007

zbMATH Keywords

inductionnonmonotonic reasoninglogic programmingabduction

Mathematics Subject Classification ID

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

Related Items (22)

Inductive logic programming at 30 ⋮ Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition ⋮ The complexity and generality of learning answer set programs ⋮ Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning ⋮ Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples ⋮ Inductive Learning of Answer Set Programs ⋮ Learning Through Hypothesis Refinement Using Answer Set Programming ⋮ A new algorithm to automate inductive learning of default theories ⋮ Learning weak constraints in answer set programming ⋮ Online learning of event definitions ⋮ Iterative Learning of Answer Set Programs from Context Dependent Examples ⋮ Rule Induction and Reasoning over Knowledge Graphs ⋮ Inverse subsumption for complete explanatory induction ⋮ Brave induction: a logical framework for learning from incomplete information ⋮ Making sense of sensory input ⋮ Deriving non-zeno behaviour models from goal models using ILP ⋮ Learning programs by learning from failures ⋮ Incremental learning of event definitions with inductive logic programming ⋮ Probabilistic Rule Learning in Nonmonotonic Domains ⋮ Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons ⋮ Learning explanations for biological feedback with delays using an event calculus ⋮ Learning any memory-less discrete semantics for dynamical systems represented by logic programs

Uses Software

• Aleph

Cites Work

• A logic-based calculus of events
• Flattening and saturation: Two representation changes for generalization
• Strategies in combined learning via logic programs
• Multistrategy theory revision: Induction and abduction in INTHELEX
• Hypothesis finding based on upward refinement of residue hypotheses.
• Logic programming and negation: A survey
• Inductive Logic Programming: Theory and methods
• Event Calculus Reasoning Through Satisfiability
• Induction from answer sets in nonmonotonic logic programs
• Abductive Logic Programming
• Inductive Logic Programming
• Extracting Requirements from Scenarios with ILP
• Induction as consequence finding
• Inductive Logic Programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Nonmonotonic abductive inductive learning