Conclusion

• There are different ways to represent knowledge.
• WM in Rule-Based systems is one way to represent declarative knowledge
• Rules are one way to represent procedural knowledge
• Logic is similar to ESs
• Logic has predicates.
• Instantiated predicates have truth values
• Logic Tables can be found here.
• Read 8.1.1 and 8.1.2 for Logic. It'll be on the exam. Universal and Existential Quantifiers won't be on the exam.