COMPSCI 171 Quiz: 2015-fq-cs-171-quiz-3
Document Summary
Quiz#3 fall quarter, 2015 20 minutes. Your id: (70 pts total, 10 pts each) correspondence of english sentences and fopc (fol) sentences. For each english sentence below, write the letter corresponding to its best or closest fopc (fol) sentence (wff, or well-formed formula). 1. c (10 pts) food is defined to be something that somebody eats. (i. e. , define the predicate food(x) to be true whenever somebody eats x, and false otherwise. ) 1. d (10 pts) every hammer is a tool. 1. e (10 pts) a grandparent x of y is defined to be x is a parent of a parent of y. 1. f (10 pts) everyone in irvine is in southern california. 1. g (10 pts) every dog likes some bone. Quiz continues on the reverse: (30 pts total, 10 pts each) constraint satisfaction problems. You are a map-coloring robot assigned to color this southwest usa map. Adjacent regions must be colored a different color (r=red, b=blue, g=green).
