Download Programming with C++ CT214

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Machine learning wikipedia , lookup

Logic programming wikipedia , lookup

Technological singularity wikipedia , lookup

Hubert Dreyfus's views on artificial intelligence wikipedia , lookup

Ecological interface design wikipedia , lookup

Turing test wikipedia , lookup

Human–computer interaction wikipedia , lookup

Human-Computer Interaction Institute wikipedia , lookup

Embodied cognitive science wikipedia , lookup

Knowledge representation and reasoning wikipedia , lookup

AI winter wikipedia , lookup

Intelligence explosion wikipedia , lookup

Ethics of artificial intelligence wikipedia , lookup

Existential risk from artificial general intelligence wikipedia , lookup

Philosophy of artificial intelligence wikipedia , lookup

History of artificial intelligence wikipedia , lookup

Transcript
CSC 450
Artificial Intelligence
WHAT IS AI?
Thinking humanly
Thinking rationally
Acting humanly
Acting rationally
Revision!...
ACTING HUMANLY: THE TURING TEST
Alan Turing (1912-1954)
“Computing Machinery and Intelligence” (1950)
Imitation Game
Human
Human Interrogator
AI System
ACTING HUMANLY: THE TURING TEST
Predicted that by 2000, a machine might have a
30% chance of fooling a lay person for 5 minutes.
Anticipated all major arguments against AI in
following 50 years.
Suggested major components of AI: knowledge,
reasoning, language, understanding, learning.
Revision!...
THINKING HUMANLY: COGNITIVE
MODELLING
Not content to have a program correctly solving a
problem.
More concerned with comparing its reasoning
steps
to traces of human solving the same problem.
Requires testable theories of the workings of the
human mind: cognitive science.
Revision!...
THINKING RATIONALLY: LAWS OF
THOUGHT
Aristotle was one of the first to attempt to codify
“right thinking”, i.e., irrefutable reasoning
processes.
Formal logic provides a precise notation and
rules for representing and reasoning with all
kinds of things in the world.
Obstacles:
- Informal knowledge representation.
- Computational complexity and resources.
Revision!...
ACTING RATIONALLY
Acting so as to achieve one’s goals, given one’s
beliefs.
Does not necessarily involve thinking.
Advantages:
- More general than the “laws of thought” approach.
- More amenable to scientific development than
human- based approaches.
Revision!...
AI PREHISTORY
Logic, methods of reasoning, mind as physical
system foundations of learning, language,
rationality

Mathematics
Formal representation and proof algorithms,
computation, (un)decidability, (in)tractability,
probability

Economics
utility, decision theory

Neuroscience
physical substrate for mental activity

Psychology
phenomena of perception and motor control,
experimental techniques
Computer
engineering
building fast computers

Control theory
design systems that maximize an objective
function over time

Linguistics
knowledge representation, grammar

lec 1, CSC 102 by Asma Kausar@UT,
Tabouk
Philosophy
28/01/2012

8
MILESTONES IN AI
9

1923 Karel Capek's play "R.U.R." (Rossum's Universal Robots)
opens in London (1923). First use of the word 'robot' in English.

1943 Warren McCulloch and Walter Pitts publish "A Logical
Calculus of the Ideas Immanent in Nervous Activity" (1943), laying
foundations for neural networks. First work generally recognized
as AI. Proposed a model of connected artificial neurons, capable
of computing any computable function, and capable of learning.
Used 3000 vacuum tubes to simulate a network of 40 neurons.
See http://en.wikipedia.org/wiki/Warren_McCulloch
http://www.csulb.edu/~cwallis/artificialn/warren_mcculloch.html
9
ABRIDGED HISTORY OF AI
McCulloch & Pitts: Boolean circuit model of brain

1950
Turing's "Computing Machinery and Intelligence"

1956
Dartmouth meeting: "Artificial Intelligence" adopted

1952—69
Look, Ma, no hands!

1950s
Early AI programs, including Samuel's checkers
program, Newell & Simon's Logic Theorist,
Gelernter's Geometry Engine

1965
Robinson's complete algorithm for logical reasoning

1966—73
AI discovers computational complexity
Neural network research almost disappears

1969—79
Early development of knowledge-based systems

1980-- AI becomes an industry

1986-- Neural networks return to popularity

1987-- AI becomes a science

1995-- The emergence of intelligent agents
lec 1, CSC 102 by Asma Kausar@UT,
Tabouk
1943
28/01/2012

10
STATE OF THE ART




lec 1, CSC 102 by Asma Kausar@UT,
Tabouk

Deep Blue defeated the reigning world chess champion
Garry Kasparov in 1997
Proved a mathematical conjecture (Robbins conjecture)
unsolved for decades (conjecture: unproven proposition)
No hands across America (driving autonomously 98% of the
time from Pittsburgh to San Diego)
During the 1991 Gulf War, US forces deployed an AI
logistics planning and scheduling program that involved up
to 50,000 vehicles, cargo, and people
NASA's on-board autonomous planning program controlled
the scheduling of operations for a spacecraft
Proverb solves crossword puzzles better than most
humans
28/01/2012

11
MAJOR BRANCHES OF AI
12

Weak AI.
The study and design of machines that perform
intelligent tasks. Not concerned with how
tasks are performed, mostly concerned with
performance and efficiency, such as solutions
that are reasonable for NP-Complete problems.

E.g., to make a flying machine, use logic and
physics, don’t mimic a bird.
MAJOR BRANCHES OF AI
13

Strong AI.
The study and design of machines that simulate
the human mind to perform intelligent tasks.
Borrow many ideas from psychology,
neuroscience. Goal is to perform tasks the way
a human might do them – which makes sense,
since we do have models of human thought and
problem solving.
BRANCHES OF AI
14
AI PROGRAMMING LANGUAGES
15
 IPL
 RITA
 ROSIE
 PROLOG
 LISP
TOP AI SCHOOLS

COMPANIES
Top AI Schools






AND
Stanford University
MIT
Carnegie Mellon University (CMU)
Berkeley
Also Toronto, Washington, Illinois, Texas, Maryland,
Edinburgh, UCLA, Karlsruhe, and many others.…
Top research labs




Microsoft Research (MSR)
IBM Research
AT&T Labs
Xerox PARC, SRI, ATR (Japan), …
16