zoeken, kennisrepresentatie, regelgebaseerde systemen, restrictiegebaseerd programmeren, machinaal leren

Inzicht laten verwerven in declaratieve oplossingsmethoden voor kennisintensieve problemen. De nadruk ligt vooral op regelgebaseerd programmeren en de toepassing in o.a. expertsystemen

• Zoeken: Inleiding: zoeken en kennisrepresentatie, Graafgebaseerd zoeken, Restrictiegebaseerd programmeren
• Kennisrepresentatie en inferentie: Eerste orde logica, Semantische netwerken, Regelgebaseerde systemen, Planning
• Onzekerheid: Bayesiaanse netwerken, Vage logica, Onderhoud van waarheid
• Machinaal leren: Beslissingsbomen, Inductieve inferentie, Artificiële neurale netwerken

Principes van predikaatlogica en probabiliteitstheorie

BEGRIPPEN: kennisrepresentatie; blind en heuristisch zoeken; controlestrategieën; restrictie-propagatie; deductie; monotone en niet-monotone logica; semantische netwerken; regelgebaseerde inferentie; bayesiaanse netwerken; vage logica; assumpties en justificaties; inductie en machinaal leren; planning van acties

INZICHTEN: declaratieve modellering; kernmerken van representatieformalismen; relatie tussen kennsirepresentatie en zoeken; beperkingen van zoektechnieken; het benutten van probleemkennis in zoekstrategieën; controleprincipes toegepast in probleemoplossers; complexiteit van deductief redeneren; efficiënte organisatie van kennis; representaties en bijhorende inferentievorm; redeneren met onzekere informatie en evidentie-propagatie; redeneren met vage informatie; redeneren met ontbrekende informatie, assumpties en justificaties; modelleren van causale verbanden en onafhankelijkheid; complexiteit van inductief redeneren

VAARDIGHEDEN: het kunnen analyseren van de prestatie van zoekstrategieën; het kunnen structureren en representeren van kennis met een geschikt formalisme; het leren werken met een regelgebaseerde programmeeromgeving; het leren toepassen van inductie-algoritmen voor het verwerven van kennis uit data (data mining)

Prijs: 10.0 EUR Nederlandstalige syllabus (en oefeningen); CLIPS ("the C language integrated production system")

• S. Russel, P. Norvig, Artificial Intelligence, A Modern Approach, Second Edition, Prentice Hall (2003)
• M. Ginsberg, Essentials of Artificial Intelligence, Morgan Kaufmann (1993)
• G.F. Luger, W.A. Stubblefield, Artificial Intelligence, Structures and Strategies for Complex Problem Solving, Addison-Wesley (1998)

Hoorcolleges; Werkcolleges; Oefeningen met de computer

Periodegebonden evaluatie

Periodegebonden evaluatie: schriftelijk examen met gesloten boek; beoordeling van projectverslagen