Knowledge Based Systems (CM0377) Lecture 6 (last modified 20th February 2002) Relational clausal logic Propositional clausal logic based on propositions (true or false) How…