02284 Videnbaserede systemer

2018/2019

Kurset udbydes formodentligt sidste gang i efteråret 2018
Kursusinformation
Knowledge-based Systems
Engelsk
5
Kandidat
Kurset udbydes som enkeltfag
E2A (man 13-17)
Kun lige år, næste E18
Campus Lyngby
Forelæsninger. Rapportudarbejdelse (afløsningsopgave).
13-uger
E2A, F2A, Ingen eksamen i den ordinære eksamensperiode
Bedømmelse af opgave(r)/rapport(er)
Alle hjælpemidler er tilladt
7-trins skala , intern bedømmelse
0215602180 / 02281 , Kendskab til rekursion i programmering. kendskab til UML eller ER modeller, kendskab til prædikatlogik.
Jørgen Fischer Nilsson , Lyngby Campus, Bygning 322, Tlf. (+45) 4525 3730 , jfni@dtu.dk

01 Institut for Matematik og Computer Science
http://www.imm.dtu.dk/courses/02284
I studieplanlæggeren
Kontakt underviseren for information om hvorvidt dette kursus giver den studerende mulighed for at lave eller forberede et projekt som kan deltage i DTUs studenterkonference om bæredygtighed, klimateknologi og miljø (GRØN DYST). Se mere på http://www.groendyst.dtu.dk
Overordnede kursusmål
At give indsigt i de logiske teorier, der ligger til grund for begrebsmodellering, formelle ontologier og vidensrepræsentation i videnbaserede programmelsystemer.
Læringsmål
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
  • Formulere anvendelsdomænemodeller vha ER
  • Forklare egenskaber for den ontologiske inklusionsrelation
  • Formulere gitterspec. af domæner
  • Anvende gitre i induktiv databasesøgning
  • Forklare forhold mellem Hasse diag. og algebraiske gitre
  • Forklare relation mellem gitre og beskrivelseslogik
  • Formulere specifikationer vha. beskrivelseslogik
  • Diskutere de forskellige del-helhedrelationer
  • Formulere del-helhedsaksiomer
Kursusindhold
Relationsdatabasemodellen.
Begrebsmodellering med ER-diagrammer.
Ontologier.
Algebraiske gitre og deres anvendelse til domænemodellering.
Beskrivelseslogik.
Del-helhed relationen.
Sidst opdateret
25. juni, 2018