Notes 7: Knowledge Representation, The Propositional Calculus ICS 270A Winter 2003 ICS-270A: Notes 7: * Outline Representing knowledge using logic Agent that reason logically…