Thesis icon

Thesis

An investigation into theory completion techniques in inductive logic programming

Abstract:

Traditional Inductive Logic Programming (ILP) focuses on the setting where the target theory is a generalisation of the observations. This is known as Observational Predicate Learning (OPL). In the Theory Completion setting the target theory is not in the same predicate as the observations (non-OPL). This thesis investigates two alternative simple extensions to traditional ILP to perform non-OPL or Theory Completion. Both techniques perform extraction-case abduction from an existing backgrou...

Expand abstract

Actions


Authors


Contributors

Role:
Supervisor
Role:
Supervisor
Role:
Supervisor
Institution:
University of Oxford
Research group:
Programming Research Group
Oxford college:
Worcester College
Department:
Mathematical,Physical & Life Sciences Division - Computing Laboratory
Publication date:
2003
Type of award:
DPhil
Level of award:
Doctoral
URN:
uuid:823d64c1-eae9-4e8e-b159-fe1cbf68c1c7
Local pid:
ora:6469

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP