CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ......
Transcript of CS 4700: Foundations of Artificial IntelligenceArtificial Intelligence CS 4701: Practicum in ......
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, [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
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)