CS3411 Advanced Knowledge Based Systems
1999-2000 session

Lecturer: Enrico Franconi
Assessment: 2 hours examination (75%) + an individual class exercise (25%)

Aims and objectives

By the end of this module students will have acquired a method for designing knowledge bases and knowledge based systems and agents. The emphasis will be on a rigorous approach to knowledge representation and building ontologies. It is assumed that students are already familiar with the elements of logics and artificial intelligence.
The course is divided in three major parts. The first part of the course will review the basic concepts of classical first order predicate logic, and will give the student the ability to model reality using classical logic. At the end of the first part there will be an assessed class exercise.
The second part briefly surveys the standard technologies for ontological engineering and knowledge representation, reviewed from a logical perspective.
The third part of the course will present the most popular logic-based knowledge representation formalism, namely Description Logics. The simplest Description Logic will be deeply analysed from the logical point of view. Several extensions and uses of Description Logics will be briefly introduced at the end.
Illustrations of practical examples will be given.

Reading List


Lectures and course slides

Thursday, 9:00-10:00, Room LF15,
Thursday, 12:00-13:00, Room LF14.
(Spare slot: Monday, 13:00-14:00, Room LF15)