30 likes | 160 Views
Quiz Nov 21 2005. Logic. Consider the following Knowledge Base : 1) Use forward chaining to prove KB = F 2) Bring the knowledge base in conjunctive normal form. You may use: 3) Is the KB in Horn form? (explain your answer) 4) Proof by resolution that KB = D.
E N D
Quiz Nov 21 2005 Logic
Consider the following Knowledge Base: 1) Use forward chaining to prove KB = F 2) Bring the knowledge base in conjunctive normal form. You may use: 3) Is the KB in Horn form? (explain your answer) 4) Proof by resolution that KB = D
Consider the following Knowledge Base: 1) Use forward chaining to prove KB = F A and B and C and (A and B and C) D implies D. D and C and (D and C) E implies E E and EF implies F 2) Bring the knowledge base in conjunctive normal form. 3) Is the KB in Horn form? (explain your answer) Yes, all clauses have at most 1 positive literal. 4) Proof by resolution that KB = D Proof that KB and not D is unsatisfiable Repeatedly remove literals from clauses: A and (not A and not B and not C and D) implies (not B and not C and D) B and (not B and not C and D) implies (not C and D) C and (not C and D) implies D D and (not D) unsatisfiable