Syllabus for

Automated Reasoning

COSC 661

(TTh 5:30-8:15, PH302)

Instructor: Matt Evett
Dept. Computer Science; room 512E Pray-Harrold
Tel: 734-487-1227; e-mail: evett@emunix.emich.edu;
http://www.emunix.emich.edu/~evett/AutomatedReasoning
http://webcaucus.emich.edu (the cosc661_evett caucus).

Office Hours: T 1:00-5:00, Th 4:00-5:30.
You may drop by at times other than office hours, but in that case I cannot guarantee that I'll be able to see you.

Prerequisite: A class in artificial intelligence at the graduate or undergraduate level, e.g: COSC532, is the "official prerequisite", but graduate standing in the department and senior-level programming experience will be sufficient. Please see me, Prof. Moore or Dr. McMillan to have the paper work completed for you to take the course if you don't meet the "official" prerequisites.

Textbook: Russell and Norvig, Artificial Intelligence, a Modern Approach, 2e , Prentice Hall, 2002

Course Summary: Students successfully completing the course will have learned major methodologies and practices concerning automated (simulated) reasoning, and related subareas, including planning, dealing with uncertainty, and learning.  We will pay particular attention to those aspects of the field that are important in data mining, autonomous vehicles, and computer gaming.

  • The course consists of a mix of theory and programming assignments spread throughout the semester.  Programming projects will be completed in Java, C++, or any other language you can convince me is a good choice!

    • Assignments:

    Working with a planner. Due June 3.

    Homework #4. Due June 10.

    Course Calendar:

    This calendar is from the last time the course was taught and has yet to be updated! Due dates for projects are underlined . Exam dates are in bold. Be aware that due dates sometimes slip.  You are responsible for monitoring the course webcaucus for the latest deadlines.  In addition, programming assignments (particularly the later ones) may be altered to accomodate the interests of the class as the semester progresses.
     
    Date Text Projects due
    5/6  Review of Logic, Ch7,8  
    5/8   Ch8  
    5/13 Inference, Ch9
    5/15  Ch 9  
    5/20 Knoweldge Representation  Ch10 Proj #1
    5/22 Planning Ch 11  
    5/29 Uncertainty Ch 13 Midterm Exam
    6/3 Ch 13  
    6/5 Probabilistic Reasoning Ch 14
    6/10 Bayesian Networks Ch 14  Proj #2
    6/12 Probabilisitic Reasoning over Time  Ch 15  
    6/17

    Ch 16 Decision Networks

    		 
    6/19 Readings on reasoning in real world  Project #3
    6/24, 5:30-7:30
    		Final Exam

     

    Grading Policy:

    The final course grade will be a weighted average of the grades received in each of the following categories, as specified: Small projects & homeworks 10%, Programs 40%, Midterm exam 20%, Final exam 30%..
     

    Tardiness Policy: Programming and other homework assignments will be due at the beginning of class. After that, assignments will be accepted through the start of the next scheduled class, but will suffer a full grade penalty. E.g., if a late programming assignment is worthy of an 'A', I will mark it a 'B'. Assignments more than one class late will not be accepted, and will receive a grade of 'F'.

    Attendance Policy: We're all grown-ups, when and whether you attend class is up to you. However, missed assignments, and exams shall only be excused by a doctor's written note, verifying that the student was medically indisposed to attend class that day. The first missed quiz (for any reason) will be treated as the "lowest graded quiz", and therefore dropped from the averaging calculation. Any additional missed quizzes must be excused by a doctor's note.

    Grading of Programs: Grading of programming assignments will reflect three factors, weighted as shown.

    1. (70%) Correctness -- does the program run correctly.
    2. (15%) Style -- does the code adhere to class documentation standards? Is the code indented properly? Are the variable names mneumonic? How well has the student followed the basic formatting characteristics for the language?
    3. (15%) Design -- is the program adequately decomposed (i.e., are the functions and procedures small enough to be comprehensible)? Are the class and structure definitions well chosen? How well has the student taken advantage of the language's capabilities?

    Announcements and the Web Page:

    Students should view the course web page regularly for announcements regarding programming assignments, readings, etc. I update course web pages frequently!

    Cheating policy:

    Students are required to attend to the policy on academic irregularity outlined in the EMU student handbook. In addition, collaboration among students in solving programming and homework assignments is forbidden. If I receive programs or homework assignments that are substantially equivalent, or which are not the original work of the student submitting the material, I will not hesitate to punish all involved parties to the fullest extent, up to and including assignment of a failing grade for the course, and referral to the Office of Judicial Student Services for possible punitive action at the University level, which may include expulsion from the University. In addition, the University and the computer science department maintain policies regarding proper behavior on its computer systems. Failure to adhere to these policies can result in loss of computer privileges, and possible legal action.