Conclusion

• Take Home Points
  1. You need to know the basics of FOPL. They may be on the exam.
  2. Logic can help you prove things within a system.
  3. There are other types of logic.
  4. The more complex a logic, the more computationally expensive.
• The basics include True and False, connectives, atoms, variable, functions, quantifiers and derivation.
• Reading: For this lecture read Russell and Norvig Chapter 8 (pp 290 - 319)
• Reading: for next week is Russell and Norvig 461-463 (the Semantic Nets section 5.1 of the Knoweldge Representation Chapter). The Semantic Net wiki is also pretty good.