CSC384 Midterm review
All information is on CSC384 web page
Test & Exam link on the left
Tuesday, March 8, 5 pm EX 100
Monday March 7, 6 pm HA 403
Extra Office Hours:
November 14, 2016
Consider the following sentences:
xyz[(R(x, z) R(y, z) R(x, y)]
x R(x, x)
xy[R(x, y) R(y, x)]
1. Show semantically (i.e., using interpretations) that cfw_(1), (2) |= (3).
Proof. We need to show that for any int
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
P may not be explicitly represented
Need to apply what is known in general to the particulars of
CSC384 Midterm Sample Questions
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
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)]
y[F RUIT(y) F OOD(y)]
A PPLE(APPLE1 ) F OOD(APPLE1 )
1. Show semantically that cfw_1, 2 |= 3.
Proof. Let = = hD