|
Undervisningsform: Forelæsninger. Rapportudarbejdelse (afløsningsopgave). |
|
Evalueringsform: Afløsningsopgave
|
| Karakter: 13-skala |
| Tidligere kursus: 49355 |
| Faglige forudsætninger: 02280 |
| Kursusmål: At give indsigt i de logiske teorier, der ligger til grundfor vidensrepræsentation i videnbaserede programmelsystemer. |
| Kursusindhold: Kombination af logisk og objektorienteret vidensrepræsentation.Objektorienterede databaser.Klassifikation med algebraiske gitre. Nedarvning af egenskaber.Relationsalgebraisk logik. |
| Kontaktperson: Jørgen Fischer Nilsson, building 322, (+45) 4525 3730, jfn@imm.dtu.dk |
| Kursus URL: http://www.imm.dtu.dk/courses/02284 |
