PLEASE HELP WITH ARTIFICIAL INTELLIGENCE, I'LL DEFINETELY UPVOTE IF YOUR SOLUTION IS CORRECT!!

1. (10pt) Consider the following sentences. a. (( smoke heat ) fire )(( smoke fire ) (heat fire )) i. (2.5 pt) Show the truth table for this sentence ii. (2.5 pt) Is this sentence Valid, Satisfiable, or Neither b. (a1a3)(a1a2)(a1a4)(a1a4)(a3). i. (2.5 pt) Show the truth table for this sentence ii. (2.5 pt) Is this sentence Valid, Satisfiable, or Neither (20 pt) Represent the following sentences in first-order logic, using a consistent vocabulary (which you must define as well). a. (1pt) Define the vocabulary. For example, you might have: i. Buys(X,Y,Z)= Person X buys Item Y from Person Z ii. W> Score (X,Y,Z)=W is larger than score Person X gets in course Y during semester Z iii. Predicates: Person(X), Clever(Y), Politician(Z) It may make more sense to do question a. last. b. (1pt) Every person who buys a policy is clever. c. (1pt) No person buys an expensive policy. d. (1pt) There is a barber who shaves all men in town who do not shave themselves. e. (1pt) A person born in the UK, each of whose parents is a UK citizen or a UK resident, is a UK citizen by birth. f. (1pt) A person born outside the UK, one of whose parents is a UK citizen by birth, is a UK citizen by descent. g. (1pt) Politicians can fool some of the people all of the time, and they can fool all of the people some of the time, but they can't fool all of the people all of the time. h. (1pt) Some students took Russian in spring 2001. i. (1pt) Only one student took German in spring 2001. j. (1pt) The best score in German is always higher than the best score in Russian. 3. (10 pt) Attempt to unify the following pairs of expressions. Either show their most general unifiers, or explain why they will not unify. Use the {a/b} substitution form. Upper case letters are variables, lowercase are constants. Assume all variables are universally instantiated. a. (2pt)p(X,a,Y) and p(Z,Z,b) b. (2 pt) p(X,X) and p(a,b) c. (2pt)p(X,Y,Z) and p(c,d,d) d. (2 pt) ancestor (X, father (X)) and ancestor(david, george) e. (2pt)p(a,X) and p(Y,Z)