Matematikken i kunstig intelligens: Socialt intelligente robotter Thomas Bolander, DTU Compute, Danmarks Tekniske Universitet 2. juni 2018 Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 1/12
To hovedparadigmer i kunstig intelligens Det symbolske paradigme (1950 ): Simulerer menneskelig symbolsk, sproglig, bevidst ræsonnering. Søgning, planlægning, logisk ræsonnering. Eks: skakcomputer. robust, forudsigelig, forklarlig nøje afgrænsede evner symbolsk fleksibel, læring aldrig 100% forudsigelig/fejlfri Det subsymbolske paradigme (1980 ): Simulerer de fundamentale fysiske processer i den menneskelige hjerne. Neurale netværk. Eks: billedgenkendelse. subsymbolsk Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 2/12
Hvordan undgår vi at fremtidens robotter og computere bliver sociale analfabeter Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 3/12
Asociale hospitalsrobotter Frustrerede brugere af hospitalsrobotter i USA: (Colin Barras, New Scientist, vol. 2738, 2009) TUG hospitalsrobot Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 4/12
Asociale hospitalsrobotter Frustrerede brugere af hospitalsrobotter i USA: I m on the phone! If you say TUG has arrived one more time I m going to kick you in your camera. (Colin Barras, New Scientist, vol. 2738, 2009) TUG hospitalsrobot Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 4/12
Asociale hospitalsrobotter Frustrerede brugere af hospitalsrobotter i USA: I m on the phone! If you say TUG has arrived one more time I m going to kick you in your camera. It doesn t have the manners we teach our children. I find it insulting that I stand out of the way for patients... but it just barrels right on. (Colin Barras, New Scientist, vol. 2738, 2009) TUG hospitalsrobot Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 4/12
Sociale børn Et kognitionspsykologisk eksperiment med en dreng på 18 måneder. Han har ikke fået nogen instruktioner. (Warneken & Tomasello, 2006) http://www2.compute.dtu.dk/~tobo/children_cabinet.mpg Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 5/12
Hvordan bliver robotterne socialt intelligente Vi inspireres af hvad vi ved om menneskers sociale intelligens. Centralt begreb: Theory of Mind (ToM): Evnen til at sætte sig i andres sted. Theory of Mind er essentiel for menneskers sociale intelligens (Baron-Cohen, 1997). Styrken af et barns Theory of Mind testes ofte med en false-belief task som f.eks. Sally-Anne testen. Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 6/12
A child takes the Sally-Anne test http://www2.compute.dtu.dk/~tobo/sally_anne_trimmed.mp4 Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 7/12
Matematiske modeller af Theory of Mind Bolander: Seeing is Believing Formalising False-Belief Tasks in Dynamic Epistemic Logic, in Outstanding Contributions to Logic, Springer, forthcoming 2018. Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 8/12
Robotnavigation: Én robot Løsning: Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 9/12
Robotnavigation: Én robot Løsning: 1. højre, Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 9/12
Robotnavigation: Én robot Løsning: 1. højre, 2. ned. Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 9/12
Robotnavigation: To robotter, simpel konflikt Løsning: Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 10/12
Robotnavigation: To robotter, simpel konflikt Løsning: 1. grøn: højre, Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 10/12
Robotnavigation: To robotter, simpel konflikt Løsning: 1. grøn: højre, 2. grøn: ned, Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 10/12
Robotnavigation: To robotter, simpel konflikt Løsning: 1. grøn: højre, 2. grøn: ned, 3. blå: venstre. Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 10/12
Robotnavigation: To robotter, ikke-triviel konflikt Løsning: Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 11/12
Robotnavigation: To robotter, ikke-triviel konflikt Løsning: 1. blå: venstre, Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 11/12
Robotnavigation: To robotter, ikke-triviel konflikt Løsning: 1. blå: venstre, 2. blå: ned, Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 11/12
Robotnavigation: To robotter, ikke-triviel konflikt Løsning: 1. blå: venstre, 2. blå: ned, 3. grøn: højre Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 11/12
Robotnavigation: To robotter, ikke-triviel konflikt Løsning: 1. blå: venstre, 2. blå: ned, 3. grøn: højre 4. grøn: højre, Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 11/12
Robotnavigation: To robotter, ikke-triviel konflikt Løsning: 1. blå: venstre, 2. blå: ned, 3. grøn: højre 4. grøn: højre, 5. blå: op. Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 11/12
To robotter: Blå er usikker på grøns mål Løsning: Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 12/12
To robotter: Blå er usikker på grøns mål Løsning: 1. grøn: højre, Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 12/12
To robotter: Blå er usikker på grøns mål Løsning: 1. grøn: højre, 2. grøn: ned, Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 12/12
To robotter: Blå er usikker på grøns mål Løsning: 1. grøn: højre, 2. grøn: ned, 3. blå: venstre Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 12/12
To robotter: Blå er usikker på grøns mål Løsning: 1. grøn: højre, 2. grøn: ned, 3. blå: venstre 4. blå: venstre, Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 12/12
To robotter: Blå er usikker på grøns mål Løsning: 1. grøn: højre, 2. grøn: ned, 3. blå: venstre 4. blå: venstre, 5. grøn: op, Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 12/12
To robotter: Blå er usikker på grøns mål Løsning: 1. grøn: højre, 2. grøn: ned, 3. blå: venstre 4. blå: venstre, 5. grøn: op, 6. grøn: højre, Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 12/12
To robotter: Blå er usikker på grøns mål Løsning: 1. grøn: højre, 2. grøn: ned, 3. blå: venstre 4. blå: venstre, 5. grøn: op, 6. grøn: højre, 7. blå: højre. Thomas Bolander, Matematikken i AI, DTU Compute, 26. april 2018 p. 12/12