1 / 43

LOGIC-2 Chapter 2

LOGIC-2 Chapter 2. Paul Thagard (2005). Mind: An Introduction to Cognitive Science. 2 nd Edition. MIT Press. Propositional Logic. (Russel and Norvig). TRUTH TABLES. Negation. Disjunction. Conjunction. TRUTH TABLES. Conditional. Biconditional. Summary so far.

katen
Download Presentation

LOGIC-2 Chapter 2

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. LOGIC-2Chapter 2 Paul Thagard (2005). Mind: An Introduction to Cognitive Science. 2nd Edition. MIT Press FCAC, University of Hyderabad

  2. Propositional Logic FCAC, University of Hyderabad

  3. FCAC, University of Hyderabad

  4. FCAC, University of Hyderabad

  5. FCAC, University of Hyderabad

  6. FCAC, University of Hyderabad

  7. FCAC, University of Hyderabad

  8. FCAC, University of Hyderabad

  9. FCAC, University of Hyderabad

  10. FCAC, University of Hyderabad

  11. FCAC, University of Hyderabad

  12. FCAC, University of Hyderabad

  13. (Russel and Norvig) FCAC, University of Hyderabad

  14. TRUTH TABLES Negation Disjunction Conjunction FCAC, University of Hyderabad

  15. TRUTH TABLES Conditional Biconditional FCAC, University of Hyderabad

  16. FCAC, University of Hyderabad

  17. FCAC, University of Hyderabad

  18. FCAC, University of Hyderabad

  19. FCAC, University of Hyderabad

  20. FCAC, University of Hyderabad

  21. FCAC, University of Hyderabad

  22. Summary so far • We looked at logical connectives and wffs • Formalising English to Propositional Logic • Truth tables • We get entailed theorems when our inference rules are sound • We get every entailed theorem that exists when our inference rules are complete FCAC, University of Hyderabad

  23. Inference Rules FCAC, University of Hyderabad

  24. FCAC, University of Hyderabad

  25. FCAC, University of Hyderabad

  26. FCAC, University of Hyderabad

  27. FCAC, University of Hyderabad

  28. FCAC, University of Hyderabad

  29. Some more rules are there, you can see in any Logic Text Book. FCAC, University of Hyderabad

  30. FCAC, University of Hyderabad

  31. First Order Predicate Logic (FOPL) FCAC, University of Hyderabad

  32. FCAC, University of Hyderabad

  33. FCAC, University of Hyderabad

  34. FCAC, University of Hyderabad

  35. FCAC, University of Hyderabad

  36. FCAC, University of Hyderabad

  37. FUNCTIONS FCAC, University of Hyderabad

  38. (more of a computer science term) FCAC, University of Hyderabad

  39. FCAC, University of Hyderabad

  40. FCAC, University of Hyderabad

  41. FCAC, University of Hyderabad

  42. References • Paul Thagard (2005). Mind: An Introduction to Cognitive Science. 2nd Edition. MIT Press. • Slides from Susse, Dept of Philosophy, Michigan State University. • Slides from Logic in AI course: D.D. Peters, Computer Science, Birmingham Univ, UK • AIMA slides from Russel and Norvig FCAC, University of Hyderabad

  43. Next Class: Logic Continued • Evaluation of Logic as a Representation scheme • Representational power • Computational power • Problem Solving: Planning, Decision, Explanation • Learning • Language • Psychological Plausibility • Neurological Plausibility • Practical Applicability FCAC, University of Hyderabad

More Related