CSC266 Artificial Intelligence

Artificial IntelligenceModel question

How resolution algorithm is used as a rule of inference in predicate logic? Convert the following sentences into FOPL. All over smart person's are stupid. Children's of all stupid persons arre…

10

How resolution algorithm is used as a rule of inference in predicate logic? Convert the following sentences into FOPL.

  • All over smart person's are stupid.
  • Children's of all stupid persons arre naughty
  • Roney is children of Harry
  • Harry is over smart

Prove that "Roney is naughty" using resolution algorithm.

A worked answer is on its wayMeanwhile, read the Artificial Intelligence notes for this topic.

Discussion

Loading…

More Artificial Intelligence questions

All Artificial Intelligence old questions