Logic Programming
06-25433
Autumn 2012

 

 

 

Lecture 13: An application of Prolog: logical inference with an interface

This application is a natural language interface to a knowledge base. The software uses a DCG to perform a syntax parse of natural language input. The output of the syntactic parser is used to guide the extraction of a semantic representation of the input which is used to build a knowledge base.

In particular, the following topics are covered:

  • making logical inferences from new facts;
  • using CHR to implement an inference system;
  • providing an interface to the inference system using a DCG.
How to prepare

 

Video

  Recording of the lecture (Vimeo)

Slides

  If you really want the slides from the lecture ... but don't forget printing the slides is not the same as understanding them.

Summary

  Summary and programs with commentary from the lecture

Programs from the lecture

 
Example 1 - finding sub-lists Example 2 - an inference system Example 3 - a NL interface to an inference system

Individual study suggestions and further reading

 

Good introductions to DCG are:

CHR is introduced in:

IBM's Watson system uses Prolog to store its many rules:

Assessed work associated with this lecture

  Tutorial sheet 5