LOGIC & AUTOMATED REASONING

1. 
   Another Resolution Example

2. Unification Example (begun in lecture, 8 Apr; concluded in lecture, 10 Apr)
   • dvi
   • ps
   • pdf

3. Further Thoughts on Unification

4. Unification Algorithm

5. Composition of Substitutions

6. Resolution Proof in Natural-Deduction Format

7. Clause-Form Algorithm
   • dvi
   • ps
   • pdf

8. An FOL Natural-Deduction Example
   • dvi
   • ps
   • pdf

9. Some references on translating from English to logic

10. Wang's Algorithm

11. Shapiro, Stuart C. (1994), "Reasoning in Artificial Intelligence: Course Notes for 1st International Summer Institute in Cognitive Science"

12. Rapaport, William J. (1997), "The Logic of the Ternary Sentential Connective `If-Then-Else'"

13. Some more references on logic and AI:

    • Rapaport, William J. (1992), "Logic", in Stuart C. Shapiro (ed.), Encyclopedia of Artificial Intelligence, 2nd edition (New York: John Wiley): 851-853

    • Rapaport, William J. (1992), "Logic, Predicate", in Stuart C. Shapiro (ed.), Encyclopedia of Artificial Intelligence, 2nd edition (New York: John Wiley): 866-873

    • Rapaport, William J. (1992), "Logic, Propositional", in Stuart C. Shapiro (ed.), Encyclopedia of Artificial Intelligence, 2nd edition (New York: John Wiley): 891-897

14. Paradoxes of Material Conditional

15. Another (Propositional-Logic) Natural-Deduction Example

16. Mental Models vs. Rule-Based Inference

17. On the topic of representations not being complete:

    • Smith, Brian Cantwell (1985), "Limits of Correctness in Computers", Technical Report CSLI-85-36 (Stanford, CA: Center for the Study of Language and Information).

      • First published in Charles Dunlop & Rob Kling (eds.), Computerization and Controversy (San Diego: Academic Press, 1991): 632-646.

      • Reprinted in Timothy R. Colburn, James H. Fetzer, & Terry L. Rankin (eds.), Program Verification: Fundamental Issues in Computer Science (Dordrecht, Holland: Kluwer Academic Publishers, 1993): 275-293.

18. Thorndike, Edward L. (1917), "Reading as Reasoning: A Study of Mistakes in Paragraph Reading", The Journal of Educational Psychology 8(6): 323-332.
    • LOCKWOOD Periodical Collection Per LB1051.A2 J6

19. Goedel's Theorem

20. Google search on Peano's Axioms
    • Hayes, Brian (2001), "How to Count", American Scientist 89(2): 110-114.

21. Far Side cartoon on syntax vs. semantics (pdf format)