CS 4700:Foundations of

Artificial Intelligence

CS 4701:Practicum in

Artificial Intelligence

Fall 2017Instructor: Prof. Haym Hirsh

Lecture 1

Irving Ives, 1896-1962

CS 4700:Foundations of

Artificial Intelligence

CS 4701:Practicum in

Artificial Intelligence

Fall 2017Instructor: Prof. Haym Hirsh

Doubled in 4 years

?

New CS Professors and Lecturers Hired in the Last 3 Years

Class is Full

All 287 seats are taken

Class is Full

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

Today

• Overview of AI

• Overview of 4700

Next Time

• Introduction

• Last 15 minutes: 4701

What isArtificial

Intelligence?

What is

Intelligence?

Intelligence

Intelligence

Use Language SeeManipulateand Move

LearnPlay

GamesPlan and Reason

ArtificialIntelligence

Use Language SeeManipulateand Move

LearnPlay

GamesPlan and Reason

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

(1950s)

John McCarthy (1927-2011)

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.

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

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

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

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

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

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

Hard to predict how long to achieve a goal

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

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

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

- Moore’s Law- Machine learning/data

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

ArtificialIntelligence

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

ArtificialIntelligence

SocialIntelligence?

ArtificialIntelligence

NaturalLanguage

Understanding

ComputerVision

RoboticsMachineLearning

GamesPlanning/

AutomatedReasoning

This course

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

Human-like “Smart” (“Rational”)

How

Thinks like people Thinks “rationally”

WhatActs like people Acts “rationally”

Human-like “Smart” (“Rational”)

How

Thinks like people

~ Cognitive Science,Cognitive Neuroscience

Thinks “rationally”

WhatActs like people Acts “rationally”

Human-like “Smart” (“Rational”)

How

Thinks like people

~ Cognitive Science,Cognitive Neuroscience

Thinks “rationally”

WhatActs like people

“Turing Test”

Acts “rationally”

Alan Turing (1912-1954)

Course Details

• Instructor: Prof. Haym Hirsh, haym.hirsh@cornell.edu, 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

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)