CS 1571 Introduction to AI
Lecture 8
Constraint satisfaction search.
Combinatorial optimization search.
Milos Hauskrecht
milos@cs.pitt.edu
5329 Sennott Square
CS 1571 Intro to AI
M. Hauskrecht
Constraint satisfaction problem (CSP)
Objective:
Find a confi
CS 1571 Introduction to AI
Lecture 6
Informed search methods
Milos Hauskrecht
milos@cs.pitt.edu
5329 Sennott Square
CS 1571 Intro to AI
M. Hauskrecht
Announcements
Homework assignment 2 is out
Due on Tuesday, September 24, 2013 before the class
Two part
CS 1571 Introduction to AI
Lecture 5
Uninformed search methods II.
Milos Hauskrecht
milos@cs.pitt.edu
5329 Sennott Square
CS 1571 Intro to AI
M. Hauskrecht
Uninformed methods
Uninformed search methods use only information available in
the problem definit
CS 1571 Introduction to AI
Lecture 4
Uninformed search methods
Milos Hauskrecht
milos@cs.pitt.edu
5329 Sennott Square
CS 1571 Intro to AI
M. Hauskrecht
Announcements
Homework assignment 1
Due on Tuesday, September 17, 2013 before the lecture
Theoretical
CS 1571 Introduction to AI
Lecture 13
Propositional logic
Milos Hauskrecht
milos@cs.pitt.edu
5329 Sennott Square
CS 1571 Intro to AI
M. Hauskrecht
Logical inference problem
Logical inference problem:
Given:
a knowledge base KB (a set of sentences) and
CS 1571 Introduction to AI
Lecture 2
AI applications
Milos Hauskrecht
milos@cs.pitt.edu
5329 Sennott Square
CS 1571 Intro to AI
M. Hauskrecht
Artificial Intelligence
The field of Artificial intelligence:
The design and study of computer systems that beh
CS 1571 Introduction to AI
Lecture 11
Knowledge Representation.
Propositional logic.
Milos Hauskrecht
milos@cs.pitt.edu
5329 Sennott Square
CS 1571 Intro to AI
M. Hauskrecht
Announcements
Homework assignment 3 due today
Homework assignment 4 is out
Pro
CS 1571 Introduction to AI
Lecture 3
Problem solving by searching
Milos Hauskrecht
milos@cs.pitt.edu
5329 Sennott Square
CS 1571 Intro to AI
M. Hauskrecht
A search problem
Many interesting problems in science and engineering are solved
using search
A sear
CS 1571 Introduction to AI
Lecture 12
Propositional logic
Milos Hauskrecht
milos@cs.pitt.edu
5329 Sennott Square
CS 1571 Intro to AI
M. Hauskrecht
Logical inference problem
Logical inference problem:
Given:
a knowledge base KB (a set of sentences) and
CS 1571 Introduction to AI
Lecture 15
Inference in first-order logic
Milos Hauskrecht
milos@cs.pitt.edu
5329 Sennott Square
CS 1571 Intro to AI
M. Hauskrecht
Logical inference in FOL
Logical inference problem:
Given a knowledge base KB (a set of sentence
CS 1571 Introduction to AI
Lecture 14
First-order logic
Milos Hauskrecht
milos@cs.pitt.edu
5329 Sennott Square
CS 1571 Intro to AI
M. Hauskrecht
Administration announcements
Midterm:
Thursday, October 31, 2013
In-class
Closed book
CS 1571 Intro to AI
M
CS 1571 Introduction to AI
Lecture 9
Methods for finding optimal
configurations
Milos Hauskrecht
milos@cs.pitt.edu
5329 Sennott Square
CS 1571 Intro to AI
M. Hauskrecht
Announcements
Homework assignment 3 is out
Due on Thursday next week !
Programming