CS161 Final Questions and Answers | New One | Grade A+

What is a skolem constant? Ans: Used to remove existential quantifier from FOL to transform to propositional logic. C1. What is a definite clause? Give an example Ans: A clause with exactly one positive literal. Example: - NOT A or NOTB or C - C What is a Horn Clause? Is it CNF or DNF? Ans: Clause with at most 1 positive literal. Example: - NOT A or NOT B or C - NOT A or NOT B or NOT C CNF Which tree search strategy do we use for Backward Chaining to solve first order logic? Ans: Depth first search for linear space What is a characteristic of a well formed formula? Ans: An expression has no free variables (variables with no quantifier) What is monotonicity? Ans: If delta |= alpha then delta and beta |= alpha Given the following causal structure of Baysian network, predict what will happen if A happens. E - A and B - A but no E - B. Ans: If A happens, the probability of E and B increases. What's the difference between Bayes Conditioning and Bayes Rule/Theorem? Ans: Bayes Rule/Theorem shows the relationship between the Probability of cause from effect and the Probability of effect from cause. When is a dataset complete? Ans: When all examples have values known for every variable