University of Pittsburgh CS 2740 Knowledge Representation Professor Milos Hauskrecht
Handout 2 September 10, 2008
Problem assignment 1
Due: Wednesday, September 17, 2008
Lisp
The goal of this assignment is to practice your lisp programming skills on two s
CS 2740 Knowledge Representation Lecture 4
Propositional logic
Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square
CS 2740 Knowledge Representation
M. Hauskrecht
Administration
Homework assignment 1 is out Due next week on Wednesday, September 17 Prob
University of Pittsburgh CS 2740 Knowledge Representation Professor Milos Hauskrecht
Handout 15 December 5, 2008
Problem set 6 solutions
Uncertainty
Problem 1 Let A,B,C be random variables. A and B have two possible values T,F and C has three values: high
University of Pittsburgh CS 2740 Knowledge Representation Professor Milos Hauskrecht
Handout 9 October 15, 2008
Solutions to problem set 4 Problem 1. Unication
See example solution on the course web site.
Problem 2. Inference in FOL
Let L be a rst-order l
University of Pittsburgh CS 2740 Knowledge Representation Professor Milos Hauskrecht
Handout 14 December 5, 2008
Problem set 5 solutions
STRIPS Planning
Problem 1 Consider a simple blocks world problem:
C B A C Initial state D Goal state B A D
We use pred
University of Pittsburgh CS 2740 Knowledge Representation Professor Milos Hauskrecht
Handout 16 December 5, 2008
Problem set 7 solutions
Uncertainty.
Problem 1. Bayesian Belief Networks.
Assume the Bayesian belief network for the diagnosis of cars electir
University of Pittsburgh CS 2740 Knowledge Representation Professor Milos Hauskrecht
Handout 5 October 1, 2008
Problem assignment 4
Due: Wednesday, October 8, 2008
Unication
The unication process in FOL aims to nd the most general substitution that makes
University of Pittsburgh CS 2740 Knowledge Representation Professor Milos Hauskrecht
Handout 8 October 8, 2008
Solutions to problem set 3 Problem 1. Inference with propositional rules.
Assume a simplied animal identication problem due to P. Winston. The k
University of Pittsburgh CS 2740 Knowledge Representation Professor Milos Hauskrecht
Handout 17 December 5, 2008
Problem set 8 solutions
Uncertainty.
Problem 1. Monte Carlo sampling
Assume the Bayesian belief network for the diagnosis of car's electrical
University of Pittsburgh CS 2740 Knowledge Representation Professor Milos Hauskrecht
Handout 6 October 8, 2008
Solutions to problem set 1 Problem 1
Thank you.
Problem 2 and 3
Please see solutions on the course web page.
Problem 4. Translation
Translate th
University of Pittsburgh CS 2740 Knowledge Representation Professor Milos Hauskrecht
Handout 7 October 8, 2008
Solutions to problem set 2 Problem 1. Equivalences
Determine whether the two expressions are logically equivalent, that is, for each interpretat
University of Pittsburgh CS 2740 Knowledge Representation Professor Milos Hauskrecht
Handout 3 September 17, 2008
Problem assignment 2
Due: Wednesday, September 24, 2000
Propositional logic
Problem 1
Determine whether the two expressions are logically equ
University of Pittsburgh CS 2740 Knowledge Representation Professor Milos Hauskrecht
Handout 4 September 24, 2008
Problem assignment 3
Due: Wednesday, October 1 2008
Problem 1. Inference with propositional rules.
Assume a simplied animal identication prob
University of Pittsburgh CS 2740 Knowledge Representation Professor Milos Hauskrecht
Handout 12 November 6, 2008
Problem assignment 6
Due: Wednesday, November 12, 2008
Probability theory
Problem 1
Let A,B,C be random variables. A and B have two possible v
University of Pittsburgh CS 2740 Knowledge Representation Professor Milos Hauskrecht
Handout 12 October 22, 2008
Problem assignment 5
Due: Wednesday, October 29, 2008
Planning
Problem 1
Consider a simple blocks world problem:
C B A C Initial state D Goal