| Tidligere kursus: C4355 |
| Udbydes af:
Institut for Informationsteknologi
(IT) |
| Pointspærring: C4355 |
| Faglige forudsætninger: 49233/49232.49253 |
| Vejledende semester:
Sidst i studiet. |
| Undervisningsform: Forelæsninger. Opgaveregning. 1-2 større skriftlige opgaver i hold af 1-2 deltagere. |
| Evalueringsform:
Bedømmelse af obligatoriske opgaver.
(13-skala
) |
| Kontaktperson: |
Jørgen Fischer Nilsson, IT, bygn. 344, tlf. 4525 3730E-mail: jfn@it.dtu.dk |
|
| Kursusmål: At give indsigt i de logiske teorier, der ligger til grund for vidensrepræsentation i videnbaserede programmelsystemer |
| Kursusindhold: Kurset omhandler formaliseret vidensrepræsentation under anvendelse af såkaldt objekt-orienteret logik, der kombinerer objekt-orienteret tankegang med logikprogrammering. |
