1 APLAI 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
Doel Studie 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 2 APLAI 1112
Selectie Constraint (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 … 4 APLAI 1112
Selectie 11-12: Rule Based Systems Constraint Handling Rules (CHR) Regelgebaseerd systeem Ingebed in een gast-taal (Prolog, Java, …) Maak je eigen constraint solver!!! (ook als programmeertaal) 5 APLAI 1112
Selectie Jess Klassiek regelgebaseerd systeem Ingebed in Java Kern van “Business rules” 6 APLAI 1112
7 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.