As detailed as possilbe and try using anologies where possible please.

Thanks!

Let K be a knowledge base containing the rules Kr: A1(x) A A2(x) + A(x) A2(x) ^ A3(x) + B(x) A(x) + C(x) and the atomic assertions Kai A1(a), A2(a), and A1(b). @4) Compute the set Derived Assertions for the knowledge base K. 25. Using your answer to Question 4, decide whether K = B(a) and 1 whether K =C(a). Let K be a knowledge base containing the rules Kr: A1(x) A A2(x) + A(x) A2(x) ^ A3(x) + B(x) A(x) + C(x) and the atomic assertions Kai A1(a), A2(a), and A1(b). @4) Compute the set Derived Assertions for the knowledge base K. 25. Using your answer to Question 4, decide whether K = B(a) and 1 whether K =C(a)