Brave induction: a logical framework for learning from incomplete information

DOI10.1007/s10994-009-5113-yzbMath1470.68168OpenAlexW2149253903MaRDI QIDQ1959490

Katsumi Inoue, Chiaki Sakama

Publication date: 7 October 2010

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

Full work available at URL: https://doi.org/10.1007/s10994-009-5113-y

zbMATH Keywords

inductive logic programmingbrave inductionnonmonotonic logic programming

Mathematics Subject Classification ID

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

Related Items (9)

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 ⋮ 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 ⋮ Learning weak constraints in answer set programming ⋮ Iterative Learning of Answer Set Programs from Context Dependent Examples ⋮ Inductive equivalence in clausal logic and nonmonotonic logic programming ⋮ Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons

Cites Work

• Clausal discovery
• Nonmonotonic abductive inductive learning
• Saturation, nonmonotonic reasoning and the closed-world assumption
• On the relationship between circumscription and negation as failure
• Circumscription - a form of non-monotonic reasoning
• Linear resolution for consequence finding
• An alternative approach to the semantics of disjunctive logic programs and deductive databases
• Logical settings for concept-learning
• Abduction from logic programs: Semantics and complexity
• Answer set programming and plan generation
• On the computational cost of disjunctive logic programming: Propositional case
• Application of abductive ILP to learning metabolic network inhibition from temporal data
• A fixpoint characterization of abductive logic programs
• Brave Induction
• Inductive Negotiation in Answer Set Programming
• Nonmonotonic Logic II
• Inductive Logic Programming: Theory and methods
• Extracting Requirements from Scenarios with ILP
• Logic programs with monotone abstract constraint atoms
• Inductive Logic Programming
• Induction as consequence finding
• 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: Brave induction: a logical framework for learning from incomplete information