 Logic meets Probability Theory 

Knowledge representation and Reasoning is an AI course where we systematically study representation and reasoning methods with logic and probability theory as the canonical forms. In the end we show that 'never the twain shall meet' is no longer true in recent AI.
History and principles of Prolog and logic programming (complements slides of 24th September and 1st October, 2012)
Read Chapter 2 of lecture notes.
AILog (1st October, 2012) [Slides 1/page PDF: Overview AILog]
Small AILog knowledge base on cardiology
(Note mime type is ail)
There is a close connection between knowledge representation, logic
programming and Prolog. Logic programming is also the foundation
for much recent work on relational learning. Covered are the
basics of logic programming, Prologs and the AILog system.
AILog is a knowledge representation and reasoning system based on Horn clause logic and probability theory.
It will be used in two subsequent assigments for which you get a mark.
There are two assignments
Peter Lucas 
Computing Science
Radboud University Nijmegen
Last updated: 25th September, 2012
peterl AT cs.ru.nl