Uw huidige browser heeft updates nodig. Zolang u niet update zullen bepaalde functionaliteiten op de website niet beschikbaar zijn.
Let op: het geselecteerde rooster heeft overlappende bijeenkomsten.
Volgens onze gegevens heb je nog geen vakken behaald.
Je planning is nog niet opgeslagen
Let op! Uw planning heeft vakken in dezelfde periode met overlappend timeslot
Logische methoden voor KI I (2025/2026: Periode 1)
Cursusdoel
- een breed overzicht krijgen van de logische methoden die worden gebruikt in AI-onderzoek;
- begrijpen hoe en waarom deze methoden werken en wat hun beperkingen zijn;
- leren hoe je deze methoden kunt toepassen in specifieke probleemgebieden binnen AI;
- algemene logische vaardigheden verwerven om inferenties te evalueren.
Vakinhoudelijk
Logica is de studie van correct redeneren, van wat goede en slechte inferenties zijn. In een standaard inleiding logica leer je de basisdefinities en resultaten van moderne logische theorie. Maar deze cursus is geen standaard introductie tot logica.
Human-centered Artificial Intelligence, UU-style, streeft naar het begrip, de kunstmatige replicatie en mogelijke verbetering van menselijke intelligentie. Aangezien redeneren een kenmerk is van menselijke intelligentie, maakt dit logica tot een kernvak van KI-onderzoek. Tegelijkertijd hebben logici een reeks geavanceerde tools voor het modelleren en analyseren van redeneringen ontwikkeld, variërend van technieken voor natuurlijke taalverwerking tot kennisbanken en algoritmen voor geautomatiseerd redeneren. Vanuit dit perspectief is logica een belangrijke hulpdiscipline voor KI.
In deze cursus leer je over logische theorie door de toepassingen ervan in AI-onderzoek te bestuderen. Dus je leert zowel de wiskundige definitie van logisch gevolg in formele talen als je gaat je "handen vuil maken" door tools uit te proberen, zoals de bewijsassistent LEAN.
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
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.
WerkcollegeToelichting
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
Opdracht(en)
Verplicht
schriftelijk
Verplicht | Weging 100% | ECTS 7,5
Ingangseisen en voorkennis
Ingangseisen
Er is geen informatie over verplichte ingangseisen bekend.
Voorkennis
Er is geen informatie over benodigde voorkennis bekend.
Voertalen
- Nederlands
Cursusmomenten
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
C.R. Caret | c.r.caret@uu.nl |
dr. J. Korbmacher | J.Korbmacher@uu.nl |
F. Yang | f.yang@uu.nl |
Inschrijving
Inschrijving
Van maandag 2 juni 2025 tot en met vrijdag 20 juni 2025
Naar OSIRIS-inschrijvingen
Permanente link naar de cursuspagina
Laat in de Cursus-Catalogus zien