Logische methoden voor KI I (2026/2027: Periode 1)

Bekijk rooster Print deze pagina

Cursusdoel

Inhoudelijke leerdoelen

Aan het einde van de cursus kun je:

  • de toepassingsgebieden van logica binnen KI benoemen,
  • uitleggen wat de sterktes en zwaktes zijn van logica binnen KI,
  • kennis representeren met behulp van logische formules,
  • algoritmes voor geautomatiseerd redeneren toepassen, en
  • inferenties in KI-contexten evalueren op geldigheid.

Academische leerdoelen

Tijdens de cursus leer je:

  • wetenschappelijk te redeneren en argumenteren,
  • de resultaten van je werk helder te presenteren, en
  • effectief samen te werken in een academische context.

Vakinhoudelijk

N.B.: De cursus is UITSLUITEND toegankelijk voor studenten van de opleiding KI, LAS-ers, TCS-ers, minorstudenten KI en premaster-AI studenten.

Kunstmatige intelligentie (KI) streeft naar het begrijpen, kunstmatig repliceren en mogelijk verbeteren van intelligent gedrag. In deze cursus leer je welke rol logica in dit streven speelt. Logica is de studie van correct redeneren: van wat goede en slechte inferenties zijn. Omdat redeneren een fundamenteel aspect is van intelligent gedrag, vormt logica een kernvak binnen het KI-onderzoek. Je leert hoe de methoden van de moderne logica de ontwikkeling van KI als discipline hebben beïnvloed en welke rol ze spelen in actueel en vooruitstrevend KI-onderzoek, bijvoorbeeld in de context van de recente ontwikkelingen rondom GenAI. Deze cursus maakt deel uit van het eerste basispakket van de bacheloropleiding KI. Het leert je de logische grondslagen van AI-onderzoek en sluit aan bij een breed scala aan cursussen in het programma, zoals Formele en natuurlijke talen (KI2V24001), Intelligente systemen (INFOB3IS), en het verdiepingspakket Reasoning and Computation.

De voertaal van de cursus is Nederlands, maar het lees- en oefenmateriaal is in het Engels.

Het cursusmateriaal is digitaal beschikbaar onder https://logicalmethods.ai

Met vragen over de cursus kom je het beste terecht onder: logische.methoden@uu.nl

Werkvormen

Hoorcollege
Toelichting

In de hoorcolleges leiden we je door de stof van het verplichte leesmateriaal. We bespreken illustratieve voorbeelden, toetsen ons begrip met snelle quizzen, en je krijgt de kans om vragen te stellen.

Bijdrage

Actief luisteren (quizzen), vragen.

Voorbereiding

Elk hoorcollege heeft een verplichte leesopdracht, die we van je verwachten vóór het hoorcollege te voltooien.

Werkcollege
Toelichting

In de werkgroepen werk je aan praktische oefeningen onder begeleiding van een student-assistent of docent. Je zult ook doorgaans het materiaal van de vorige les doornemen en feedback ontvangen op je werk.

Bijdrage

Actieve deelname, het maken van oefeningen, het stellen van vragen, het presenteren van werk.

Voorbereiding

Bekijk het materiaal, bereid de oefeningen voor, lever huiswerk in.

Toetsing

Deeltoets

Verplicht

Eindtoets

Verplicht | Weging 100% | Minimum cijfer 6,0 | ECTS 7,5

Opdracht(en)

Verplicht

Ingangseisen en voorkennis

Ingangseisen

Er is geen informatie over verplichte ingangseisen bekend.

Voorkennis

Er is geen informatie over benodigde voorkennis bekend.

Voertalen

  • Nederlands

Cursusmomenten

Gerelateerde studies

Tentamens

Er is geen tentamenrooster beschikbaar voor deze cursus

Verplicht materiaal

Er is geen informatie over de verplichte literatuur bekend


Aanbevolen materiaal

Er is geen informatie over de aanbevolen literatuur bekend

Opmerkingen

Cursus is uitsluitend voor KI-ers, LAS-ers, TCS-ers, minorstudenten en premaster-AI studenten.

Coördinator

dr. J. Korbmacher j.korbmacher@uu.nl

Docenten

W. Kroon w.kroon@uu.nl
prof. dr. R. Iemhoff r.iemhoff@uu.nl
dr. J. Korbmacher j.korbmacher@uu.nl

Inschrijving

Deze cursus is open voor bijvakkers. Controleer wel of er aanvullende ingangseisen gelden.

Inschrijving
Van maandag 8 juni 2026 tot en met vrijdag 26 juni 2026

Naar OSIRIS-inschrijvingen
Permanente link naar de cursuspagina
Laat in de Cursus-Catalogus zien
Laat in MyTimetable zien