CSci 5511
Spring 2009
2nd Midterm Exam Key
Wednesday April 15
75 minutes = 75 points
Open book and notes - no computer
1. 15 points - The game of nim is played as follows. There is a stack of 5 pennie
Welcome!
CSCI 4511
Introduction to Artificial Intelligence
Fall 2015
Instructor: Amy Larson
This course is about learning how to predict the future.
If it looks like a duck and q
Informed Search
Does problem solving require intelligence?
2
2
1
4
6
3
1
5
4
6
1
2
What is the Strategy ?
Is it intelligent ?
Is it effective ?
Getting from Start to Goal
Fig 3.2
W
Comparison of Heuristics Algorithms in A* Search
via Sliding Puzzle Problem
Pei Xu
College of Science and Engineering
Univeristy of Minnesota
Minneapolis, Minnesota 55455
Email: [email protected]
Abstr
4511W, Spring-2016
WRITING ASSIGNMENT 1 :
Assigned: 02/3/16 Due: 2/10/16 at 11:55 PM (submit via moodle) Submit only pdf or txt files (in a
zip if you have multiple files)
Written
For this assignment
4511W, Spring-2016
ASSIGNMENT 1 :
Assigned: 01/28/16 Due: 2/3/16 at 11:55 PM (submit via moodle, you may scan your solution for
problem 1 if you wish)
Written/drawn:
Problem 1. (30 points)
Show a step
4511W, Spring-2016
ASSIGNMENT 2:
Assigned: 02/13/16 Due: FRIDAY 2/19/16 at 11:55 PM (submit via moodle) Submit only pdf or txt
files (in a zip if you have multiple files)
Written/drawn:
Problem 1. (20
Using first order logic (Ch. 9)
Review: unification & MP
Today we will focus on using modus ponens
with unification to infer whether a statement
is true or not
To use general modus ponens, we need to
Welcome!
CSCI 4511
Introduction to Artificial Intelligence
Fall 2015
Instructor: Amy Larson
This course is about learning how to predict the future.
If it looks like a duck and quacks like a duck,
it
Introduction to Logical Agents
Problem Framework
Rational Agents
Perceive Process Act
Domain Knowledge
World Model Transition Model
Inference
Transition Model Inference Engine
Timing
Static Dynamic
Wu
Constraint sat. prob. (Ch. 6)
Announcements
Writing 2 due today
Will post HW3 tonight
CSP vs. search
Let us go back to Australia coloring:
How can you color using current techniques?
CSP vs. search
We
Propositional logic (Ch. 7)
Announcements
Writing 3 due after break: think about project
Logic
Last time we introduced entailment, which is
the environment version of implies
We can check this by recu
Constraint sat. prob. (Ch. 6)
Announcements
Writing 2 due Wednesday
Find best strategy
Clarification: I am an idiot
Last time I explained how to find what action
you should pick for the worst-case sce
Resolution in FO logic (Ch. 9)
Review: CNF form
Conjunctive normal form is a number of
clauses stuck together with ANDs
Each clause can only contain ORs, and logical
negation must appears right next t
Planning (Ch. 10)
Announcements
Writing 4: due today!
Writing 2:
Resubmission due Monday, April 18
Last day to talk to Gabriel, April 15
Backward search
When computing the reverse action, you
apply th
Planning (Ch. 10)
Announcements
Writing 4 due Wednesday
(forcing you to start project)
Review: Planning
Searching: finding a single goal
Planning: must complete multiple tasks on the
way to an ultimat
Game theory (Ch. 17.5)
Announcements
Midterm Wednesday
HW2 solutions posted on moodle
Game theory
Today we will look at a hard combination
of environment factors:
1. Partially observable
2. Multi-agen
Planning (Ch. 10)
Announcements
Test Wednesday:
Covers Ch 5-7 and 17.5
HW3 has been graded
Minor correction in solution to Problem 3(1)
Writing 2 has been graded
Resubmission due Monday, April 18
Last
4511W, Spring-2016
ASSIGNMENT 3:
Assigned: 03/3/16 Due: Wednesday 3/9/16 at 11:55 PM (submit via moodle) Submit only pdf or txt
files (in a zip if you have multiple files)
Update: A few parts in Probl