The Foundations of AI Artificial Intelligence Mr. Sciame Section 2

advertisement
The Foundations of AI
Artificial Intelligence
Mr. Sciame
Section 2
FIRST FOUNDATION
Philosophy (428 BC – Present)
• Questions for AI
1. Can formal rules be used to draw valid
conclusions?
2. How does the mental mind arise from a physical
brain?
3. Where does knowledge come from?
4. How does knowledge lead to action?
Applying Rational Thought to
Machines
• Aristotle – Formulated Logic
• Da Vinci – Designed the first calculator
• Wilhelm Schickard – 1st Calculating machine
(1623)
• Blaise Pascal – The Pascal Adder (1642) – The
more famous calculating machine; much like
an odometer on a car.
Pascal and His Adder
The Mind as a Physical System
• René Descartes (1596-1650) was first to
clearly discuss the distinction between mind
and matter.
• A physical mind leaves no room for free will.
– If the mind was governed by physical laws, it has
the free will of a rock “deciding” to fall to Earth.
Dualism
• Descartes proposed
dualism
– There is a part of the
human mind (soul or
spirit) outside of nature.
– This part was exempt
from physical laws.
– He felt animals did not
possess this dual nature
and could be treated as
machines.
Materialism
• Alternative to dualism
• The brain’s operation
according to the laws of
physics constitutes the
mind.
• Free will is the
perception of available
choices in the choice
process.
Establishing the Source of Knowledge
• Empiricism
– Nothing is in the understanding, which is not first in
the senses. – John Locke
• Induction
– General rules are acquired by exposure to repeated
associations between their elements.
• Logical Positivism
– Knowledge can be characterized by logical theories
connected to observational sentences that correspond
to sensory inputs
Connection of Knowledge to Action
• A vital question for AI, since intelligence
requires actions as well as reasoning.
• There must be an understanding of how
actions are justifiable (or rational).
Aristotle
We deliberate not about ends, but
about means.
SECOND FOUNDATION
Mathematics (800 AD – Present)
• Questions for AI
1. What are the formal rules to draw valid
conclusions?
2. What can be compared?
3. How do we reason with uncertain information?
• Three contributions
– Logic
– Computation
– Probability
The Formal Rules
• George Boole (1847)
– Boolean Logic
• Gottlob Frege (1848-1925)
– Extended Boolean logic to include objects and
relations, used today as a basic knowledge
representation system.
• Alfred Tarski (1902-1983)
– His theory showed how to relate objects in a logic
to objects in the real world.
The Limits of Logic and Computation
• Algorithms
– Step by step methods for problem solving.
• The incompleteness theorem
– Some Functions cannot be represented by algorithms.
• The Turing Machine (1936 – Alan Turing)
– You could create a machine capable of computing a
computable function
– No machine can tell in general whether a given program
will return an answer, or run forever.
Probability
• The possible outcomes
of gambling events
THIRD FOUNDATION
Economics (1776 to Present)
• Questions for AI:
1. How should we make decisions as to maximize
payoff?
2. How should we do this when others may not go
along?
3. How should we do this when the payoff may be
far into the future?
Historical
• Adam Smith (1776) – An Inquiry into the
Causes of the Wealth of Nations.
– First time Economics is treated as a science.
• The study of making choices that lead to
preferred outcomes.
• Theory updated by John von Neumann (1944)
The Theory of Games and Economic Behavior.
Decision Theory
• The Decision Theory:
– Combines Probability with Utility
– Provides a framework for decisions
– This works for large economies (it doesn’t matter
what the other guy does); smaller ones treat this
as a game (the actions of one affect others)
Payoff for the Future
• Herbert Simon (1978)
– Won the Nobel Prize
– Showed that making decisions that were “good
enough,” rather than looking for an optimal
decision, gave a better description of human
behavior.
FOURTH FOUNDATION
Neuroscience (1861 to Present)
• Questions for AI:
1. How do brains process information?
Definition
• Neuroscience is the
study of the nervous
system, and in
particular, the brain.
The Neuron
• Parts include:
– Cell Body
– Dendrites
– Axon
Comparason
Computer
Human Brain
Computational Units
1 CPU, 108 gates
1011 neurons
Storage Units
1010 bits RAM
1011 bits disk
1011 neurons
1014 synapses
Cycle Time
10-9 seconds
10-3 seconds
Bandwidth
1010 bits/second
1014 bits/second
Memory Updates/Second
109
1014
FIFTH FOUNDATION
Psychology (1879 to Present)
• Questions for AI:
1. How do humans and animals think and act?
Studies
• Behavioralism
• Cognitive Psychology
• Cognitive Science
Behaviorism
• The study of animal
behavior
• Relationship of stimuli
to responses
Cognitive Psychology
• The view of the brain as an information
processing device.
• Three steps of a knowledge based agent:
1. The stimulus must be turned into an internal
representation
2. The representation is changed by cognitive
processes into new internal representations
3. These are translated back into actions.
Cognitive Science
• Addresses the psychology of memory,
language, and logical thinking
• “A cognitive theory should be like a computer
program” (Anderson, 1980)
• AI Examples:
– Newell and Simon’s The Logical Thinking Machine
– Noah Chomsky and language
SIXTH FOUNDATION
Computer Engineering (1940 to
Present)
• Questions for AI:
1. How can we build an efficient computer?
• We discussed this in our first notes.
SEVENTH FOUNDATION
Control Theory and Cybernetics
(1948 to Present)
• Questions for AI:
1. How can artifacts operate under their own
control?
Inventions of Control Devices
• 250 BC – Water Clock
• 1600’s – Thermostat (Drebbel)
• 1800’s – Steam Engine (James Watt)
Theories
• Control Theory:
– A regulatory mechanism trying to minimize
“error” (the difference between the current state
and the goal state)
• Objective Function
– Designing systems that behave optimally.
EIGHTH FOUNDATION
Linguistics (1957 to Present)
• Questions for AI:
1. How does language relate to thought?
Books on the Subject
• Verbal Behavior – B.F. Skinner
• Syntactic Structures – Noah Chomsky
• Skinner:
– Behaviorialist Approach
• Chomsky:
– Creativity in language
• Children’s sentences.
Natural Language Processing
• Understanding Language:
– Not just sentence structure.
– Also subject matter and context
Download