formal intro to ai
TRANSCRIPT
-
7/27/2019 Formal Intro to AI
1/64
ARTIFICIAL INTELLIGENCE (AI)
A FORMAL INTRODUCTION
-
7/27/2019 Formal Intro to AI
2/64
2
What doesartificial intelligencemean?
Programming a computer to successfullyperform tasks that are thought to requireintelligence Playing chess
Proving theorems
Translating Russian into English Walking across a room
Recognizing a familiar face
Understanding directions
-
7/27/2019 Formal Intro to AI
3/64
3
DEFINITIONS OF AI
Study of how to make computers do things atwhich, at the moment, people are better.(Elain Rich) (Memorizing and intelligence)
The science of making machines do thingsthat would require intelligence if done byhuman. (Minsky)
Based on programming techniques: A branchof computer science dealing with symbolic,non-algorithmic methods of problem solving.(Buchanan and Shortliffe)
-
7/27/2019 Formal Intro to AI
4/64
4
Some more definitions
Part of computer science that concerns with
designing intelligent computer systems, that is,
systems that exhibit the characteristics we associate
with intelligence in human behavior. (Barr andFeigenbaum)
The branch of computer science that deals with ways
of representing knowledge using symbols rather thannumbers and with rules-of-thumb or heuristic
methods for processing information. (Buchanan)
-
7/27/2019 Formal Intro to AI
5/64
5
Some more definitions
A way of making a machine think intelligently.
Branch of computer science that is concernedwith automation of intelligent behavior.
A recursive definition: AI is the collection ofproblems and methodologies studied by AIresearchers.
HISTORY: 1930: John Dewey, How wethink to 1990sGenetic Algorithms andthe 6th Generation Computing
-
7/27/2019 Formal Intro to AI
6/64
HISTORY OF AIMain Events
-
7/27/2019 Formal Intro to AI
7/647
The Dartmouth Conference
According to the organizersproposal, the
conference was intended to explore theconjecture, that every aspect of learningor any other feature of intelligence can inprinciple be so precisely described that a
machine can be made to simulate it.That conjecture, of course, continues tobe a focus of AI research.
-
7/27/2019 Formal Intro to AI
8/648
The Conference Organizers John McCarthy - Assistant Professor of Mathematics
at Dartmouth. Marvin Minsky - Junior Fellow in mathematics and
neurology at Harvard, both had worked with
Shannon at Bell Labs. Nathaniel Rochester - Manager of information
research for IBM. Interested in intelligent machines. Claude Shannon - Bell Labs; Established his
reputation firmly earlier.
The conference, funded by a $7500Rockefeller Foundation Grant, wasorganized by four scientists, 2 fromacademia and 2 from industry.
-
7/27/2019 Formal Intro to AI
9/649
The Dartmouth Conference
1956 Dartmouth Conference, Hanover, NewHampshire:
AI revolution was launched. About a dozenscientists representing disciplines of Mathematics
Neurology
Psychology Electrical Engineering among others
werethere.
-
7/27/2019 Formal Intro to AI
10/6410
The Dartmouth Conference They all in their various fields, were using
computers to try to simulate various aspects ofhuman intelligence.
Anew branch of computer science crystallized atthe conference, combining elements of severaldifferent avenues of research into a unified field.
There was no universal agreement about what tocall the new science.
However, Artificial Intelligence, the namesuggested by John McCarthy, one of theconference organizers, has come to beassociated firmly with the field.
-
7/27/2019 Formal Intro to AI
11/6411
Can Machines Think?
Computers were used by Americans andthe British during World War II toexpedite complex tasks such asnumerical computations and code
breaking activities that previously hadbeen assumed to require humanintelligence.
-
7/27/2019 Formal Intro to AI
12/6412
Can Machines Think? Notice that shift in the frontier of
intelligence in the last 50 years. Wehave become so accustomed tocalculating machines that we nowconsider that kind of activity to be
mechanical.
It was probably inevitable that scientistsworking with the first computers wouldspeculate about how intelligent thesenew electronic marvels could become.
-
7/27/2019 Formal Intro to AI
13/6413
Can Machines Think? Alan Turing, a mathematician, was working on
Project Ultra, the successful British effort tobreak the German Code during World War II. Aspart if his role in that project, Turing helpeddesign one of the first computers ever built.
Turing also wrote an article entitledComputingMachinery and Intelligence, which secured forhim the distinction of being generally recognizedas the father ofAI. He proposed a question
Can machines think? Turing suggested a test, in the form of game,
that could help decide the issue. He called itimitation game. (Replicating, human behavior)
-
7/27/2019 Formal Intro to AI
14/6414
The Turing Test You are the interrogator; you can direct
questions to either Person A or Person Bthrough a keyboard to the screen, but youdo not know which is the man and which is
the woman. Only one of the persons isobligated to reply truthfully, the otherperson is actively engaged in attempting tofool and confuse you, using any deceitfultactics that will make you guess incorrectly.
The objective of the game is to try to guesswhich person is male and which is femalesolely by analyzing the responses through akeyboard. Screen communication.
-
7/27/2019 Formal Intro to AI
15/6415
The Turing Test Next, and this is the critical part of the
Turing test, substitute a computer for
one of the people. Now the human isobligated to give you truthful, human-likeresponses; but the computer is trying tofool you into thinking that it is human!
-
7/27/2019 Formal Intro to AI
16/64
-
7/27/2019 Formal Intro to AI
17/64
17
The Turing Test It is considered to be any situation in
which a human converses with an
unseen respondent and attempts todetermine if the dialogue is beingconducted with a human or a computer.If a computer can fool you into believing
that you are talking to a human, thecomputer can be said to be intelligent.
-
7/27/2019 Formal Intro to AI
18/64
18
Intelligent Test for Computers Alan Turing, a pioneer in the theory of computation, once
proposed an intelligent test for computer programs[Turing 1950].
In one variant of the Turing Test, a human judge isallowed to interrogate a program through some sort of aninterface such as a video terminal. If the program can foolthe human into believing that it is another humanresponding rather than a computer, then the program isjudged intelligent.
You can imagine variants of this test in which youmanipulate a robots environment to see how robotresponds and judge the robot as intelligent or not,depending on whether the robot responds in accordancewith how a human might in the same situation.
-
7/27/2019 Formal Intro to AI
19/64
19
The Loebner Prize, based on a fund of over $100,000
established by New York businessman Hugh G. Loebner, isawarded annually for the computer program that bestemulates natural human behavior. During the contest, a panelof independent judges attempts to determine whether theresponses on a computer terminal are being produced by acomputer or a person, along the lines of the Turing Test. Thedesigners of the best program each year win a cash awardand a medal. If a program passes the test in all its particulars,then the entire fund will be paid to the program's designer andthe fund abolished. For further information about the LoebnerPrize, see the URL
http://www.loebner.net/Prizef/loebner-prize.html
What AI competitions exist?
-
7/27/2019 Formal Intro to AI
20/64
HISTORY OF AIDetails Later
-
7/27/2019 Formal Intro to AI
21/64
DISUCSSING NATURAL ANDARTIFICIAL INTELLIGENCE
-
7/27/2019 Formal Intro to AI
22/64
AI TREE
-
7/27/2019 Formal Intro to AI
23/64
23
Computers are
Good at:
Number crunching
Storing information
Airline scheduling
Transmitting data
Structured data bases
Graphics
Bad at:
Writing poetry
Composing music
Understanding
speech
Driving cars
Enjoying peaches Learning new things
-
7/27/2019 Formal Intro to AI
24/64
24
Artificial Intelligence
Human Intelligence!
We need to build intelligent machines?
-
7/27/2019 Formal Intro to AI
25/64
25
INTELLIGENCE
Natural God made
Associated with human
Human behavior Psychology
Five senses
Symbolic data
Fuzzy ness
Artificial Man made
Associated with machines
To emulate humanbehavior in terms ofcomputational processes
Various sensors
Numeric + Symbolic
Uncertainty to be dealtwith
-
7/27/2019 Formal Intro to AI
26/64
26
Definition ofIntelligent Agent:
A software routine that waits in the background
and performs an action when a specified eventoccurs.
For example, agents could transmit a summary fileon the first day of the month or monitor incoming
data and alert the user when certain transactionshave arrived.
-
7/27/2019 Formal Intro to AI
27/64
27
How do we build an intelligent agent?
Must be able to perceive its environment.
Must be able to affect its environment. Must be able to reason about observations and
actions
Must be able to learn from observations andactions.
Must have goals.
-
7/27/2019 Formal Intro to AI
28/64
28
Building Intelligent Agents:
First Challenge
Create a representation of the world in termscomputers can deal with
Numbers?
Text
Logic
Lets assume everything about the task can berepresented we have complete knowledge
-
7/27/2019 Formal Intro to AI
29/64
29
Building Intelligent Agents:Second Challenge
Extend your programs to handle situations whereknowledge isnt complete, i.e.,
where there is uncertainty
-
7/27/2019 Formal Intro to AI
30/64
prior knowledge
experience
goals/values
observations
Intelligent Agents
-
7/27/2019 Formal Intro to AI
31/64
31
Building Intelligent Agents
Agent
prior knowledge
actionsexperience
goals/values
observations
-
7/27/2019 Formal Intro to AI
32/64
32
Intelligent Agent Skills include
ReasoningSearch Machine Learning
Representation of the World
Symbols (Logic, Numbers)
Vision Processing
Planning
RoboticsNatural Language Understanding
-
7/27/2019 Formal Intro to AI
33/64
33
AI programming Vs.
Conventional programming
AI
Primarily symbolic
Heuristic, Solution stepsimplicit
Control structureseparate from knowledgebase
Easy to modify
Satisfactory answersacceptable
CONVENTIONAL
Primarily numeric
Algorithmic, Solutionstep explicit
Information andcontrol integrated
Difficult to modify
Correct answersrequired
-
7/27/2019 Formal Intro to AI
34/64
34
NLP
ROBOTS
& MV
ES
T.Prov.
Heuristic
Search
Knowledge
Rep.
Languages
& Tools
Reasoning
& Logic
-
7/27/2019 Formal Intro to AI
35/64
35
AI: CENTRAL THEMES
THEMES
K. representation
Inference and control
Learn and adapt Handling uncertainty
Reasoning
Knowledge/search
tradeoff, Combinatorialexplosion
Problem decomposition
-
7/27/2019 Formal Intro to AI
36/64
36
WHAT IS INTELLIGENCE AND HOW IT WORKS?
Intelligence is ability to meet situations successfully
perceive inter relationship of facts
learn and understand fromexperience
acquire and retain knowledge
respond quickly and successfully to anew situation
To respond to a situation very flexibly
To make sense out of ambiguous orcontradictory messages
To recognize the relative importanceof different elements of a situation
To find similarities B/W situationsdespite differences which mayseparate them
To draw distinctions B/W situationsdespite similarities which may link
them
Goals
We think because thereare things we have to
do
Intelligence
Facts and rules
Control
Pruning Inferencing
-
7/27/2019 Formal Intro to AI
37/64
Facts And Rules
Intelligence
1) Collection of facts.
2) Means of utilizing these facts to reach goals.
3) Done by formulating set of rules relating to allfacts stored in the brain.
-
7/27/2019 Formal Intro to AI
38/64
Fact/Rule Set1:
Fact 1: A burning stove is hot.
Rule 1:If I put my hand on a burning stove,
Then it hurt.
Fact/Rule Set 2:
Fact 2: During rush hours, streets are crowded with cars.
Rule 2: If I try to cross a major highway on foot during rush
hours,
Then I may get hit by a car.
How Does Human Intelligence Work?
-
7/27/2019 Formal Intro to AI
39/64
How Does Human Intelligence Work?
Goals:Example
Wake up in the morning.To go to office.
Reach in time.Goals ----- ultimate goals.
Thoughts are not random or arbitrary. Pressed into service because of goal(s). No thoughts without goal. We do not do things because we think, we think
because there are things we have to do.
-
7/27/2019 Formal Intro to AI
40/64
40
Example; Wakeup in the morning.
Reach office in time.
Brain is bombarded with all type of data .
(directly/indirectly , related/unrelated).
If we had to deal with this multi data,
we might stand across the road for years.
How mind extracts the right set of rules is pruning.
Eliminates irrelevant pathways.
Reach goal immediately.
Focus on rules pertinent to solving the immediate
problem.
-
7/27/2019 Formal Intro to AI
41/64
41
Reaching goal; Problem solved + New knowledge acquired.
Fact 1: Jims parents are John & Mary.
Fact 2: Janes parents are John & Mary.
Rule: If a male person & female person have same parents.
Then they are brother and sister.
Goals: Relation between Jim & Jane.
Inference: New facts produced;
Jim & Jane are brother and sister.
The component of intelligence that helps us arrive at new factsis called the Inference Engine, Inference Mechanism.
Problem may have not a vast store of information. From this we
have to determine the proper course of action. Avoid irrelevant
knowledge components. This is what we called Pruning
Interference Mechanism
-
7/27/2019 Formal Intro to AI
42/64
42
WHAT IS INTELLIGENCE AND HOW IT WORKS?
Intelligence is ability to
meet situations successfully perceive inter relationship of facts learn and understand from
experience acquire and retain knowledge respond quickly and successfully to a
new situation To respond to a situation very
flexibly To make sense out of ambiguous or
contradictory messages To recognize the relative importance
of different elements of a situation To find similarities B/W situations
despite differences which mayseparate them
To draw distinctions B/W situationsdespite similarities which may linkthem
Goals
We think becausethere are things wehave to do
Intelligence
Facts and rules Control
Pruning Inferencing
-
7/27/2019 Formal Intro to AI
43/64
43
Strong AIIt makes the bold claim that computers can be made to think ona level (at least) equal to humans.
Weak AIIt simply states that some thinking like features can be added
to computers make them more useful tools like expert
systems, speech recognition software etc.
-
7/27/2019 Formal Intro to AI
44/64
44
Intelligent Systems
ArtificialIntelligence
Systems
Statistics
SignalProcessing Control
Theory
TheoreticalPhysicsIntelligent
-
7/27/2019 Formal Intro to AI
45/64
Robots
-
7/27/2019 Formal Intro to AI
46/64
-
7/27/2019 Formal Intro to AI
47/64
47
AITechn
ologies
-
7/27/2019 Formal Intro to AI
48/64
48
AI Technologies
-
7/27/2019 Formal Intro to AI
49/64
49
AI Technologies
-
7/27/2019 Formal Intro to AI
50/64
50
AI Technologies
-
7/27/2019 Formal Intro to AI
51/64
51
AI Technologies
-
7/27/2019 Formal Intro to AI
52/64
52
AI Technologies
Intelligent Computer Aided Instruction
Robotics
Expert Systems
Computer Vision
Speech Recognition
Automatic Programming
Natural Language Processing
Planning and Decision Support
AI Technologies and Applications
-
7/27/2019 Formal Intro to AI
53/64
AI Technologies and Applications
Factory
Automation
Autonomous
Vehicals
Mechatronics
ROBOTICS
Fault
Diagnosis
Intelligent
Assistant
Medical,
Control, etc.
EXPERT
SYSTEMS
Perception
Guidance
Inspection
Verification
VISION
Understanding
Generation
Text to
Speech
Speaker
SPEECH
Comm.
Grammer
NLU
Learning
and teaching
CAI GAME
PLAYING
GPS
T. PROVING
Neural
Networks
Parallel
Computing
Genetic
Algorithms
LEARNING
Acquisition
Text
understandin
Text
generation
Explanation
KE
AI TECHNOLOGIES
Domain Specific Applications of AI
http://www.ids.ias.edu/ist.jpghttp://www.isi.edu/AI/ai-Image4.gifhttp://www.machinebrain.com/images/hoap1.jpg -
7/27/2019 Formal Intro to AI
54/64
Domain Specific Applications of AI
Diagnosis
Treatment
Monitoring
Knowledge
Automation
MEDICAL
Plant
control
Data
interpretation
Intelligent
design
Chem.
& Bio.
Synthesis
SCIENCE
& ENGG.
Factory
M, P & S
Intelligent
Robots
Inspection
Mechatronics
INDUSTRY
Surveillance
Target
Trk. & Recog.
Autonomous
Vehicles
Expert
Advisors
MILITARY
Intelligent
KB Access
Traffic
control
SERVICES
Groupd
Ops. Aid
P & S
Remote
Ops.
Sensor
Fusion
SPACE
Tax Prep.
ES
Intelligent
Consultant
FINANCIAL
Prospecting
Aids
Drilling
Ops.
Resource
Recovery
Resource
Management
NATURAL
RESOURCES
APPLICATIONS
http://www.cs.queensu.ca/biomed/images/surgeons.jpg -
7/27/2019 Formal Intro to AI
55/64
55
Generic Applications of AIKnowledge Management:
Intelligent Databaseaccess
Knowledge acquisition
Text understanding
Text generation
Machine translation
Explanation
Logical operations ondatabases
Human Interaction:
Speech understanding
Speech generation
Learning and Teaching:
Computer aided instruction
Intelligent computer aidedinstruction
Learning from experience
Concept generation
Operation and maintenanceinstruction
-
7/27/2019 Formal Intro to AI
56/64
56
Generic Applications of AI
Fault Diagnosis andRepair:
Humans
Machines
Systems
Computation:
Symbolic Mathematics
Fuzzy operation
Automatic programming
Communication:
Public access to largedatabases via telephone andspeech understanding
Natural Language interfaces
to computer programs
Operations of Machines andComplex Systems:
Factory Automation
Mechatronics
-
7/27/2019 Formal Intro to AI
57/64
57
Autonomous IntelligentSystems:
Autonomous vehicles
Management:
Planning
Scheduling
Monitoring
Sensor Interpretation andIntegration:
Developing meaning fromsensor data
Sensor fusion (integratingmultiple sensor inputs todevelop high level
interpretations)
Generic Applications of AI
Design:
Systems
Equipment
Intelligent Design Aids
InventingVisual Perception andGuidance:
Inspection
Identification
Verification
-
7/27/2019 Formal Intro to AI
58/64
58
Visual Perception andGuidance (Continued):
Guidance
Screening
Monitoring
Intelligent Assistants:
Medical Diagnosis,Maintenance Aids, andother Expert Systems
Expert System BuildingTools
Generic Applications of AI
Medical:Patient Monitoring
Prosthetics
Artificial Sight andHearing
Reading Machinesfor the Blind
Medical KnowledgeAutomation
Executive Assistance:Real Mail and SpotItems on Importance
Planning Aids
-
7/27/2019 Formal Intro to AI
59/64
59
Science And Engineering:Discovering
Physical andmathematical laws
Determination ofregularities andaspects of interest
Chemical and BiologicalSynthesis Planning
Test Management
Data Interpretation
Intelligent Design Aids
Generic Applications of AI
Industrial:Factory Management
Production Planningand Scheduling
Intelligent Robots
Process Planning
Intelligent Machines
Computer-AidedInspection
Mechatronics
-
7/27/2019 Formal Intro to AI
60/64
60
Military:
Expert Advisers
Sensor Synthesisand Interpretation
Battle and ThreatAssessment
Automatic PhotoInterpretation
Tactical planning
Military
Surveillance
Weapon-TargetAssignment
AutonomousVehicles
Military:
Intelligent Robots
Diagnosis and Maintenance Aids
Target Location and Tracking
Map Development Aids
Intelligent Interactions withKnowledge Bases
Financial:
Tax Preparation
Financial Expert Systems
Intelligent Consultants
Generic Applications of AI
-
7/27/2019 Formal Intro to AI
61/64
61
International:
Aids to Understanding andInterpretation
Goals, aspirations andmotives of differentcountries and cultures
Cultural models forinterpreting how othersperceive
Natural language Translation
Services:
Intelligent Knowledge BaseAccess
Airline Reservations
Air Traffic Control and Ground
Traffic Control
Natural Resources:
Prospecting Aids
Resource operations
Drilling Procedures
Resource Recovery
GuidanceResource Management UsingRemote Sensing Data
Generic Applications of AI
-
7/27/2019 Formal Intro to AI
62/64
62
Space:
Ground Operation Aids
Planning and Scheduling Aids
Diagnosis and Reconfiguration Aids
Remote Operations of Spacecraft and SpaceVehicles
Test Monitors
Real-time Re-planning as required by failures,changed conditions, or new opportunities
Automatic Subsystem Operations
Generic Applications of AI
-
7/27/2019 Formal Intro to AI
63/64
A game of chess can be analyzed by a symbolicprogram. Each chess piece is represented by a symbol,and the rules governing legal moves are representedby symbolic expressions.
Playing Chess
-
7/27/2019 Formal Intro to AI
64/64
APPLYING AI Physics
VLSI Design
Non DestructiveTesting
Element
Classification Load Measuring
MechanicalDesign Assembly
TeachingPhysics
IsotopesDetection
Circuit Analysis
Learning
Control
Broom Balancer
Prediction andEstimation
Backing of aTruck
Power PlantControl
Robotics
PrecisionManufacturing
Computing
SpeechRecognition
Intelligent Agenton the Net
Network
Management andRouting
Troubleshooting
CharacterRecognition