COMPSCI 171 Quiz: 2011-sq-cs-171-quiz-4
Document Summary
Quiz#4 spring quarter, 2011 20 minutes. From right: (20 pts total, 2 pts each) probability concepts and formulae. For each of the following items on the left, write in the letter corresponding to the best answer or the correct definition on the right. Probability theory: (30 pts total, 5 pts each) unifiers and unification. Write the most general unifier (or mgu) of the two terms given, or none if no unification is possible. Write your answer in the form of a substitution as given in your book, e. g. , {x / john, y / mary, z / bill}. Unify( knows( john, x ), knows( john, jane ) ) { x / jane } Unify( knows( john, x ), knows( y, jane ) ) Unify( knows( y, x ), knows( john, jane ) ) Unify( knows( john, x ), knows( y, father (y) ) ) Unify( knows( john, f(x) ), knows( y, f(f(z)) ) )