LOGIC-2 Chapter 2

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