Grading

There will be two exams, and a final project, weighted, respectively, as follows: 20%, 30%, 50%. The final project will be on a topic of your choosing (but cleared by me), and can be done in groups as large as three. As part of the project, students must do a presentation to the entire class. Some possible projects include:

• an educational game to aid in the teaching of reasoning, but possibly with mass-market appeal
• an expert system for advising a student interested in selected a college to attend
• a report on and tutorial for another theorem prover (e.g., OSCAR, SNePSLOG -- others to be cited and described)
• use of LP and/or ATP for real-time control (e.g., of a robot)