Project #12204 - predicate calculus

(1) Trace, by generating the search tree, the unification algorithm on the following expression pairs. Show all substitutions if the algorithm succeeds, otherwise show exactly where it fails. 
a) p(X, kevin, X, will) and p(fred, Y, kevin, Z)
b) ancestor(X,Y) and ancestor(bill, father(bill))
c) q(X) and ¬q(a)


(2) Jane Doe has four dependents, a steady income of $30,000 and $15,000 in her savings account. Ad the appropriate predicates describing her situation to the general investment advisor of the example from class. Perform unifications and inferences to determine her suggested investment. 

(3) Write a set of logical predicates that will perform simple automobile diagnostics (e.g., if the engine wont turn over and the lights wont come on, then the batter is bad). Dont try to be too elaborate, but cover the cases of bad battery, out of gas, bad spark plugs, and a bad starter motor.

 

see attached for #2 example

Subject Computer
Due By (Pacific Time) 09/15/2013 12:00 am
Report DMCA
TutorRating
pallavi

Chat Now!

out of 1971 reviews
More..
amosmm

Chat Now!

out of 766 reviews
More..
PhyzKyd

Chat Now!

out of 1164 reviews
More..
rajdeep77

Chat Now!

out of 721 reviews
More..
sctys

Chat Now!

out of 1600 reviews
More..
sharadgreen

Chat Now!

out of 770 reviews
More..
topnotcher

Chat Now!

out of 766 reviews
More..
XXXIAO

Chat Now!

out of 680 reviews
More..
All Rights Reserved. Copyright by AceMyHW.com - Copyright Policy