CS 4-5260
Using Search to solve Problems
Lecture 4 (09/06/2016)
Gautam Biswas
Topics
Project 1 (Search algorithms applied to Pacman) in progress
Review: Informed search strategies
Optimality of A* (ad
First-Order Logic (FOL)
Propositional to First-Order Logic
All men are mortal
Socrates is a man
Plato is a man
Caesar is a man
Brutus is a man
Socrates is mortal
Plato is mortal
Caesar is mortal
Brutu
CS 4-560: Artificial Intelligence
Lecture 19: DBNs + Simple Decision Making
Gautam Biswas
Fall 2016
Outline of Lecture
Probabilistic Reasoning over Time (Ch 15 Russell
and Norvig)
Kalman Filters (quic
CS 4-5260
First Order Logic
Lecture 8 (09/20/2016)
Gautam Biswas
Topics
Brief Review of Propositional Logic
First Order Logic
Syntax
Semantics
Quantifiers
Complex Sentences
Assertions and Queries
CS 4-5260
Nonlinear Planning + Planning with Graphs
Lecture 12 (10/11/2016)
Gautam Biswas
Topics
Review: Linear Planning: STRIPS
Problems with STRIPS Sussman Anomaly
From Total Order to Least Commitme
CS 4-560: Artificial Intelligence
Lecture 18: Probabilistic Reasoning
over Time
Gautam Biswas
Fall 2016
Outline of Lecture
Probabilistic Reasoning over Time (Ch 15 Russell
and Norvig)
11/10/2016
Trans
Agents that reason logically
What is a knowledge-based agent?
! How have the agents evolved?
! What is a Knowledge base (KB)?
!
Reactive agents
" Implemented as production rules
!
Goal-based agents
"
Decision Theory
Quiz 9
1. True or False: Maximizing expected utility using an
influence diagram (decision network) takes
polynomial time
2. Suppose distribution p stochastically dominates p.
a)
b)
c)
(Classical) Planning
What is planning?
State Space Search: (Problem solving
agent) a
Initial
State
n
si
a1
sj
a2
Goal
State
States
Initial State
Goal State
Actions
Every search problem looks like this
Planning in the Real World
Planning in the Real World
What important features is the planning problem
studied thus far missing?
Time (how long do actions take? When should we schedule
them?)
Resour
Inference in First-Order
Logic
POP QUIZ (Open Book)
1. True or False: In first-order logic (FOL), a
function must always return an object
2. The FOL expression for the enemy of my
enemy is my friend i
Informed Search
Include specific knowledge to
efficiently conduct the search and
find the solution.
Informed Search Methods
Recall uniform cost search: search in order of
path cost
General Strategy: s
Constraint Satisfaction
Problems
A collection of
variables
A set of constraints
on variable values
Problem: find an
assignment of values
to variables that
does not violate
constraints
State = assignme
Uninformed Search
Solving Problems by
Searching
How do you formulate a problem?
Given a problem formulation, how
do you solve it?
Formulating Problems
Goal: what are you trying to accomplish?
Goal tes
CS 4-5260
Inference in FOL
Lecture 9 (09/22/2016)
Kate Brady
Gautam Biswas
Topics
Brief Review of FOL
Complex Sentences
Assertions and Queries
Using FOL
Inference in FOL (Chapter 9)
Unification and
CS206 Artificial Intelligence
LISP Programming Notes
Gautam Biswas
A quick primer on Lisp environments
Gnu Common Lisp (CLISP), like any other version of Common Lisp is an interactive environment. The
What is an Agent?
Humans?
Cars?
Cats?
Computer?
Web bot?
A mobile robot?
Our definition
An agent is anything that can be
viewed as perceiving its environment
through sensors and acting upon that
envir
Home Work 1: (Problem Set).
Due: Thurs., Sept. 4, 2008 at the beginning of class.
General Instructions:
If anything is ambiguous or unclear.
1. Discuss possible interpretations with other students, yo
10/14/2014
AI Project Assignment
Artificial Intelligence
Fall 2008 Project Details
The first project will be to implement the game Othello with the search capability of your choice,
based upon the sea
Home Work 2: (Problem Set).
Due: Thurs., Sept. 25, 2008 at the beginning of class.
General Instructions:
If anything is ambiguous or unclear.
1. Discuss possible interpretations with other students, y