AILP abductive inductive logic programming

Authors:
Hilde Ade;Marc Denecker
Affiliations:
Department of Computer Science, KU Leuven, Heverlee, Belgium;Department of Computer Science, KU Leuven, Heverlee, Belgium
Venue:
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Year:
1995

Citing 12
Cited 4

Introduction to artificial intelligence

Introduction to artificial intelligence
Updating knowledge bases

New Generation Computing
Intensional updates: abduction via deduction

Logic programming
Detecting and correcting errors in rule-based expert systems: an integration of empirical and explanation-based learning

Knowledge Acquisition
Belief updating from integrity constraints and queries

Artificial Intelligence
Refining a relational theory with multiple faults in the concept and subconcepts

ML92 Proceedings of the ninth international workshop on Machine learning
Temporal reasoning with abductive event calculus

ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Interactive theory revision: an inductive logic programming approach

Interactive theory revision: an inductive logic programming approach
Algorithmic Program DeBugging

Algorithmic Program DeBugging
Learning Logical Definitions from Relations

Machine Learning
Database Updates through Abduction

VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
RUTH: an ILP Theory Revision System

ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems

Inducing Logic Programs With Genetic Algorithms: The Genetic Logic Programming System

IEEE Expert: Intelligent Systems and Their Applications
Abduction in Logic Programming

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Nonmonotonic Inductive Logic Programming

LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Integrating induction and abduction in logic programming

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

Inductive Logic Programming (ILP) is often situated as a research area emerging at the intersection of Machine Learning and Logic Programming (LP). This paper makes the link more clear between ILP and LP, in particular, between ILP and Abductive Logic Programming (ALP), i e, LP extended with abductive reasoning. We formulate a generic framework for handling incomplete knowledge. This framework can be instantiated both to ALP and ILP approaches. By doing so more light is shed on the relationship between abduction and induction. As an example we consider the abductive procedure SLDNFA, and modify it into an inductive procedure which we call SLDNFAI.