Back to the 2019 paper

Module 2: Knowledge Representation and Reasoning

20197m

Consider the knowledge-base (KB) for the Blocks World problem from the previous question.

Draw the complete AND-OR proof tree showing all the answers to the query ∃w above(w, B).

Similar questions