Er bestaan verschillende methoden
(en technieken) van programmeren.
Binnen de AI neemt het logisch programmeren een belangrijke plaats in.
Allereerst leren de studenten
programmeren in de programmeertaal Prolog, die gebaseerd is op logisch programmeren. In deze
taal kan men op een heel directe manier kennis
representeren (declaratief), waarbij de algoritmen om deze
kennis toe te passen (procedureel) in hoge mate aan de computer kunnen worden
overgelaten.
Verder wordt ook de theorie van het
logisch programmeren behandeld (trefwoorden: resolutie, unificatie, horn
clause) en
worden verschillende AI technieken in prolog besproken (zoals natuurlijke
taalanalyse, expertsystemen, zoekalgoritmen).
|
|