Back to the 2019 paper

Module 2: Knowledge Representation and Reasoning

20197m

Consider this knowledge-base (KB) for an instance of the Blocks World problem :

Blocks World

Query : w\exists w above (w,B)(w, B)?

KB for Blocks World problem :

  1. on (A, C)
  2. on (D, B)

Similar questions