Een Theoretische en Empirische Analyse van Benaderingen in Symbolische Probleem Oplosmethoden
Ongeveer de juiste waarde bepalen Ongeveer de juiste waarde bepalen Benaderingen Waarom? Waarom? Complexiteit Kwaliteit Complexiteit Kwaliteit Benaderingen vaak al aanwezig Benaderingen vaak al aanwezig
Theorieen Beschrijvend. Stellingen, Symbolen Theoretisch en Empirisch TheoriePraktijk Afstand Experimenten TheoriePraktijk
Symbolische representatie (Logica) Symbolische representatie (Logica) Symbolische Probleem Oplosmethoden Tweety is een vogel Vogels vliegen => Tweety vliegt
Symbolische representatie (Logica) Symbolische representatie (Logica) Gebruik data & kennis Gebruik data & kennis Symbolische Probleem Oplosmethoden Kennisbank Programma Invoer Uitvoer Onderliggend model: Onderliggend model:
Deel I - Analyse Robuustheid Kennisbank Programma Invoer Uitvoer ClassificatieRoos
Kennisbank Programma Invoer Uitvoer ClassificatieRoos ?
Kennisbank Programma Invoer Uitvoer Classificatie
Deel II - Kenniscompilatie Kennisbank Programma Invoer Uitvoer VertaaldeKennisbank
Programma Invoer Uitvoer VertaaldeKennisbank
Deel III - Benaderend Afleiden Kennisbank Programma Invoer Uitvoer Afleiding in Logica Parameter Theoretische analyse