| Tidligere kursus: C4332 |
| Udbydes af:
Institut for Informationsteknologi
(IT) |
| Pointspærring: C4332 |
| Faglige forudsætninger: 49142/C4312 |
| Vejledende semester:
Midt i studiet. |
| Undervisningsform: Forelæsninger. Opgaveregning.En større programkonstruktions-øvelse med rapportaflevering. |
| Evalueringsform:
Skriftlig eksamen og rapportaflevering
(13-skala
) |
| Kontaktperson: |
Jørgen Fischer Nilsson, IT, bygn. 344, tlf. 4525 3730E-mail: jfn@it.dtu.dk |
|
| Kursusmål: At introducere til logikprogrammeringsbegreber, -sprog og -metoder. At give deltagerne indblik i anvendelse af logik og logikprogrammering til specifikation og prototyping samt til vidensrepræsentation og maskinel ræsonneren i videnbaserede systemer. |
| Kursusindhold: Klausulform af logik. Logikprogrammering i Prolog. Operationel og matematisk semantik for Prolog. Bevisførelse i resolutionslogik. Datatypesystemer og metafortolkere i logikprogrammering. |
