---

CS323: Common Sense Reasoning in Logic Fall 2000

---

Welcome to the CS323 course web page! Information about the class, syllabus, homework, etc. can be found here.

Table of Contents

• General Course Information
• Syllabus
• Readings
• Handouts
• Homework
• Additional Readings
• Related Resources
• Student List

Course:	CS323: Common Sense Reasoning in Logic
Instructor:	Professor John McCarthy Email: jmc@cs.stanford.edu Office: Gates 208 Office Hours: Mondays, 2-4pm.
TA:	Aarati Parmar Email: aarati@cs.stanford.edu Office: Gates 218 Office Hours: Wednesdays, 12:30-2:30pm.
When:	Tuesdays and Thursdays, 1:15pm to 2:30pm
Where:	Gates B12.
Email List:	People who come to the first meetings will be added to cs323@cs.stanford.edu. To get on/off this list, email aarati@cs.stanford.edu.
Textbook/Readings:	Handouts of John's papers will be available in class and from this page. We will also examine the first half of Murray Shanahan's book, "Solving the Frame Problem." The book can be found at: Amazon ($55) VarsityBooks.com ($45.79) Barnes and Noble ($55) Borders ($55) Stanford Bookstore ($45)

Top

Readings

A TENTATIVE list of the readings, can be found in the bibliography to last year's syllabus. Here are some more readings that are not in the syllabus:

1. What is AI?. John McCarthy, 1997.
2. Concepts of Logical AI. John McCarthy, 1996.

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.

Top

Additional Readings

The readings are already listed but here are some other good things to look at.

• Tom Costello, a member of our research group, taught the course in 1998. The flavor of that course was different, but still good. Check out his outline (with links to some very good summarizations of the material.)
• A really excellent resource are John's Lecture Notes from previous years. (He follows them pretty closely year to year.) Watch out though, they are 103 pages! normal postscript, "2 pages on 1 page version" postscript
• (9/22/00) Here is the 1996 version of CS323.
• (9/27/99) Here is John's webpage of the course from Fall 1997: Formalizing Common Sense - Nonmonotonic Reasoning
• (9/27/99) Here is the Fall 1998 version of CS323: Nonmonotonic Common Sense Reasoning
• (9/19/00) Here is the webpage for CS323 for Fall 1999.

• Broad Area Colloquium on AI, Geometry, Graphics, Robotics, and Vision
• Formal Reasoning Group (This is John's Research Group.)
• Virtual Worldwide Seminar on Logical AI
• Knowledge on the Web Seminar (KnOWS)