Applying Deduction Systems

BREAKING NEWS: On Tuesday 27 May, 1:15 PM, Room EOO5 there will be a talk by ROBERT KOWALSKI on Computing as Model Generation: Programming in Logic without Logic Programming (More information)

Course Description

We will approach automated deduction systems that follow different paradigms from the view of the application user. The tutorials require experimenting with the introduced systems and presenting solutions.

Discussed topics and systems will be

1. Programming in logic, formula manipulation, interfacing with XML and RDF (SWI-Prolog)
2. First-order theorem proving (Hyper [formerly called E-KRHyper], Prover9, E)
3. Model computation, answer set programming (Hyper, Clingo [clasp/Gringo])
4. Ontology reasoning (Protege/Hermit)
5. Reasoning with forms of second-order quantifier elimination: Forgetting, uniform interpolation, projection computation, abduction

Literature

• Richard O'Keefe: The Craft of Prolog, Cambridge, Mass., 1994
  Many important tips and tricks for programming in Prolog
• Chitta Baral: Knowledge Representation, Reasoning and Declarative Problem Solving, Cambridge, 2003
  The textbook on answer set programming
• Robert Kowalski: Logic Programming, draft paper, retrieved 20 March 2014
  Excellent overview on issues of logic programming by one of its inventors