Outline
Ch. 1: INTRODUCTION
Course Overview
What is AI?
A brief history
The state of the art
CS 4750/7750, AI
CS 4750/7750, AI
Prof. Yi Shang
Perceptions of AI
2
AI Areas
Search & problem representations
Natural language processing
Planning and scheduling
Intelligent Agents
Russell and Norvig:
Chapter 2
Intelligent Agent
sensors
?
agent
percepts
environment
actuators actions
Definition: An intelligent agent perceives its
environment via sensors and acts rationally
upon that environment with its actuators.
Adversarial Search and
Game Playing
Russell and Norvig: Chapter 5
Typical case
2-person game
Players alternate moves
Zero-sum: one players loss is the others gain
Perfect information: both players have
access to complete information about the state
of the
Constraint Satisfaction
Problems
Russell and Norvig:
Chapter 6
A Sudoku Puzzle
9
2
3
3
6
1
5
8
9
2
9
3
8
5
4
8
9
2
7
9
2
4
6
5
5
1
3
1
5
7
4
8
3
1
Problem Formulation
What
What
What
What
What
is
is
is
is
is
the
the
the
the
the
state space?
initial state?
Outline
CSP examples
Backtracking search for CSPs
Constraint Satisfaction Problems
Problem structure and problem decomposition
Local search for CSPs
Chapter 5
Chapter 5
1
Chapter 5
2
Example: Map-Coloring
Constraint satisfaction problems (CSPs)
Standa
Outline
Reducing rst-order inference to propositional inference
Unication
Inference in first-order logic
Generalized Modus Ponens
Forward and backward chaining
Logic programming
Chapter 9
Resolution
Chapter 9
1
A brief history of reasoning
450b.c.
3
Outline
Why FOL?
Syntax and semantics of FOL
First-order logic
Fun with sentences
Wumpus world in FOL
Chapter 8
Chapter 8
1
Chapter 8
Pros and cons of propositional logic
First-order logic
Propositional logic is declarative: pieces of syntax correspon
Outline
Games
Perfect play
minimax decisions
pruning
Game playing
Resource limits and approximate evaluation
Games of chance
Chapter 6
Games of imperfect information
Chapter 6
1
Chapter 6
Games vs. search problems
2
Types of games
Unpredictable opp
Outline
Problem-solving agents
Problem types
Problem solving and search
Problem formulation
Example problems
Basic search algorithms
Chapter 3
Chapter 3
1
Chapter 3
Chapter 3
Problem-solving agents
3
5
Example: Romania
Restricted form of general agen
CS 4750/7750: Artificial Intelligence
(TR 12:30-1:45pm. EBW 353)
Instructor: Prof. Yi Shang ([email protected])
Office: EBW 207
http:/www.cs.missouri.edu/~shangy/CS4750
Prerequisites: CS 3050 and at least Junior standing
Objectives:
This course is inten