Inductive logic programming

DOI10.1007/BF03037089zbMath0712.68022OpenAlexW2520858206WikidataQ56092247 ScholiaQ56092247MaRDI QIDQ5895240

Stephen H. Muggleton

Publication date: 1991

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03037089

zbMATH Keywords

Learninglogic programmingpredicate inventioninformation compressionInverse ResolutionLogic Programming

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Probability and inductive logic (03B48) Logic programming (68N17)

Related Items (54)

FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data ⋮ Learning from interpretation transition using differentiable logic programming semantics ⋮ Inductive logic programming at 30 ⋮ Constructing simply recursive programs from a finite set of good examples ⋮ Autonomous agents modelling other agents: a comprehensive survey and open problems ⋮ The appropriateness of predicate invention as bias shift operation in ILP ⋮ The complexity and generality of learning answer set programs ⋮ Inductive inference in the limit of empirically adequate theories ⋮ Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples ⋮ Weakening the language bias in LINUS ⋮ Predicate invention and utilization ⋮ Automated generation of control concepts annotation rules using inductive logic programming. System description ⋮ FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data ⋮ Knowledge graphs completion via probabilistic reasoning ⋮ Inductive Learning of Answer Set Programs ⋮ An integrated framework for the diagnosis and correction of rule-based programs ⋮ Learning logic programs by explaining their failures ⋮ Learning Distributional Programs for Relational Autocompletion ⋮ A new algorithm to automate inductive learning of default theories ⋮ Learning weak constraints in answer set programming ⋮ Iterative Learning of Answer Set Programs from Context Dependent Examples ⋮ Logic explained networks ⋮ FFNSL: Feed-forward neural-symbolic learner ⋮ Integrated preference argumentation and applications in consumer behaviour analyses ⋮ Inverse reinforcement learning through logic constraint inference ⋮ \(\alpha\)ILP: thinking visual scenes as differentiable logic programs ⋮ Learning programs with magic values ⋮ Rule Induction and Reasoning over Knowledge Graphs ⋮ A filtering-based general approach to learning rational constraints of epistemic graphs ⋮ Application of abductive ILP to learning metabolic network inhibition from temporal data ⋮ A comparative study of three neural-symbolic approaches to inductive logic programming ⋮ Learning to rank the distinctiveness of behaviour in serial offending ⋮ ILP turns 20. Biography and future challenges ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Introducing new predicates to model scientific revolution ⋮ White-box Induction From SVM Models: Explainable AI with Logic Programming ⋮ Smart office robot collaboration based on multi-agent programming ⋮ Some thoughts on knowledge-enhanced machine learning ⋮ Classic learning ⋮ GENEX: a tool for testing in ILP ⋮ Unnamed Item ⋮ Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games ⋮ ILP :- Just Trie It ⋮ Beneficial and harmful explanatory machine learning ⋮ Top program construction and reduction for polynomial time meta-interpretive learning ⋮ Learning programs by learning from failures ⋮ Unnamed Item ⋮ Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons ⋮ On distinguishing sets of structures by first-order sentences of minimal quantifier rank ⋮ Lifted graphical models: a survey ⋮ Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic

Uses Software

• GOLEM

Cites Work

• Qualitative simulation
• Quantifying inductive bias: AI learning algorithms and Valiant's learning framework
• Generalized subsumption and its applications to induction and redundancy
• A general lower bound on the number of examples needed for learning
• A difference method for a nonlinear system of elliptic equations with mixed derivatives
• A Machine-Oriented Logic Based on the Resolution Principle
• Language identification in the limit
• A formal theory of inductive inference. Part II
• Systems of Logic Based on Ordinals^†
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Inductive logic programming