Differentiate forward chaining with backward chaining. Convert following statements into FOPL and use resolution algorithm to check if “John is…
BIT Artificial Intelligence · 2083 · Solved Question with Answer
Differentiate forward chaining with backward chaining. Convert following statements into FOPL and use resolution algorithm to check if “John is talent” can be inferred.
All students are talent.
There is a student who is smart but not talent.
All students enrolled in IT course are programmer.
John is a student.
John is enrolled in IT course