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
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_(
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
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
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.