NAME
	Stephen Muggleton and James Cussens
TITLE
	Inductive Logic Programming for Learning Language in Logic
TYPE
	Introductory
SECTION
	Language and Computation
DURATION
	1 week
SUMMARY

Inductive Logic Programming (ILP) is the area of Computer Science
which deals with the induction of hypothesised predicate definitions
from examples and background knowledge. Logic programs are used as a
single representation for examples, background knowledge and
hypotheses. ILP is differentiated from most other forms of Machine
Learning (ML) both by its use of an expressive representation language
and its ability to make use of logically encoded background knowledge.
This has allowed successful applications of ILP in areas such as
molecular biology and computational chemistry.

The area of Computational Learning of Natural Language in Logic (LLL)
is producing a number of challenges to existing ILP theory and
implementations. This course aims to give a grounding in ILP with an
emphasis on applications in LLL.