CS575 - Artificial Intelligence II



Course Content

We will study logic-programming based theories that support the building of autonomous agents that can reason about their actions and effects of the actions, create plans, and execute plans to achieve their goals. Topics cover:

There will be individual programming project and 6-8 written work (time allowed).


Prerequisites

It is expected that students have some prior knowledge of mathematical logic. Some knowledge of discrete mathematics as well (fixed point operator, relations, etc.) could be useful as well. For the programming project and the homeworks, we will use software tools that are capable of computing stable models of logic programs such as smodels or dlv .


Books

No textbook is required but the following books are useful:
Assignments

There will be six to eight assignments during the course. Most assignments will contain a mixture of written problems and programming work. They serve as a means for you to ensure that you understand the material thoroughly, and to prepare for the exams.


Programming Project

You will be asked to create your own significant project from scratch. Select your own application, get approved, and implement it.


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
60%-69% D
< 60% F
with the following distribution:
two midterm (20% each),
final examination (30%),
homework assignments and projects (30%)

Homework has to be typed and submitted through the web interface on the deadline unless otherwise noticed. Late homework will be
deducted 10% (of the total) for each day late. After 4 days, no submission will be accepted. The web interface is at http://www.cs.nmsu.edu/~tson/classes/cs575/Submit.html.


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 2002