6.3 Knowledge Representation and Reasoning