Back to the 2024 paper

Module 2: Knowledge Representation and Reasoning

20247m

Explain resolution in First-Order Logic (FOL). Using a simple knowledge base (e.g., "All humans are mortal, Socrates is a human"), derive a conclusion using resolution refutation.

Similar questions