1APLAI 1112

Advanced Programming Languages for Artificial Intelligence (H02A8A) Plichtvak voor Master in de

ingenieurswetenschappen CW (AI) Plichtvak voor Master in de informatica

(specialisatie AI)

Keuze voor andere opties/specialisaties Keuzevak in Master of Artificial

Intelligence

DoelStudie van programmeertalen en tools in de context van AI

Voorkennis – Kennis van Prolog

((Studie van) Declaratieve Talen, PLPM)– Basisbegrippen zoals

constraint propagation

search

condition-action rules

2APLAI 1112

Selectie 11-12Constraint (Logic) Programming

ECLiPSe (ILOG, OPL, Geocode)

Rol en nut van constraints bij het oplossen van constraint satisfaction problemen en ook optimalisatie problemen

Combinatie van constraint propagatie en zoekmethodes

3

APLAI 1112

Aandachtspunten Modelleren van de problemen: voorbeelden Verschillende soorten constraints:

Passieve en actieve Basis en globale Redundante

Ondersteuning voor zoekstrategieën Interactie met optimalisatie

Laden van containerschepen in Hongkong …

4APLAI 1112

Selectie 11-12: Rule Based SystemsConstraint Handling Rules (CHR)

Regelgebaseerd systeem

Ingebed in een gast-taal (Prolog, Java, …)

Maak je eigen constraint solver!!!

(ook als programmeertaal)

5

APLAI 1112

Selectie 11-12

Jess

Klassiek regelgebaseerd systeem

Ingebed in Java

Kern van “Business rules”

6APLAI 1112

7APLAI 1112

Formaat 10 lessen (2 studiepunten)

Relevante begrippen en representatieve programma’s Opdracht als examen (2 studiepunten)

Opgave in begin van semester, in groepjes van 2, Indienen voor de examenperiode en mondelinge bespreking tijdens de examenperiode.

De verschillende talen en aanpakken met elkaar vergelijken.

Oplossen van concrete problemen.