CS323: Common Sense
Reasoning in Logic
Welcome to the CS323 course web page! Information about the class, syllabus, homework, etc. can be found here.
|Table of Contents|
|General Course Information|
|Course:||CS323: Common Sense Reasoning in Logic|
Professor John McCarthy|
Office: Gates 208
Office Hours: By appointment.
Office: Gates 218
Office Hours: Thursdays, 2:30pm to 4:30pm, Room 218. (Right after class; we might be in the lounge area outside my office).
Office: Gates 205
|When:||Tuesdays and Thursdays, 1:15pm to 2:30pm|
|Where:||Gates 498. (New location!)|
|Email List:||All students should be on firstname.lastname@example.org. To get on/off this list, email email@example.com. (People who came to the first and second meetings are already on it.)|
|Thurs. Sep. 23||1. Syllabus html, ps|
|Tues Sep. 28|| 2. Programs with Common Sense, |
3. Some Philosophical Problems from the Standpoint of Artificial Intelligence (in class we only handed out the first 37 pages which are mainly John's contribution),
4. Formalizing Common Sense Knowledge: an Introduction (Vladimir Lifschitz's Notes).
|Thurs Sep. 30||5. Philosophical and Scientific Presuppositions of Logical AI (available at: http://www-formal.stanford.edu/jmc/phil2.html. The most recent version was handed out in class.)|
|Tues Oct. 5|| 6. Circumscription--A Form of Non-Monotonic Reasoning |
7. Applications of Circumscription to Formalizing Common Sense Knowledge.
Lecture Notes for Today on Circumscription. ps, pdf
|Thurs Oct. 7||8. Situation Calculus. (From John's book, in progress.) Handed out in class. Extra copies are available in front of Gates 218.|
|Tues Oct. 12||9. Problem Set #1. Due October 26!|
|Thurs Oct. 14||10. Frames for CS323. Handed out in class. Copies available from staff.|
|Tues Oct. 19||11. Approximate Objects. Handed out in class.|
|Thurs Oct. 21||12. First Order Theories of Individual Concepts and Propositions First 17 pages handed out in class.|
|Tues Oct. 26||More on Concepts and Propositions from Handout #12.|
|Thurs Oct. 28|| 13. Elaboration
Tolerance (McCarthy) |
14. Missionaries and Cannibals in the Causal Calculator(Lifschitz)
|Tues Nov. 2||None.|
|Thurs Nov. 4|| 15. Problem Set #2 Due November. 18!
Handouts from Lecture on Otter, PVS, and Cyc.
|Tues Nov. 9|| 16. Problem Set #1
17. "What are the limitations of Situation Calculus?" Handed out in class for ps#2.
|Thurs Nov. 11||18. Notes on Formalizing Context|
|Tues Nov. 16||None.|
|Thurs Nov. 18||None.|
|Tues Nov. 23||19. Formalization of Two Puzzles Involving Knowledge|
|Thurs Nov. 25||No classes -- Thanksgiving|
|Tues Nov. 30|| 20. "Blocks World with Compound Objects", Stefan
21. "A Simple Example of Common Sense Reasoning", Aarati Parmar
|Thurs Dec. 2||22. Problem Set #2 Solutions|
We will play around with theorem provers like Otter, a proof verification system like PVS and a system for reasoning in causal logic like the Causal Calculator. More information to be handed out later.
The readings are already listed but here are some other good things to look at.
If you really want to be a hard-core Logical AI person, check these links out: