CSC384 Midterm review
Sheila McIlraith
Winter 2016
General Information
All information is on CSC384 web page
Test & Exam link on the left
Midterm:
Alternate Day:
Tuesday, March 8, 5 pm EX 100
Monday March 7, 6 pm HA 403
Extra Office Hours:
Monday, 2-3pm,

Proof Examples
November 14, 2016
Consider the following sentences:
xyz[(R(x, z) R(y, z) R(x, y)]
(1)
x R(x, x)
(2)
xy[R(x, y) R(y, x)]
(3)
1. Show semantically (i.e., using interpretations) that cfw_(1), (2) |= (3).
Proof. We need to show that for any int

Why reasoning?
Want knowledge to affect action
not do action A if sentence P is in KB
but do action A if world believed in satisfies P
Difference:
P may not be explicitly represented
Need to apply what is known in general to the particulars of
the sit

CSC384 Midterm Sample Questions
Fall 2016
1
Search
Short Answer
1. It would seem that iterative deepening search should have a higher asymptotic time complexity
than breadth-first search because every time the depth-bound is increased it must start its
se

More Proof Examples
1. Apples are fruits.
2. Fruits are food.
3. If apple1 is a fruit then apple1 is a food.
x[A PPLE(x) F RUIT(x)]
(1)
y[F RUIT(y) F OOD(y)]
(2)
A PPLE(APPLE1 ) F OOD(APPLE1 )
(3)
1. Show semantically that cfw_1, 2 |= 3.
Proof. Let = = hD