CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ......

55
CS 4700: Foundations of Artificial Intelligence CS 4701: Practicum in Artificial Intelligence Fall 2017 Instructor: Prof. Haym Hirsh Lecture 1

Transcript of CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ......

Page 1: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

CS 4700:Foundations of

Artificial Intelligence

CS 4701:Practicum in

Artificial Intelligence

Fall 2017Instructor: Prof. Haym Hirsh

Lecture 1

Page 2: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

Irving Ives, 1896-1962

Page 3: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

CS 4700:Foundations of

Artificial Intelligence

CS 4701:Practicum in

Artificial Intelligence

Fall 2017Instructor: Prof. Haym Hirsh

Page 4: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations
Page 5: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations
Page 6: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

Doubled in 4 years

Page 7: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

?

Page 8: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

New CS Professors and Lecturers Hired in the Last 3 Years

Page 9: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

Class is Full

All 287 seats are taken

Page 10: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

Class is Full

Please drop as soon as you know you’re not taking the class

Page 11: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

Today

• Overview of AI

• Overview of 4700

Next Time

• Introduction

• Last 15 minutes: 4701

Page 12: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

What isArtificial

Intelligence?

Page 13: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

What is

Intelligence?

Page 14: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

Intelligence

Page 15: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

Intelligence

Use Language SeeManipulateand Move

LearnPlay

GamesPlan and Reason

Page 16: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

ArtificialIntelligence

Use Language SeeManipulateand Move

LearnPlay

GamesPlan and Reason

Page 17: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

Page 18: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

(1950s)

Page 19: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

John McCarthy (1927-2011)

Page 20: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations
Page 21: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations
Page 22: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

The study is to proceed on the basis of the conjecture that every aspect of learning or any other feature of intelligence can in principle be so precisely described that a machine can be made to simulate it.

Page 23: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

1. Ray Solomonoff

2. Marvin Minsky

3. John McCarthy

4. Claude Shannon

5. Trenchard More

6. Nathaniel Rochester

7. Oliver Selfridge

8. Julian Bigelow

9. W. Ross Ashby

10. W.S. McCulloch

11. Abraham Robinson

12. Tom Etter

13. John Nash

14. David Sayre

15. Arthur Samuel

16. Shoulders

17. Shoulder's friend

18. Alex Bernstein

19. Herbert Simon

20. Allen Newell

Page 24: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations
Page 25: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations
Page 26: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations
Page 27: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations
Page 28: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

1. Ray Solomonoff

2. Marvin Minsky

3. John McCarthy

4. Claude Shannon

5. Trenchard More

6. Nathaniel Rochester

7. Oliver Selfridge

8. Julian Bigelow

9. W. Ross Ashby

10. W.S. McCulloch

11. Abraham Robinson

12. Tom Etter

13. John Nash

14. David Sayre

15. Arthur Samuel

16. Shoulders

17. Shoulder's friend

18. Alex Bernstein

19. Herbert Simon

20. Allen Newell

Page 29: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

1. Ray Solomonoff

2. Marvin Minsky

3. John McCarthy

4. Claude Shannon

5. Trenchard More

6. Nathaniel Rochester

7. Oliver Selfridge

8. Julian Bigelow

9. W. Ross Ashby

10. W.S. McCulloch

11. Abraham Robinson

12. Tom Etter

13. John Nash

14. David Sayre

15. Arthur Samuel

16. Shoulders

17. Shoulder's friend

18. Alex Bernstein

19. Herbert Simon

20. Allen Newell

Page 30: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

Page 31: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

Hard to tell what would be easy and what would be hard

Page 32: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

Hard to predict how long to achieve a goal

Page 33: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

1990s: Common ideas arising in separate areas:Probabilistic modeling

Machine learning, mathematical optimization of error on training data

Page 34: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

2000-present: Successes based on- “Standing on the shoulders of giants”

- Moore’s Law- Machine learning/data

Page 35: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

Page 36: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

ArtificialIntelligence

Page 37: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

ArtificialIntelligence

SocialIntelligence?

Page 38: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

This course

Page 39: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

1. Ray Solomonoff

2. Marvin Minsky

3. John McCarthy

4. Claude Shannon

5. Trenchard More

6. Nathaniel Rochester

7. Oliver Selfridge

8. Julian Bigelow

9. W. Ross Ashby

10. W.S. McCulloch

11. Abraham Robinson

12. Tom Etter

13. John Nash

14. David Sayre

15. Arthur Samuel

16. Shoulders

17. Shoulder's friend

18. Alex Bernstein

19. Herbert Simon

20. Allen Newell

Page 40: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

Human-like “Smart” (“Rational”)

How

Thinks like people Thinks “rationally”

WhatActs like people Acts “rationally”

Page 41: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

Human-like “Smart” (“Rational”)

How

Thinks like people

~ Cognitive Science,Cognitive Neuroscience

Thinks “rationally”

WhatActs like people Acts “rationally”

Page 42: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations
Page 43: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations
Page 44: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations
Page 45: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations
Page 46: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations
Page 47: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

Human-like “Smart” (“Rational”)

How

Thinks like people

~ Cognitive Science,Cognitive Neuroscience

Thinks “rationally”

WhatActs like people

“Turing Test”

Acts “rationally”

Page 48: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

Alan Turing (1912-1954)

Page 49: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations
Page 50: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations
Page 51: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations
Page 52: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations
Page 53: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations
Page 54: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

Course Details

• Instructor: Prof. Haym Hirsh, [email protected], Gates 352

• TAs: TBA

• Course website: http://www.cs.cornell.edu/courses/cs4700/

• Textbook: Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig, 3rd Edition• Editions: 1995, 2003, 2010

Page 55: CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ... Instructor: Prof. Haym Hirsh Lecture 1. Irving Ives, 1896-1962. CS 4700: Foundations

Course Details

• Prerequisites:• CS 2110/ENGRD 2110

• CS 2800 - especially probability, first-order logic

• Grade:• 14%: Homeworks

• 35%: Prelim (tentatively March 21)

• 50%: Final

• 1%: Course evaluation

• Class participation: Extra credit (used if you are borderline between two grades)