Knowledge Representation and Logic

• Knowledge
• Working Memory for a Rule-Based System
• Rules
• Logic
• Predicates and Variables
• Connectives
• Prolog
• How Good are KR Formalisms
• Boolean Logic and Monotonicity
• Logic Tables
• Sentences
• Conclusion