Een Theoretische en Empirische Analyse van Benaderingen in Symbolische Probleem Oplosmethoden.

Presentatie over: "Een Theoretische en Empirische Analyse van Benaderingen in Symbolische Probleem Oplosmethoden."— Transcript van de presentatie:

1

2 Een Theoretische en Empirische Analyse van Benaderingen in Symbolische Probleem Oplosmethoden

3

4

5

6 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

7 Theorieen  Beschrijvend. Stellingen, Symbolen Theoretisch en Empirisch TheoriePraktijk Afstand Experimenten TheoriePraktijk

8 Symbolische representatie (Logica) Symbolische representatie (Logica) Symbolische Probleem Oplosmethoden Tweety is een vogel Vogels vliegen => Tweety vliegt

9 Symbolische representatie (Logica) Symbolische representatie (Logica) Gebruik data & kennis Gebruik data & kennis Symbolische Probleem Oplosmethoden Kennisbank Programma Invoer Uitvoer Onderliggend model: Onderliggend model:

10 Deel I - Analyse Robuustheid Kennisbank Programma Invoer Uitvoer ClassificatieRoos

11 Kennisbank Programma Invoer Uitvoer ClassificatieRoos ?

12 Kennisbank Programma Invoer Uitvoer Classificatie

13 Deel II - Kenniscompilatie Kennisbank Programma Invoer Uitvoer VertaaldeKennisbank

14 Programma Invoer Uitvoer VertaaldeKennisbank

15 Deel III - Benaderend Afleiden Kennisbank Programma Invoer Uitvoer Afleiding in Logica Parameter Theoretische analyse

16