Consider the following axioms:

All people who are graduating are happy.

All happy people smile.

Someone is graduating.

Explain the following:-

1) Represent these axioms in first order predicate logic.

2) Convert each formula to clause form.

3) Prove that ‘’Is someone smiling?’’ using resolution technique. Draw the resolution tree.

1. Represent these axioms in first order predicate logic.

   Object Constant: x = people

   Predicates: G(x) = People Graduating, H(x) = Happy People, S(x) = Smiling People

   FOPL: $\forall x G(x) \forall H(x) \\ \forall x H(x) \forall S(x) \\ \exists x G(x) OR \forall x G(f(x)) ≈ G(y)$

2. Convert each …