AILP: Abductive Inductive Logic Programming

Adé, Hilde; Denecker, Marc

AILP: Abductive Inductive Logic Programming

Download BibTeX Cite

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Learning. Pages 1201-1208.

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.

Hilde Adé, and Marc Denecker. 1995. AILP: Abductive Inductive Logic Programming. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95. IJCAI, 1201–1208. https://ijcai.org/proceedings/1995/155

@inproceedings{ijcai1995p155,
  title     = {AILP: Abductive Inductive Logic Programming},
  author    = {Adé, Hilde and Denecker, Marc},
  booktitle = {Proceedings of the Fourteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-95}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Chris S. Mellish},
  pages     = {1201--1208},
  year      = {1995},
  note      = {Learning},
  url       = {https://ijcai.org/proceedings/1995/155},
}

TY  - CPAPER
TI  - AILP: Abductive Inductive Logic Programming
AU  - Adé, Hilde
AU  - Denecker, Marc
T2  - Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1995
SP  - 1201
EP  - 1208
UR  - https://ijcai.org/proceedings/1995/155
ER  -