De presentatie wordt gedownload. Even geduld aub

De presentatie wordt gedownload. Even geduld aub

Oriëntatie Kunstmatige Intelligentie Inleidend College Niels Taatgen.

Verwante presentaties


Presentatie over: "Oriëntatie Kunstmatige Intelligentie Inleidend College Niels Taatgen."— Transcript van de presentatie:

1 Oriëntatie Kunstmatige Intelligentie Inleidend College Niels Taatgen

2 Inhoud vandaag n Wat is kunstmatige intelligentie? n Vakgebieden die bijdragen aan de AI n Kunnen computers denken? n Hoe denken mensen (niet)?

3 Wat is Kunstmatige Intelligentie? n Begonnen in de jaren 50, vlak na de uitvinding van de computer n Kunnen computers denken? n Nu: –soms gezien als onderdeel van informatica –cognitiewetenschap

4 Hoe krijg je kunstmatige intelligentie?

5 1950 n De Britse wiskundige Alan Turing stelt dat het mogelijk is om computers te bouwen die net zo intelligent zijn als mensen

6 1956 n De psycholoog Miller laat zien dat mensen slechts 7 ongerelateerde dingen tegelijk kunnen onthouden (“the magical number seven”) 7

7 1956 n Newell & Simon bouwen de “Logic Theorist”, een programma dat zelfstandig logische stellingen kan bewijzen

8 1956 n De taalkundige Chomsky introduceert “Three models of language”, hetgeen een revolutie in de taalkunde ontketent.

9 Eind jaren vijftig n Hubel en Wiesel brengen in kaart hoe individuele hersencellen in het visuele systeem van een kat functioneren

10 Gemeenschappelijke component n Zoektocht naar een formele benadering van menselijke intelligentie n Een formele benadering maakt ook kunstmatige intelligentie mogelijk n Maar wat wordt er met formeel bedoeld?

11 Menselijk gedrag en menselijke intelligentie Menselijke hersenen (100 miljard hersencellen) Directe Verklaring Formeel Systeem

12 Voorbeelden van formele systemen n Grammatica van taal n Neuraal netwerk met gesimuleerde neuronen n Regelsysteem voor het oplossen van wiskundeproblemen n Verzameling differentaalvergelijkingen om armbewegingen te beschrijven

13 De disciplines van de Kunstmatige Intelligentie n Psychologie n Filosofie n Informatica n Taalkunde n Neurowetenschappen n (anthropologie, biologie, onderwijskunde,...)

14 Psychologie n Bijdrage: Bestudering van menselijke intelligentie vanuit menselijk gedrag n Methodologie: Experimenteel onderzoek, met name bij mensen (vroeger echter vooral dieren) n Voorbeeld: Simple reaction task vs. Choice reaction task

15 Filosofie n Bijdrage Logica Lichaam/brein/geest probleem Wetenschapsfilosofie n Methodologie o.a. Gedachtenexperimenten n Voorbeeld Dennett’s Brain in a Box

16 Informatica n Bijdrage Algoritmen Computer n Methode Simulatie/implementatie Formele Analyse n Voorbeelden Computerschaken

17 Taalkunde n Bijdrage Bestudering van kennis van taal en taalgebruik n Methodologie Analyse van gesproken en geschreven taal n Voorbeeld Garden Path Sentences The horse raced past the barn fell

18 Neurowetenschappen n Bijdrage Onderzoek naar hersenen en hersenprocessen n Methodologie Meten van hersenactiviteit, zowel globaal als individuele cellen n Voorbeeld fMRI

19 fMRI

20 Kunnen computers denken? n Beter: Is een denkende computer in principe mogelijk? n Turing heeft in de jaren vijftig een redenering opgebouwd waarom dit zo is n Twee stappen: de these van Turing en de test van Turing

21 De Test van Turing n Stel dat je wilt beslissen of een computer intelligent is of niet n Je kunt niet letten op uiterlijkheden n Je kunt geen IQ test afnemen n Volgens Turing moet je intelligentie testen met een vraaggesprek zonder beperkingen, behalve dat dit gesprek via een teletype moet plaatsvinden

22 De Test van Turing

23 Mogelijke vragen in de Turing Test V: Wil je voor mij een sonnet schrijven met als onderwerp de brug over de Maas in Rotterdam? A: Dat hoef je van mij niet te verwachten. Ik kan niet dichten. V: Tel en bij elkaar op. A: (Na ongeveer dertig seconden) V: Schaak je? A: Ja. V: Ik heb K op e1 en geen andere stukken. Jij hebt alleen K op c3 en T op h8. Jij bent aan zet. Wat is dan jouw zet? A: (Na vijftien seconden) Th1 mat.

24 Essentiële eigenschap Turing Test n Communicatie gaat via getypte tekst n Tekst kun je ook opvatten als een getal n Dus het voeren van een intelligente discussie kan opgevat worden als een wiskundige functie n Antwoord = f(vraag,vorige vragen en antwoorden) n Dus de zoektocht naar intelligentie is de zoektocht naar deze f

25 Kritiek op de Turing Test n Weizenbaum’s Eliza n Searle’s Chinese Kamer

26 The these van Turing n Begin 20e eeuw formuleerde de wiskundige David Hilbert 10 problemen n Een van deze problemen was het “Enscheidungsproblem”: Is er een methode om automatisch te bepalen of een wiskundige stelling bewijsbaar is of niet?

27 The these van Turing n Is er een methode om automatisch te bepalen of een wiskundige stelling bewijsbaar is of niet? n Om een antwoord te geven op deze vraag moest Turing greep krijgen op het begrip “automatisch te bepalen”

28 De “menselijke” computer

29 De Turing Machine

30 n Turing toonde aan dat zijn Machine alle z.g. Partieel Recursieve Functies kan uitrekenen n Stelling (onbewezen maar aannemelijk): Partieel Recursief = Beslisbaar n Vervolgens gebruikte Turing dit resultaat om te bewijzen dat het antwoord op het Enscheidungsproblem “nee” is.

31 De these van Turing n Intussen had Turing wel sterk aannemelijk gemaakt dat Elke berekenbare functie kan uitgerekend worden door een Turing Machine

32 Kunnen computers denken? n Turing Test: Menselijke intelligent gedrag kan worden uitgedrukt als een wiskundige functie n Turing These: Elke berekenbare functie kan worden uitgerekend door een Turing Machine n Aangezien mensen intelligent gedrag vertonen is dit een berekenbare functie n Conclusie: Turing Machines kunnen (in principe) intelligent gedrag vertonen dat niet te onderscheiden is van mensen.

33 Menselijk gedrag en menselijke intelligentie Menselijke hersenen (100 miljard hersencellen) Directe Verklaring Turing Machine ?????? ? Inspiratiebron?

34 Welk formeel systeem ligt ten grondslag aan menselijke intelligentie? n Logica? n Statistiek?

35 Logica Aristoteles’ Syllogismen Alle mensen zijn sterfelijk Socrates is een mens Socrates is sterfelijk Alle A zijn B C is een A C is een B

36 Moderne logica n Propositielogica (modus ponens) pHet regent p --> qAls het regent wordt het nat qHet is nat

37 Redeneren mensen logisch? AD47 Gegeven: we hebben kaarten met op de ene kant een letter en op de andere kant een cijfer Stelling: Als op de ene kant van de kaart een klinker staat, staat op de andere kant een even getal Vraag: Welke kaarten moet je omdraaien om te controleren of de stelling geldig is of niet

38 Redeneren mensen logisch? Bier Cola 2216 Gegeven: de kaarten stellen personen voor met op de ene kant een leeftijd en de andere een drank die deze persoon drinkt De wet: Als je alcohol drinkt, moet je ouder zijn dan achtien Vraag: Welke kaarten moet je omdraaien om te controleren of de bijbehorende persoon in overtreding is of niet

39 Conclusie n Voor de logica is er geen onderscheid tussen de voorafgaande problemen, maar voor mensen wel n Mensen redeneren niet alleen op grond van de vorm van de gegevens (de z.g. syntax), maar ook op grond van de inhoud (de z.g. semantiek)

40 Redeneren mensen met behulp van Statistische regels? Linda is 31 jaar oud, vrijgezel, openhartig en erg intelligent. Ze heeft filosofie gestudeerd. Tijdens haar studententijd besteedde ze veel van haar tijd aan de onderwerpen discriminatie en sociale rechtvaardigheid, en heeft ze deelgenomen aan demonstraties tegen kernwapens. Welke van de volgende uitspraken is op grond van deze informatie meer waarschijnlijk? (a) Linda is een bediende bij een bank (b) Linda is een bediende bij een bank, die actief is in de feministische beweging.

41 Samenvatting n Kunstmatige Intelligentie is een interdisciplinair vakgebied waarin verschillende vakgebieden elk hun eigen gereedschappen inbrengen n Voorop staat een formele benadering van intelligentie n Turing heeft in de jaren vijftig een niet onomstreden redenering bedacht waarom computers in principe in staat zouden moeten kunnen zijn om intelligent te zijn n Eenvoudige oplossingen voor het verklaren van menselijk redeneren als logica en statistiek gaan in eerste instantie niet op.


Download ppt "Oriëntatie Kunstmatige Intelligentie Inleidend College Niels Taatgen."

Verwante presentaties


Ads door Google