Transformed the following well-formed formula to Prenex normal form

(∀x) (Q(x) → (∃x) R (x, y))

Write a recursive program is LISP to find factorial of a number given by the user.

Transform the following into CNF

(i) ~ (C → D) V (C Λ D)

(ii) (P  → (~ Q →R))

Classification of Agents in Artificial Intelligence

Transform the following to DNF:

(i) P → (~ (Q → R))

(ii) ~ (P → Q ) → ~ R

Express the following knowledge as a semantic network structure with Interconnected nodes and labeled arcs. “Ram is Vice President of ABC Company. He is married to Raj and has a male child RajaRam. RajaRam Goes to school. Ram plays golf and owns a silver color German made car Mercedez Benz”

What is “Turing test”? Give a brief outline of the Turing test. What are the limitations of Turing test?