KBSG » 2008

Lecture - Introduction to Knowledge Representation

An announcement of the course can also be found in the course information system CAMPUS.

Contents

Topics covered in the course

The course introduces techniques for knowledge representation and reasoning. The topics covered are:

  • First-order logic
  • Expressing knowledge
  • Full clausal logic
  • Horn logic
  • Procedural representations
  • Production systems
  • Description logics
  • Inheritance networks
  • Defaults
  • Action
  • Planning
  • Abductive explanations
  • Expressiveness/tractability trade-offs

Course Dates

This course starts on 9th April 2008.

Lecture Monday 15:00h - 16:30h
14:30h - 16:00h		 AH V
Wednesday 08:15h - 09:45h AH V
Tutorial Wednesday 13:15h - 14:45h AH I

Literature

Ronald J. Brachman and Hector J. Levesque.
Knowledge Representation and Reasoning.
2003. BibTeX entry

L²P Course Room

[Link to the L²P Course Room for this course]

Note:

  • All materials and announcements relevant for this course will be
    published in the L²P Course Room.
  • To login, students have to register for the course via
    Campus Office.

Submitted by stf on 9. February 2008 - 16:44. categories [ | | | ]