cs360: ai & roboticszeus.cs.pacificu.edu/shereen/oldcourses/cs360/lecture slides/lecture...

18
8/29/03 CS360 AI & Robotics 1 CS360: AI & Robotics TTh 9:25 am - 10:40 am Shereen Khoja [email protected]

Upload: others

Post on 31-Jul-2020

21 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: CS360: AI & Roboticszeus.cs.pacificu.edu/shereen/OldCourses/CS360/Lecture Slides/Lecture 1.pdf8/29/03 CS360 AI & Robotics 18 AI Programming Languages vLISP ÿfamous proposal for the

8/29/03 CS360 AI & Robotics 1

CS360: AI & Robotics

TTh 9:25 am - 10:40 am

Shereen Khoja

[email protected]

Page 2: CS360: AI & Roboticszeus.cs.pacificu.edu/shereen/OldCourses/CS360/Lecture Slides/Lecture 1.pdf8/29/03 CS360 AI & Robotics 18 AI Programming Languages vLISP ÿfamous proposal for the

8/29/03 CS360 AI & Robotics 2

Artificial Intelligence

vWe call ourselves

vWhat does this mean?

Homo sapiens

Page 3: CS360: AI & Roboticszeus.cs.pacificu.edu/shereen/OldCourses/CS360/Lecture Slides/Lecture 1.pdf8/29/03 CS360 AI & Robotics 18 AI Programming Languages vLISP ÿfamous proposal for the

8/29/03 CS360 AI & Robotics 3

What is AI?

Systems that act rationallySystems that act like humans

Systems that think rationallySystems that think like humans

Page 4: CS360: AI & Roboticszeus.cs.pacificu.edu/shereen/OldCourses/CS360/Lecture Slides/Lecture 1.pdf8/29/03 CS360 AI & Robotics 18 AI Programming Languages vLISP ÿfamous proposal for the

8/29/03 CS360 AI & Robotics 4

Acting Humanly

v The Turing Test

Page 5: CS360: AI & Roboticszeus.cs.pacificu.edu/shereen/OldCourses/CS360/Lecture Slides/Lecture 1.pdf8/29/03 CS360 AI & Robotics 18 AI Programming Languages vLISP ÿfamous proposal for the

8/29/03 CS360 AI & Robotics 5

What Things Does aComputer Need to Pass?v Natural Language Processing

v Knowledge Representation

v Automated Reasoning

vMachine Learning

Page 6: CS360: AI & Roboticszeus.cs.pacificu.edu/shereen/OldCourses/CS360/Lecture Slides/Lecture 1.pdf8/29/03 CS360 AI & Robotics 18 AI Programming Languages vLISP ÿfamous proposal for the

8/29/03 CS360 AI & Robotics 6

Total Turing Test

v Computer Vision

v Robotics

Page 7: CS360: AI & Roboticszeus.cs.pacificu.edu/shereen/OldCourses/CS360/Lecture Slides/Lecture 1.pdf8/29/03 CS360 AI & Robotics 18 AI Programming Languages vLISP ÿfamous proposal for the

8/29/03 CS360 AI & Robotics 7

Turing Test

v Still relevant today

v AI researchers devote little effort to achieving the Turingtest

vWhy?ÿ Underlying principles are more important

ÿ Wright brothers succeeded in flying after they stopped imitatingbirds

Page 8: CS360: AI & Roboticszeus.cs.pacificu.edu/shereen/OldCourses/CS360/Lecture Slides/Lecture 1.pdf8/29/03 CS360 AI & Robotics 18 AI Programming Languages vLISP ÿfamous proposal for the

8/29/03 CS360 AI & Robotics 8

Critics of the Turing Test

v Needlessly constrains machine intelligence to fit a humanmoldÿ Do we really want a machine that is bad at mathematics?

v Does not test abilities requiring perceptual skill or manualdexterity

Page 9: CS360: AI & Roboticszeus.cs.pacificu.edu/shereen/OldCourses/CS360/Lecture Slides/Lecture 1.pdf8/29/03 CS360 AI & Robotics 18 AI Programming Languages vLISP ÿfamous proposal for the

8/29/03 CS360 AI & Robotics 9

Page 10: CS360: AI & Roboticszeus.cs.pacificu.edu/shereen/OldCourses/CS360/Lecture Slides/Lecture 1.pdf8/29/03 CS360 AI & Robotics 18 AI Programming Languages vLISP ÿfamous proposal for the

8/29/03 CS360 AI & Robotics 10

Thinking Humanly

v General Problem Solver (GPS) by Newell and Simon

v Compare the trace of its reasoning steps to traces ofhuman subjects solving the same problems

v Field of Cognitive Science

v Get inside the human mind throughÿ Introspection

ÿ Psychological Experiments

Page 11: CS360: AI & Roboticszeus.cs.pacificu.edu/shereen/OldCourses/CS360/Lecture Slides/Lecture 1.pdf8/29/03 CS360 AI & Robotics 18 AI Programming Languages vLISP ÿfamous proposal for the

8/29/03 CS360 AI & Robotics 11

Thinking Rationally

v The ‘laws of thought’ approach

v “Socrates is a man; all men are moral; therefore, Socratesis mortal”

v Two problems:ÿ Hard to state informal knowledge in formal terms

ÿ Problems with a few dozen facts can exhaust the computationalresources of a computer

Page 12: CS360: AI & Roboticszeus.cs.pacificu.edu/shereen/OldCourses/CS360/Lecture Slides/Lecture 1.pdf8/29/03 CS360 AI & Robotics 18 AI Programming Languages vLISP ÿfamous proposal for the

8/29/03 CS360 AI & Robotics 12

Acting Rationally

v The rational agent approach

v Agent is different from a programÿ Operating under autonomous control

ÿ Perceiving their environment

ÿ Persisting over a long period of time

ÿ Adapting to change

v Difference between the laws of though approach and thisapproachÿ There are ways of acting rationally that do not involve logic

ÿ Recoiling from a hot stove

Page 13: CS360: AI & Roboticszeus.cs.pacificu.edu/shereen/OldCourses/CS360/Lecture Slides/Lecture 1.pdf8/29/03 CS360 AI & Robotics 18 AI Programming Languages vLISP ÿfamous proposal for the

8/29/03 CS360 AI & Robotics 13

AI Fundamentals

v Two fundamental components of AIÿ Knowledge Representation

ÿ Search

Page 14: CS360: AI & Roboticszeus.cs.pacificu.edu/shereen/OldCourses/CS360/Lecture Slides/Lecture 1.pdf8/29/03 CS360 AI & Robotics 18 AI Programming Languages vLISP ÿfamous proposal for the

8/29/03 CS360 AI & Robotics 14

AI Application Areas

v Game Playingÿ State search for tic-tac-toe

v Automated Reasoning

v Expert Systemsÿ Knowledge Engineer

ÿ DENDRAL – MYCIN

ÿ Difficulties include:¸ Lack of deep knowledge

¸ Lack of flexibility

¸ No deep explanations

¸ Little learning from experience

¸ Difficulties in verification

Page 15: CS360: AI & Roboticszeus.cs.pacificu.edu/shereen/OldCourses/CS360/Lecture Slides/Lecture 1.pdf8/29/03 CS360 AI & Robotics 18 AI Programming Languages vLISP ÿfamous proposal for the

8/29/03 CS360 AI & Robotics 15

AI Application Areas

v Natural Language Understandingÿ Parsing sentences

ÿ Knowing discourse and idioms

ÿ ‘With none down in the top of the ninth and the go-ahead run atsecond, the manager called his relief from the bull pen’

ÿ SHRDLU (1973)

Page 16: CS360: AI & Roboticszeus.cs.pacificu.edu/shereen/OldCourses/CS360/Lecture Slides/Lecture 1.pdf8/29/03 CS360 AI & Robotics 18 AI Programming Languages vLISP ÿfamous proposal for the

8/29/03 CS360 AI & Robotics 16

SHRDLU

v

Person: PICK UP A BIG RED BLOCK.Computer: OK. (does it)Person: GRASP THE PYRAMID.Computer: I DON'T UNDERSTAND WHICH PYRAMID YOU MEAN.Person: FIND A BLOCK WHICH IS TALLER THAN THE ONE YOU ARE HOLDING AND PUT ITINTO THE BOX.Computer: BY "IT", I ASSUME YOU MEAN THE BLOCK WHICH IS TALLER THAN THE ONE IAM HOLDING.Computer: OK. (does it)Person: WHAT DOES THE BOX CONTAIN?Computer: THE BLUE PYRAMID AND THE BLUE BLOCK.Person: WHAT IS THE PYRAMID SUPPORTED BY?Computer: THE BOX.

Page 17: CS360: AI & Roboticszeus.cs.pacificu.edu/shereen/OldCourses/CS360/Lecture Slides/Lecture 1.pdf8/29/03 CS360 AI & Robotics 18 AI Programming Languages vLISP ÿfamous proposal for the

8/29/03 CS360 AI & Robotics 17

AI Application Areas

v Planning and Roboticsÿ Planning¸Robots perform tasks with some flexibility and responsiveness

vMachine Learningÿ Playing Chess

Page 18: CS360: AI & Roboticszeus.cs.pacificu.edu/shereen/OldCourses/CS360/Lecture Slides/Lecture 1.pdf8/29/03 CS360 AI & Robotics 18 AI Programming Languages vLISP ÿfamous proposal for the

8/29/03 CS360 AI & Robotics 18

AI ProgrammingLanguagesv LISPÿ famous proposal for the Darmouth Summer Research Project on

Artificial Intelligence by McCarthy -- dated the 31st of August 1955- contains a research program for McCarthy which is devoted tothis question: "During next year and during the Summer ResearchProject on Artificial Intelligence, I propose to study the relation oflanguage to intelligence ..."

v PROLOGÿ Prolog invented (about 1972) by the AI researcher Alan

Colmeraurerÿ early ideas developed at University of MontrËal; then University of

Marseilles