26
ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER Institute for Artificial Intelligence and Computer Science Department UGA

ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

  • Upload
    marly

  • View
    38

  • Download
    1

Embed Size (px)

DESCRIPTION

ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER Institute for Artificial Intelligence and Computer Science Department UGA. AI @ UGA * - Originated around 1985. * - First MS degree awarded: 1988. - PowerPoint PPT Presentation

Citation preview

Page 1: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

ARTIFICIAL INTELLIGENCECSCI/PHIL-4550/6550

(IT’S FOR REAL)

DON POTTER

Institute for Artificial Intelligenceand

Computer Science DepartmentUGA

Page 2: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

AI @ UGA* - Originated around 1985.* - First MS degree awarded: 1988.* - We follow an interdisciplinary approach based on logic programming.

Participants: Computer Science, Philosophy, Psychology, Linguistics, Engineering, Business, Forestry

Page 3: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

What is Artificial Intelligence anyway?

“The science of making machines do things that would require intelligence if

done by people” Marvin Minsky

I like: “the science of making machines exhibit intelligent behavior”

Neither is an attempt to make a human nor some superior being.

Page 4: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

INTELLIGENT BEHAVIOR(or stuff people are good at)

* - Problem Solving* - Learning* - Planning* - Perception* - Language Processing* - Collecting Stuff* - Independent Action

Page 5: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER
Page 6: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

We’re scheduling a single elimination tennis tournament with 200 players.

How many matches will we have?

Page 7: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

COOL DUDES

Charles Babbage considered intelligent devices long ago. Lady Lovelace?

Alan Turing brought the notion up to date with some math foundations and a test (called the TURING TEST).

John McCarthy coined the name Artificial Intelligence.

Page 8: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

TURING TEST

Interrogator

Guy Girl

Replace the guy with a machine. If the interrogator can’t tell,then the machine has exhibited intelligence.

Page 9: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

Theoretical Computer Science

•- Automata Theory

•- Complexity Theory

•- Computability Theory

Page 10: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

AUTOMATA THEORY

•Finite Automatons

•Pushdown Automatons

•Linear Bounded Automatons

•Unbounded Automatons (aka Turning Machines, a math model of a computer)

Page 11: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

COMPLEXITY THEORY

•Solvable Problems

•Unsolvable Problems

COMPUTABILITY THEORY

•Decidable Problems

•Undecidable Problems

Page 12: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

Can a problem be solved (or can I prove that it is unsolvable)?

If it can be solved, is it easy to solve or hard to solve?

If it is easy, then develop the algorithm and solve it.

If it is hard to solve then try using artificial intelligence techniques.

Page 13: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

HARD PROBLEMS

Search Space too big to be searched in a reasonable time by a typical (good) algorithm.

In AI, we use heuristics (rules of thumb learned via experience).

E.g., Medical Diagnosis

Page 14: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

From PHILOSOPHY* Logic* Knowledge* lots more neat stuff

From PSYCHOLOGY* Learning* Comprehension* sure, more neat stuff

From LINGUISTICS* Language* Language Processing* yea, more neat stuff

Page 15: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

PHYSICAL SYMBOLSYSTEM HYPOTHESIS

Using symbol manipulation, we can achieve intelligent behavior in

machines/devices.

Newell & Simon

Page 16: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

15-Puzzle

Water Jug Puzzle (9 & 4 want 6)

Farmer, Fox, Goat, Grain

Pick up sticks (two player, go 2nd)

Lily Pond problem

Counterfeit Coins (81, 12)

Fast Falcon (45mph)

Page 17: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

WHAT DO WE NEED?

•Start State

•Goal State

•Representation

•Operators (recall PSSH)

* Heuristics, the good stuff

Page 18: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

Water Jug Problem

Problem Specs:infinite water supply,no markings on the jugscan fill, transfer, and empty

Start State: Both Jugs Empty (9,0) & (4,0)

9-Gallon Jug

4-Gallon Jug

Page 19: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

Water Jug Problem

Start State: Both Jugs Empty (9,0) & (4,0)

Goal: Six Gallons in 9-Gallon Jug (9,6) (4,_)

Representation: (Jug ID , Gallons)

Operators:fill 9-gallon jug, empty 9-gallon jugfill 4-gallon jug, empty 4-gallon jugtransfer contents (no overflow)

from 9-gall to 4-gallfrom 4-gall to 9-gall

Page 20: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

Step 0: (9,0) (4,0)Step 1: (9,9) (4,0)Step 2: (9,5) (4,4)Step 3: (9,5) (4,0)Step 4: (9,1) (4,4)Step 5: (9,1) (4,0)Step 6: (9,0) (4,1)Step 7: (9,9) (4,1)Step 8: (9,6) (4,4)

Page 21: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

AI RESEARCH (flight analogy)

•Feathers

Page 22: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

AI RESEARCH (flight analogy)

•Feathers

•Flapping

Page 23: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

AI RESEARCH (flight analogy)

•Feathers

•Flapping

•Feathers & Flapping

Page 24: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

AI RESEARCH (flight analogy)

•Feathers

•Flapping

•Feathers & Flapping

•Beak

Page 25: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

AI RESEARCH (flight analogy)

•Feathers

•Flapping

•Feathers & Flapping

•Beak

Facts: lift, air pressure, laws of physics, etc.

Page 26: ARTIFICIAL INTELLIGENCE CSCI/PHIL-4550/6550 (IT’S FOR REAL) DON POTTER

RECENT PROJECTS

Aerial Spray OptimizationPeanut Harvest OptimizationMedication Testing/AnalysisSnake Hunting (special math problem)

Intelligent ISs and DSSsWeather PredictionRobotics