You have to do all the assignment need its lisp programming and prolog also, the question 2 do it from Microsoft word please i want perfect assignment also, please no plagiarism and no website its very important to me.

This is what the Doctor example to Question 2 please see it and do it like this .also, i attached what he need .

A resolution refutation solution to the "Is West a criminal?" problem can be found in the file ‘Solution to NONO problem by resolution.doc', which can be found in the Lecture Notes section of the LMS. The solution is presented in tree form. If you have not yet attempted the problem, then I recommend that you attempt it on your own before viewing the solution.

For Assignment 2 Question 2, you may present your proof in either tree or sequence form. All of the proofs shown in the lecture slides have been in tree form. An example of how to set a proof out in sequence form can be found in the file'fid.doc', which can be found in the Lecture Notes section of the LMS. You will probably find it easier to format your solution in sequence form; but remember, you must clearly indicate at each step which clauses are being resolved, and under which substitutions they are being resolved

Express given knowledge in Clausal form

1. ¬dog(X) ∨ animal(X)

2. dog(fido)

3. ¬animal(Y) ∨die(Y)

Add the negation of what we wish to prove

4. ¬die(fido)          

Resolving 1 and 3 under {Y/X}

5. ¬dog(Y) ∨ die(Y)

Resolving 2 and 5 under {fido/Y}

6. die(fido)

Resolving 4 and 6

CONTRADICTION!

Since we have produced a contradiction, it follows that  die(fido) must be true.

Attachment:- Assignment.rar