At give indsigt i de logiske teorier, der ligger til grund for vidensrepræsentation i videnbaserede programmelsystemer.
Kursusindhold:
Kombination af logisk og objektorienteret vidensrepræsentation. Objektorienterede databaser. Klassifikation med algebraiske gitre. Nedarvning af egenskaber. Relationsalgebraisk logik. Ontologier.