Knowledge Base:
Fido is a dog.
Rules:
All dogs are animals.
All animals drink water.
Goal: Fido drinks water.
A. Convert these sentences to First-Order Logic. (Remember to define all predicates,functions, and constants.)
B. Put the resulting sentences into Conjunctive Normal Form.
C. Using proof by resolution as the single inference rule, show the resolution proof that proves or disproves the goal (show any unifications required).
3.Using First Order Logic, write axioms describing the predicates GreatGrandmother,Cousin. Use only the predicates Mother(x) and Father (x) in your definitions.