Introduction to Cognitive Science - Old Questions

10. What do you mean by inferential adequacy property of knowledge representation system? How resolution can be used to infer conclusions in predicate logic? Mention the steps with an example.