artificial intelligence overview john paxton montana state university february 22, 2005...

28
Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 [email protected]

Post on 21-Dec-2015

216 views

Category:

Documents


1 download

TRANSCRIPT

Page 1: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Artificial Intelligence Overview

John PaxtonMontana State University

February 22, [email protected]

Page 2: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Montana State University

Page 3: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

A Brief Bio

• 1985: The Ohio State University, B.S.

• 1987: The University of Michigan, M.S.

• 1990: The University of Michigan, Ph.D.

• 1990 – present: MSU CS Professor

Page 4: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Talk Outline

• What is AI?

• Foundations

• Areas

• Search

• Knowledge Representation

• Agents

• Questions

Page 5: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

What is AI?

Scientific Approach

1. Build systems that think like humans

2. Build systems that act like humans

Engineering Approach

1. Build systems that think rationally

2. Build systems that act rationally

Page 6: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Acting Like a Human

• Turing Test (1950)

IBM

Page 7: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Thinking Like a Human

• Cognitive Modeling Approach

• General Problem Solver (Newell and Simon, 1961)

• Towers of Hanoi Problem

Page 8: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Thinking Rationally

• The laws-of-thought approach

• Syllogisms (Aristotle): deductive reasoning in which a conclusion is derived from premises

• It is difficult to code the knowledge and to reason with it efficiently.

Page 9: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Sample Logic Puzzle

• Robinson found himself on an island where some of the people were liars, and others always told the truth. When he met with one of the inhabitant of the island, he asked him: "Are you a liar or not?""I'm not a liar", answered the person."All right, if it is so, you'll be my companion", Robinson said.After a while they saw another man.Robinson pointed to the man and asked his new friend,"Could you, please, ask him, if he is a liar or not?"The new friend asked the question to the man, came back and said,"He said he was not a liar"."All right, now I'm convinced that you are not a liar!" smiled Robinson. What convinced Robinson?

Page 10: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Acting Rationally

• Rational Agent Approach. The agent acts to achieve the best (or near best) expected outcome.

Page 11: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Water Jug Problem

4 10

85 2

10 4

15 5

Page 12: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Foundations

• Philosophy (e.g. Where does knowledge come from?)

• Mathematics (e.g. What are the formal rules to draw valid conclusions?)

• Economics (e.g. How should we make decisions to maximize payoff?)

• Neuroscience (e.g. How do brains process information?)

• Psychology (e.g. How do humans and animals think and act?)

• Computer Engineering (e.g. How can we build an efficient computer?)

• Control Theory (e.g. How can artifacts operate under their own control?)

• Linguistics (e.g. How does language relate to thought?)

Page 13: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Areas

• Agents

• Artificial Life

• Machine Discovery and Data Mining

• Expert Systems

• Fuzzy Logic

• Game Playing

• Genetic Algorithms

Page 14: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Areas

• Knowledge Representation

• Learning

• Neural Networks

• Natural Language Processing

• Planning

• Reasoning

• Robotics

Page 15: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Areas

• Search

• Speech Recognition and Synthesis

• Virtual Reality

• Computer Vision

Page 16: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Search

• Missionaries and Cannibals Problem

MMMCCC

Page 17: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Search

• Missionaries and Cannibals Solution

MMMCCC

MMCC

MC CMMM

CCMMM CCC

MMMC CC

MC

MMCC

MMCC

MC CC

MMMC

Page 18: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Types of Search

• Uninformed Search– Breadth-First Search– Depth-First Search

• Informed Search– Best-First Search– A* Search

Page 19: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Breadth-First Search

MMMCCC

MMMCC C

MMMC CC

MMCC

MC

Page 20: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Knowledge Representation

• Semantic Nets

• Fuzzy Logic

• First Order Predicate Calculus

Page 21: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Supply the Missing Words!

• 60 = M in an H

• 26 = L in the A

• 12 = S of the Z

• 88 = P K

• 200 = D for P G in M

Page 22: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Semantic Nets

bird

robin magpie ostrich

yes

no

is-ais-a

is-a

can-fly

can-fly

Page 23: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Fuzzy Logic

• Shaquille O’Neal is tall

5’0 6’0 7’0

tall

1.0

0.0

Page 24: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

First Order Predicate Calculus

• Every Saturday is a weekend.x Saturday(x) weekend(x)

• Some day is a week day.x day(x) weekday(x)

Page 25: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Agents

AGENT ENVIRONMENT

sensors

actuators

Page 26: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Rationality Factors

• Performance Measure

• Prior Knowledge

• Performable Actions

• Agent’s Prior Percepts

Page 27: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Rational Agent

• For each possible sensor sequence, a rational agent should select an action that is expected to maximize its performance measure, given the evidence provided by the sensor sequence and whatever built-in knowledge the agent has.

Page 28: Artificial Intelligence Overview John Paxton Montana State University February 22, 2005 paxton@cs.montana.edu

Thank you!

• Questions??