Unit 2

Topics

• Knowledge Representation →
• Problems in representing knowledge →
• knowledge representation using propositional and predicate logic →
• comparison of propositional and predicate logic →
• Resolution →
• refutation →
• deduction →
• theorem proving →
• inferencing →
• monotonic and non-monotonic reasoning. →