INTRODUCTION TO ARTIFICIAL INTELLIGENCE Chapter 1

advertisement
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
Chapter 1
CAP 492 Course
Dr. Souham Meshoul
1
INTRODUCTION TO ARTIFICIAL INTELLIGENCE

Several attempts to understand how do minds work for thousands of years.
 Goal of Artificial Intelligence: Not only to understand how does mind work? but
also how to build intelligent entities?.
Engineering:
Scientific:
- solve real-world problems using knowledge and reasoning
- develop concepts, theory and practice of building intelligent entities
- Emphasis on system building
- use computers as a platform for studying intelligence itself
- Emphasis on understanding intelligent behavior.
 Artificial Intelligence is one of the newest sciences which emerged after the world
war II. AI represents a big and open field.
 The name Artificial Intelligence was adopted for the first time in 1956.
 Artificial Intelligence can be viewed as a universal field: Ho to automate
intellectual tasks?
CAP 492 Course
Dr. Souham Meshoul
2
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 What is artificial Intelligence?
Several definitions are available in the literature.
Thinking VS Behavior
Model humans VS Work from an ideal standard
 Two points of views:
1. Thinking/Acting humanly: success is measured in term of fidelity to human
performance.
2. Thinking/Acting rationally: success is measured using an ideal concept of
intelligence called Rationality.
 Rational System = system which does the « right thing » given what it knows.
CAP 492 Course
Dr. Souham Meshoul
3
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 Some AI Definitions:
 According to thought processes and reasoning
Thinking like humans:
« The exciting new effort to make computers think…machines with minds, in the full
and literal sense. » (Haugeland, 1985).
« The automation of activities that we associate with human thinking, activities such as
decision-making, problem solving, learning… » (bellman, 1978).
Thinking rationally:
« The study of mental faculties through the use of computational models. » (Charniak
and Mcdermott, 1985).
« The study of the computations that make it possible to perceive, reason and act. »
(Winston 1992).
CAP 492 Course
Dr. Souham Meshoul
4
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 Some AI Definitions:
 According to behavior
Acting Humanly
« The art of creating machines that perform functions that require intelligence
when performed by people. » (Kurzweil, 1990)
« The study of how to make computers do things at which, at the moment,
people are better. » (Rich and Knight, 1991)
Acting rationally
« Computational intelligence is the study of the design of intelligent agents. »
(Poole et al.,1998).
« AI…is concerned with intelligent behavior in artifacts. » (Nilsson, 1998).
CAP 492 Course
Dr. Souham Meshoul
5
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 Some other definitions
• Weak AI: (Searle) AI develops useful, powerful applications
• Strong AI: claims machines have cognitive minds comparable to
humans
debates on strong AI bring up some difficult conceptual problems in
philosophy..
CAP 492 Course
Dr. Souham Meshoul
6
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 Acting Humanly
Turing Test: Alan Turing 1950 « Computing Machinery and Intelligence »
CAP 492 Course
Dr. Souham Meshoul
7
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 Test: The computer passes the “test of intelligence” if a human, after posing
some written questions, cannot tell whether the responses were from a
person or not.
 Provides an operational definition of AI.
 Still being used today within the AI community in annual competitions –
the Loebner Prize ($100,000 and a true 18K gold medal)
To give an answer, the computer would need to posses some capabilities:
 Natural language processing: To communicate successfully.
 Knowledge representation: To store what it knows or hears.
 Automated reasoning: to answer questions and draw conclusions using
stored information.
 Machine learning: To adapt to new circumstances and to detect and
extrapolate patterns.
 Computer vision: To perceive objects.
 Robotics to manipulate objects and move.
CAP 492 Course
Dr. Souham Meshoul
8
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
Example: ELIZA program, some extracts from the test:
• Patient: Men are all alike.
• ELIZA: In what way?
• Patient: They are always bugging about something or the other.
• ELIZA: Can you think of a specific example?
• Patient: Well, my boyfriend made me come here.
• ELIZA: Your boyfriend made you come here?
• Patient: He says I’m depressed much of the time.
• ELIZA: I am sorry you are depressed.
Problems:
 ELIZA and similar programs stressed simple syntactic analysis and generation of
sentences. They used pattern matching with known sentences.
 Turing’s test is not reproducible or amenable to mathematical analysis (it suggests
duplicate an examplar).
 An alternative: Study the underlying principles of intelligence (Wright brothers)
CAP 492 Course
Dr. Souham Meshoul
9
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 Thinking Humanly:
Program think like human → How humans think?
Requires Scientific theories of internal activities of the brain (cognitive
science and cognitive neuroscience).
Example:
 The General Problem Solver (GPS designed by Newell and Simon In 1963) was
meant to be a program that simulated human thought.
 GPS: used means-end analysis in its search for solutions, computing the difference
between the goal and current, and then attempting to minimize the difference.
 Newell and Simon by comparing GPS traces with those of human subjects
discovered that the behavior of GPS was largely a subset of human behavior
CAP 492 Course
Dr. Souham Meshoul
10
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 Thinking rationally:
The Laws of Thought approach is based on pattern for argument structure
arising from Aristostle’s syllogisms.
Example, “Socrates is a man; all men are mortal, therefore
mortal.” The laws of thought initiated the field of logic.
Socrates is
The formal logic movement was advanced by Peano, Boole, Frege,, Godell
and others (late 1800’s and early 1900’s)
Inspired perhaps by early progress, Hibert became a proponent of a school of
thought known as logicism or formalism. The goal of this was to devise a
logic, or formal system, capable of deriving all mathematical theorems.
CAP 492 Course
Dr. Souham Meshoul
11
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 Acting rationally:
Modern AI can be characterized as the engineering of rational agents.
An agent is simply an entity that perceives and acts. A rational agent is
an entity that perceives, reasons and acts rationally (correctly).
CAP 492 Course
Dr. Souham Meshoul
12
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 Foundations:
– An interdisciplinary subject found on:
•
•
•
•
•
•
•
Philosophy,
mathematics,
economics,
neuroscience,
psychology,
computer engineering,
linguistics, and so on
CAP 492 Course
Dr. Souham Meshoul
13
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 History of Artificial Intelligence
Big dream
 Ultimately, we are dealing with the question: “What are we (human beings)
doing when we are thinking?”
 Thought processes in the human mind are computational in nature. There
are mechanistic procedures for generating these thoughts.
 Such computations can be simulated and implemented by a Turing
machine. Therefore, it can be programmed.
CAP 492 Course
Dr. Souham Meshoul
14
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 History of Artificial Intelligence
Early days (1943-1955)
 1943: first piece of AI work: Warren McCulloch and Walter Pitts
 Model of artificial neurons
 Mathematical learnable functions that generate “on/off” depending on inputs
(logic gates)
 Any computable function can be computed by a network of connected neurons.
 Suitably defined networks can learn.
 1949: Hebbian learning
 A mechanism for updating the connection strength of a neuron.
 Today, neurologists have confirmed that something similar to Hebbian learning
indeed is going on in our brain when we are learning.
 1950: Turing test, complete vision of AI in “computing machinery and Intelligence”
 1951: first neural network computer
 Implemented by M. Minsky and D. Edmonds
CAP 492 Course
Dr. Souham Meshoul
15
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 History of Artificial Intelligence
Early days (1943-1955): Mcculloch and pitts artificial neuron
1
0
0.3
-1

1
0.5
CAP 492 Course
Dr. Souham Meshoul
16
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 History of Artificial Intelligence
Birth of AI 1956
 1956: Dartmouth Conference
 Organized by John McCarthy and colleagues for starting a new area in studying
computation and intelligence.
 John McCarthy introduced the term “artificial intelligence” in the conference.
 The next 20 years witnessed steady growth of the field led by the pioneers appeared
in the Dartmouth conference.
CAP 492 Course
Dr. Souham Meshoul
17
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 History
of Artificial Intelligence
Expectations and Initial enthusiasm (1952 – 1969)
1956: Samuel’s checkers program:
First game playing program achieving human-competitive
performance.
1957: Simon’s general problem solver (GPS):
Imitates the way a human would solve planning problems.
1958: Invention of LISP by J. McCarthy.
The first AI programming language.
1958: Minsky’s microworlds
The concept of creating a “controlled environment” in which
problem solving appears to require intelligence was born. The study
of computation and intelligence can become more manageable in
these micro-worlds
CAP 492 Course
Dr. Souham Meshoul
18
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 History
of Artificial Intelligence
Expectations and Initial enthusiasm (1952 – 1969)
1963: Thomas Evan’s program ANALOG
Solved analogy problems in an IQ test.
1965: ELIZA
Simulates a dialog with a computer in English on any topic.
Became popular when programmed to simulate a psychotherapist
(Fedora’s Emacs).
1967: Dendral program (developed at Stanford)
First successful program for scientific reasoning – one of the earlier rule
based expert systems. A program that can infer molecular structures
given the information provided by a mass spectrometer (that gives the
masses of the various fragments of a molecule). The program relies on
expert knowledge (encoded as rules) to constraint the generation of
possible molecular structures that are consistent with the information
from the mass spectrometer
CAP 492 Course
Dr. Souham Meshoul
19
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 History of Artificial Intelligence
Reality Check (1966 – 1973): series of disappointments and frustrations
AI was poured little buckets of “reality cold water”
Problems
 Most early systems contain little or no knowledge of their subject matter
– Knowledge acquisition bottleneck.
– Example: Poor performance of earlier machine translation system (Russian 
English): “the spirit is willing but the flesh is weak” was translated to “the
vodka is good but the meat is rotten”.
 Computational Intractability of AI problems
 Theory of computational complexity was not developed. Polynomial solvable
problems, NP-completeness, etc
 People thought a faster machine could solve any hard problem.
 Initial frustration with theorem proving led to a disappointment in AI
Theorem proving is a exponential in complexity
CAP 492 Course
Dr. Souham Meshoul
20
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 History of Artificial Intelligence
Resurgence (1969 – 1979)
 1971: T. Winograd’s Ph.D. thesis (MIT) demonstrated a system that can
understand English in a micro-domain (the block world).
 1972: PROLOG was developed by a group of Europeans and became
alternative to LISP as an AI programming language.
 1974: MYCIN was developed by Ted Shortliffe. Expert system for medical
diagnosis. Sometimes called the first expert system.
 1978: The Version Space algorithm was developed by Tom Mitchell at
Stanford. First symbolic machine learning algorithm. “Father of Machine
Learning”.
 1979: Non-monotonic logic. Began to be formalized by John McCarthy and
his colleagues.
CAP 492 Course
Dr. Souham Meshoul
21
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 History of Artificial Intelligence
Resurgence (1969 – 1979): Winograd 1972
CAP 492 Course
Dr. Souham Meshoul
22
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 History of Artificial Intelligence
AI becomes an industry (1980 – present)
 AI started to become industrially and commercially beneficial
– 1982: R1 was deployed at DEC – an expert system that saved the company
around $40M / year
– Du Pont had 100 in use and an estimated 500 in development at late 90’s to
early 21st century
 At an international level, AI was considered a part of a country’s
technological developments
– Japan: “First Generation” project (10 year plan to build intelligence machines
running in Prolog)
– USA: Microelectronics and Computer Technology Corporation (MCC) was
formed in response
– Britain: Funding for AI was reinstated
CAP 492 Course
Dr. Souham Meshoul
23
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 History of Artificial Intelligence
Renewing with connectionism and AI becomes a science (1986 – present)
 Work of the physicist John Hopfield (1982) on using techniques from
statistical mechanics.
 Connectionist models of intelligent systems competitor to the symbolic
models (Newell and Simon) and logicist approach (McCarthy).
(complementary approaches in fact).
 Several revolutions in many fields: pattern recognition, computer vision,
robotics…
 Emergence of intelligent agents.
CAP 492 Course
Dr. Souham Meshoul
24
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 Examples of AI applications: Game Playing
 TDGammon, the world champion backgammon player, built by Gerry Tesauro of IBM
research.
Perception: keyboard input.
Reason: reinforcement learning.
Actuation: graphical output shows dice and movement of piece.
 Deep Blue chess program beat world champion Gary Kasparov
Perception: input symptoms and test results.
Reason: Bayesian networks, Monte-Carlo simulations.
Actuation: output diagnoses and further test suggestions.
CAP 492 Course
Dr. Souham Meshoul
25
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 Examples of AI applications: Natural Language Understanding
 Natural language understanding (spell checkers, grammar checkers)
 AI translators – spoken to and prints what one wants in foreign languages :
Alta Vista’s translation of web pages.
 Advanced systems can answer questions based on the information in the
text and produce useful summaries.
 PROVERB (Littman 1999) crossword puzzles
 Examples of successes : English conversation
START system: accesses raw data tables, and then can carry on a dialogue
CAP 492 Course
Dr. Souham Meshoul
26
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 Examples of AI applications: Expert systems
 In geology
prospector expert system carries evaluation of mineral potential of
geological site or region
 Diagnostic Systems
Pathfinder, a medical diagnosis system (suggests tests and makes
diagnosis) developed by Heckerman and other Microsoft research
Microsoft Office Assistant in Office provides customized help by
decision-theoretic reasoning by an individual user.
MYCIN system for diagnosing bacterial infections of the blood and
suggesting treatments
 System Configuration
"XCON" (for custom hardware configuration) configures computers
doing work of 300 people using 10,000 rules
CAP 492 Course
Dr. Souham Meshoul
27
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 Examples of AI applications: Robotics
 Robotics becoming increasing important in various areas like: games, to
handle hazardous conditions and to do tedious jobs among other things.
 Examples: automated cars, ping pong player, mining, construction, robot
assistant in microsurgery,…
CAP 492 Course
Dr. Souham Meshoul
28
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 Main issues in AI
 Representation
 Search: many tasks can be viewed as searching a very large problem space
for solution space
 Inference: related to search, inferring other facts from some given facts.
e.g., knowing all “elephants have trunks” and “Jo is an elephant,” can we
answer does Jo have a trunk?
 Learning: inductive inference, neural networks, artificial life, genetic
algorithms, evolutionary strategies
 Planning: starting with general facts about the world, facts about the effects
of basic actions, facts about a particular situation, and a statement of a goal,
generate a strategy for achieving that goal in terms of a sequence of
primitive steps or actions
CAP 492 Course
Dr. Souham Meshoul
29
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
 Summary
 Intelligence is studied from many perspectives: Are you concerned with
thinking or behavior?
 AI can help us solve difficult, real-world problems, creating new
opportunities in business, engineering, and many other application areas.
 The history of AI has had cycles of success, misplaced optimism, and
resulting cutbacks in enthusiasm and funding. There have also been cycles
of introducing new creative approaches and systematically refining the best
ones.
 AI has advanced more rapidly in the past decade because of greater use of
the scientific method in experimenting with and comparing approaches.
CAP 492 Course
Dr. Souham Meshoul
30
Download