CS479/579 - Non-Monotonic Reasoning

 

Course Content

This course is about different non-monotonic formalisms. We will also discuss some applications of non-monotonic reasoning.

Prerequisites

It is assumed that you have attended AI1 or an equivalent class. For example, you should know about first order logic propositional logic, inference rules, deduction, etc.

Books

The class does not have a textbook. Reading materials will be posted on the class web-site or will be distributed in class. It is expected that you will read the papers assigned in the class.

Assignments

There will be assignments during the course. Due date will be announced at the time the assignments are given. 

Grade

Computed based on the standard scale of 100 points. The components of the final grade will be distributed as follows:
90% up A
80% - 89% B
70%v-79% C
< 70% D
with the following distribution: in class participation and attendance 10 points, (total) written homework, quizzes 50 points,  and term paper 40 points. Late submission will not be graded. No made-up quiz/homework will be provided.

Class Policy

Students are strongly encouraged to attend class since material covered in class and not present in the textbook will be used in the tests and homeworks. Withdrawing must be done on time, in accordance with the university calendar.

The grade of I (incomplete) may be given only if you are unable to complete the course due to documented circumstances beyond your control that develop after the last day to withdraw from the course. Appropriate circumstances include illness and death or crisis in your immediate family. Consult the university catalog for regulations regarding the I grade. In no case will an I grade be assigned to avoid a grade of D or F in the course.

If you elect to be graded under the S/U option, you must declare your intention when registering for the course. All work in the class will be graded in a manner identical to that for students choosing the letter grade option. At the end of the semester, your final letter grade in the course will be used to assign either a S or an U. You must achieve a minimum grade of C in order to receive a grade of S.

It is expected that students follow the code of conduct stated in the University Student Handbook. Any violations of the code will result in a grade of F for the course, in addition to any further sanctions imposed by the university. Unless explicitly stated by the instructor, you are assumed to perform the assigned work by yourself, without any external collaboration. Note that a person copying an assignment is guilty of a violation of academic conduct, as is the person from whom the assignment was copied.

If you have or believe you have a disability and would benefit from accommodations, you may wish to self-identify. You can do so by providing documentation to the Office for Services for Students with Disabilities (SSD), located at Garcia Annex Room 102 (phone: 646-6840, TTY 646-1918). If you are already registered with the SSD Office and need accommodations please provide your "Accommodations Memo" from the SSD Office within the first two weeks of class. If you have a condition which may affect your ability to exit safely from the premises in an emergency or which may cause an emergency during class, you are encouraged to discuss this in confidence with the instructor and/or the Coordinator for SSD. Feel free to call Ms. Elva G. Telles, EEO/ADA, Employee Relations Director at 646-3333 with any questions about the Americans with Disabilities Act (ADA) and/or Section 504 of the Rehabilitation Act of 1973. All medical information will be held in strict confidence.


Spring 2006