| Scope and form: Forelæsninger. Rapportudarbejdelse (afløsningsopgave). |
| Evaluation: Project report
|
| Examination: 13-scale |
| Previous course: 49355 |
| Prerequisites: 02280 |
| Aim: To gain insight in the logical theories which form the basis forknowledge representation inknowledge based systems. |
| Contents: Combining logical and object-oriented knowledge representations.Object-oriented data bases.Classification with algebraic lattices. Property inheritance.Relation-algebraic logic for knowledge representation.Prerequisites: acquaintance with predicate logic, logic programming, andrelational data bases. |
| Contact: Jørgen Fischer Nilsson, building 322, (+45) 4525 3730, jfn@imm.dtu.dk |
| Department: 002 Informatics and Mathematical Modelling |
| Course URL: http://www.imm.dtu.dk/courses/02284 |
| Updated: 26-11-2001 |
