Could an AI Ever Be the World s Best Crossword Puzzle Solver?

Transcription

1 Could an AI Ever Be the World s Best Crossword Puzzle Solver? Selmer Bringsjord with help from Dr Atriya Sen Rensselaer AI & Reasoning (RAIR) Lab Department of Cognitive Science Department of Computer Science Lally School of Management Rensselaer Polytechnic Institute (RPI) Troy NY USA Hearst Media Center Sept

2 Warning: Don t trust me. I m logoslexic.

3 Wed Sep 19 NYT After, Alas, an Hour This Wed:

4 After, Alas, an Hour This Wed: Wed Sep 19 NYT

5 After, Alas, an Hour This Wed

6 After Another Hour This Wed:

7 After Another Hour This Wed:

8 logoslexia

9 logoslexia A type of aphasia in which the victim is unable to understand words qua words (or words unto themselves ), but instead involuntarily parses words (and phrases, sentences, etc. assembled from words) into content expressed as formulas in logic.

10 logoslexia A type of aphasia in which the victim is unable to understand words qua words (or words unto themselves ), but instead involuntarily parses words (and phrases, sentences, etc. assembled from words) into content expressed as formulas in logic. (Alas, these formulas is pretty much worthless in life s endeavors save for: teaching logic, and using logic to do technical things, like building AIs that themselves use logic, or finding out how difficult games and puzzles are for AIs.)

11 logoslexia

12 logoslexia

13 logoslexia Dad? Tonight?

14 Zeitgeist re. humans vs. machines at play

15 Zeitgeist re. humans vs. machines at play Machines can be better than humans at any game!

16

17

18

19 Praiseworthy AI, I suppose.

20 Praiseworthy AI, I suppose. But certainly not human-level smart.

21 Praiseworthy AI, I suppose. But certainly not human-level smart. AlphaGo, from the perspective of South, how many majuscule Roman letters are in black?

22 Yet, AlphaGo follows the well-worn script:

23 Yet, AlphaGo follows the well-worn script: 1994

24 Yet, AlphaGo follows the well-worn script:

25 Yet, AlphaGo follows the well-worn script:

26 Yet, AlphaGo follows the well-worn script:

27 Yet, AlphaGo follows the well-worn script: But it depends on the game!

28 Cracker of Enigma, inventor of eponymous computing machines

29 Cracker of Enigma, inventor of eponymous computing machines

30 Cracker of Enigma, inventor of eponymous computing machines Turing (Turing machines)

31 Cracker of Enigma, inventor of eponymous computing machines Turing (Turing machines) Proved the entscheidungsproblem to be unsolvable, eponymous place religiously visited

32 Cracker of Enigma, inventor of eponymous computing machines Turing (Turing machines) Proved the entscheidungsproblem to be unsolvable, eponymous place religiously visited

33 Cracker of Enigma, inventor of eponymous computing machines Turing (Turing machines) Proved the entscheidungsproblem to be unsolvable, eponymous place religiously visited Church (church)

34 Cracker of Enigma, inventor of eponymous computing machines Turing (Turing machines) Proved the entscheidungsproblem to be unsolvable, eponymous place religiously visited Church (church)

35 Cracker of Enigma, inventor of eponymous computing machines Turing (Turing machines) Proved the entscheidungsproblem to be unsolvable, eponymous place religiously visited Church (church)

36 We need to get to work!

37

38 How hard are the games in question?

39 How hard are the games in question? Polynomial Hierarchy

40 How hard are the games in question? Polynomial Hierarchy

41 How hard are the games in question? Checkers:Chinook Polynomial Hierarchy

42 How hard are the games in question? Polynomial Hierarchy Checkers:Chinook

43 How hard are the games in question? Chess: Deep Blue Polynomial Hierarchy Checkers:Chinook

44 How hard are the games in question? Polynomial Hierarchy Chess: Deep Blue Checkers:Chinook

45 How hard are the games in question? Jeopardy! - Polynomial Hierarchy Chess: Deep Blue Checkers:Chinook

46 How hard are the games in question? Polynomial Hierarchy Jeopardy! - Chess: Deep Blue Checkers:Chinook

47 How hard are the games in question? Go:AlphaGo Polynomial Hierarchy Jeopardy! - Chess: Deep Blue Checkers:Chinook

48 How hard are the games in question? Polynomial Hierarchy Jeopardy! - Go:AlphaGo Chess: Deep Blue Checkers:Chinook

49 How hard are the games in question? Polynomial Hierarchy Jeopardy! - Go:AlphaGo Entscheidungsproblem Chess: Deep Blue Checkers:Chinook

50 How hard are the games in question? Polynomial Hierarchy Jeopardy! - Go:AlphaGo Entscheidungsproblem Chess: Deep Blue Checkers:Chinook

51 How hard are the games in question? Arithmetical Hierarchy Polynomial Hierarchy Jeopardy! - Go:AlphaGo Entscheidungsproblem Chess: Deep Blue Checkers:Chinook

52 How hard are the games in question? Arithmetical Hierarchy Polynomial Hierarchy Jeopardy! - Go:AlphaGo Entscheidungsproblem Chess: Deep Blue Checkers:Chinook

53 How hard are the games in question? Arithmetical Hierarchy How hard? Polynomial Hierarchy Jeopardy! - Go:AlphaGo Entscheidungsproblem Chess: Deep Blue Checkers:Chinook

54 Proof (to answer the question):

55 Proof (to answer the question): Given

56 Proof (to answer the question): Given

57 Proof (to answer the question): Given +

58 Proof (to answer the question): Given +

59 Proof (to answer the question): Given + +

60 Proof (to answer the question): Given + + Reference material &/or background knowledge (which is required by the NYT).

61 Proof (to answer the question): Given + + Reference material &/or background knowledge (which is required by the NYT). an (easily engineered) AI can certify that the answers are correct.

62 Proof (to answer the question): Given + + Reference material &/or background knowledge (which is required by the NYT). an (easily engineered) AI can certify that the answers are correct. Ergo, quod erat demonstrandum:

63 Proof (to answer the question): Given + + Reference material &/or background knowledge (which is required by the NYT). an (easily engineered) AI can certify that the answers are correct. Ergo, quod erat demonstrandum: Answer: Same Difficulty as Jeopardy!

64 Proof (to answer the question): Given + + Reference material &/or background knowledge (which is required by the NYT). an (easily engineered) AI can certify that the answers are correct. Ergo, quod erat demonstrandum:

65 Proof (to answer the question): Given + + Reference material &/or background knowledge (which is required by the NYT). an (easily engineered) AI can certify that the answers are correct. Ergo, quod erat demonstrandum: Answer: Same Difficulty as Jeopardy!

66 AI Certifying Existing Proof of Anwer POE

67 AI Certifying Existing Proof of Anwer POE

68 AI Certifying Existing Proof of Anwer POE Certified Correct in 10 Milliseconds

69 How hard are the games in question? Arithmetical Hierarchy Polynomial Hierarchy Jeopardy! - Chess: Deep Blue Go:AlphaGo Checkers:Chinook Entscheidungsproblem

70 CP How hard are the games in question? Arithmetical Hierarchy Polynomial Hierarchy Jeopardy! - Chess: Deep Blue Go:AlphaGo Checkers:Chinook Entscheidungsproblem

71 How hard are the games in question? Arithmetical Hierarchy Polynomial Hierarchy CP Jeopardy! - Chess: Deep Blue Go:AlphaGo Checkers:Chinook Entscheidungsproblem

72 Could an AI Ever Be the World s Best Crossword Puzzle Solver?

73 Could an AI Ever Be the World s Best Crossword Puzzle Solver? Yup.

74 Yup.

75

76 Could an AI Ever Be the World s Best Crossword Puzzle!! Solver?

77 Could an AI Ever Be the World s Best Crossword Puzzle!! Solver?

78 Could an AI Ever Be the World s Best Crossword Puzzle!! Solver?

79 Could an AI Ever Be the World s Best Crossword Puzzle!! Solver?

80 Could an AI Ever Be the World s Best Crossword Puzzle!! Solver?

81 Could an AI Ever Be the World s Best Crossword Puzzle!! Solver?

82

83 Theme: Dominance in Play

84 Theme: Dominance in Play What is three times the major difference separating Ursus Au from the greatest game of all's member of Panthera tigris?

85 Theme: Dominance in Play What is three times the major difference separating Ursus Au from the greatest game of all's member of Panthera tigris? TWELVE

86

87 Theme: Painters in Prose

88 Theme: Painters in Prose When I finished reading his interminable remembrance and I confess immediately that in this, my first round, I was simply too young (at least intellectually), and that therefore the vast majority of my reaction was, alas, nothing short of juvenile, my first thought was austere, simple, concrete, specific: that what I had seen in the MMM of Paris was in reality the work of none other than the narrative s.

89 Theme: Painters in Prose When I finished reading his interminable remembrance and I confess immediately that in this, my first round, I was simply too young (at least intellectually), and that therefore the vast majority of my reaction was, alas, nothing short of juvenile, my first thought was austere, simple, concrete, specific: that what I had seen in the MMM of Paris was in reality the work of none other than the narrative s. ELSTIR

90 AI Discovering Proof of TWELVE

91 AI Discovering Proof of TWELVE

92 AI Discovering Proof of TWELVE Proof of Answer Discovered in 1 second

93 No Reference for This!

94 No Reference for This!

95 How hard are the games in question? Arithmetical Hierarchy Polynomial Hierarchy Jeopardy! - CP Chess: Deep Blue Go:AlphaGo Checkers:Chinook Entscheidungsproblem

96 CP!! How hard are the games in question? Arithmetical Hierarchy Polynomial Hierarchy Jeopardy! - CP Chess: Deep Blue Go:AlphaGo Checkers:Chinook Entscheidungsproblem

97 How hard are the games in question? Arithmetical Hierarchy CP!! 1 0 Polynomial Hierarchy Jeopardy! - CP Chess: Deep Blue Go:AlphaGo Checkers:Chinook Entscheidungsproblem

98 How hard are the games in question? Arithmetical Hierarchy CP!! Polynomial Hierarchy Jeopardy! - CP Chess: Deep Blue Go:AlphaGo Checkers:Chinook Entscheidungsproblem

99 How hard are the games in question? Arithmetical Hierarchy CP!! Polynomial Hierarchy Jeopardy! - CP Chess: Deep Blue Go:AlphaGo Checkers:Chinook Entscheidungsproblem

100 Could an AI Ever Be the World s Best Crossword Puzzle!! Solver?

101 Could an AI Ever Be the World s Best Crossword Puzzle!! Solver? No.

102 I m honored to be in the presence of minds that can solve Crossword Puzzles, and? Crossword Puzzles!!. Maybe one day I will solve one of either.