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
Cursusdoel
Dit is een cursus in "logische geletterdheid" voor KI-studenten. Jij zult:
- 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
Deze cursus overlapt met FI1V19005 – Logica voor Filosofen/FI1V23005 – Logica en Taal. Studeer je KI, dan moet je verplicht KI1V13001 Inleiding logica/ KI1V24001 Logische methoden voor KI I volgen en mag je FI1V19005/FI1V23005 niet laten meetellen in je programma.
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
schriftelijk
Verplicht | Weging 50% | ECTS 3,75
schriftelijk
Verplicht | Weging 50% | ECTS 3,75
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
Tentamens
Type | Datum | Tijd | Locatie |
---|---|---|---|
schriftelijk | donderdag 3 oktober 2024 | 13:30 - 16:30 | |
schriftelijk | donderdag 31 oktober 2024 | 13:30 - 16:30 | |
schriftelijk (hertoets) | donderdag 7 november 2024 | 17:00 - 20:00 |
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 3 juni 2024 tot en met vrijdag 21 juni 2024
Na-inschrijving
Van maandag 19 augustus 2024 tot en met dinsdag 20 augustus 2024
Inschrijving niet geopend
Permanente link naar de cursuspagina
Laat in de Cursus-Catalogus zien