First-order Logic (a) (14 points) Translate the following sentences in first-order logic. i. ML, MDP and HMM are covered

[answerhappygod]

First Order Logic A 14 Points Translate The Following Sentences In First Order Logic I Ml Mdp And Hmm Are Covered 1 (47.16 KiB) Viewed 34 times

First-order Logic (a) (14 points) Translate the following sentences in first-order logic. i. ML, MDP and HMM are covered in AI ii. Some AI students do not understand ML iii. All AI students who understand ML also understand HMM iv. There is an AI student who understand all the topics v. No AI topic is understood by all AI students vi. Every Al student understand some AI topics vii. Every AI student understand ML or MDP (b) (4 points) Using the last formula above, prove formally that there exists some AI student who understand MDP? Hint: You need to re-write the formula and use unification with resolution inference rule. (e) (2 points) What is completeness of an inference rule. Using an example, show whether modes ponens inference rule for first-order logic is complete.