CS323: Common Sense
Reasoning in Logic
|General Course Information|
|Course:||CS323: Common Sense Reasoning in Logic|
Professor John McCarthy|
Office: Gates 208
Office Hours: Mondays, 2-4pm.
Office: Gates 218
Office Hours: TBA
|When:||Tuesdays and Thursdays, 1:15pm to 2:30pm|
|Email List:||People who come to the first meetings will be added to firstname.lastname@example.org. To get on/off this list, email email@example.com.|
|Course Work:|| We expect students to read the material, and participate in
class discussions. There is no final exam.
There will be at least two homeworks to help students understand the material. The problem sets may be similar to exercises given in previous years, and we trust that students not copy the published answers, following the Honor Code.
|Textbook:||Handouts of John's papers will be available in class and from this page. We will also examine the first 200 pages of Murray Shanahan's book, "Solving the Frame Problem."|
|Resources:||Students registered for the course will receive an additional quota of 10MB disk and 200 sheets of paper!|