CS 630/730 - Artificial Intelligence I/II - Fall 2005
Syllabus and Course Summary

last modified August 23, 2005

Instructor: Dr. Harry S. Delugach
Email:
WWW: http://www.cs.uah.edu/~delugach
Phone: (256) 824-6614

Instructor: Dr. Daniel Rochowiak
Email: drochowi@cs.uah.edu
Phone: (256) 824-6214 or -6844

Class Meets: Mon. Wed. 5:30 - 6:50 P.M.
Location: Technology Hall TH N-306
Office Hrs:
    1:30 - 3:30 P.M. Mon. Wed (Delugach)

Office Location: TH N-351 (Delugach)
Office Location: TH N-340 (Rochowiak)

Texts:
Logic in Computer Science: modelling and reasoning about systems, by Michael Huth and Mark Ryan; 427 pages (2nd edition). Cambridge University Press, 2004.

Building Knowledge-Based Systems With Conceptual Graphs, by Harry Delugach (draft, in electronic form)

Class Web Page: http://www.cs.uah.edu/~delugach/Courses/CS630
Grading
Survey Paper
25 %
Final Exam
35 %
Problems
40 %

    The following grading scale will be used in this course (final averages are rounded to the nearest whole number):

A+ 95; A 92; A- 90; B+ 88; B 85; B- 80; C+ 78; C 75; C- 70; D 65
The plus/minus grading system will be used in this course and such grades will appear on your transcript. In accordance with University policy, however, they will not affect your grade point average (GPA).

General Policies

Please read the general guidelines and policies that apply to this course. They are a part of this syllabus.

Course Objectives

  • To learn and appreciate the role of reasoning and knowledge representation in developing solutions to problems in artificial intelligence.
  • To understand the philosophical foundations of problem-solving methods in artificial intelligence.
  • To compare and evaluate different approaches to intelligent systems architecture and development.

Conduct of the Course

This course is team taught by both Dr. Delugach and Dr. Rochowiak. We intend to conduct the course as a graduate level seminar, with some presentations made by students themselves. We require preparation and participation on the part of all students. While attendance is not mandatory, it should be clear that the greatest benefits of the course will accrue from the exchange of ideas during class discussion sessions.

Students enrolled in CS 730 will be expected to make public at least one of their solutions to the three problems in the second half of the course.

A major portion of everyone's grade will be the development and submission of an individual project. A list of possible projects will be provided during the first two weeks of class.

Course Schedule

NOTE: Readings are to be done before the class at which they will be discussed.

This schedule is still being constructed.

DATE
TOPIC
 READING ASSIGNMENTS
Wed Aug 24 Administrivia    
Mon Aug 29 Modeling and its Limitations    
Wed Aug 31 Logic and its Limitations    
Mon Sep 05
NO CLASS (Labor Day)
   
Wed Sep 07 Modeling vs. Logic   1-page position paper
Mon Sep 12 Tools for Artificial Intelligence    
Wed Sep 14 Logic in Artificial Intelligence    
Mon Sep 19 Conceptual Graphs    
Wed Sep 21 Conceptual Graphs    
Mon Sep 26 Automated Deduction and Proof    
Wed Sep 28 Automated Deduction and Proof   1 page proposal due
Mon Oct 03 Review of proposals and project assignments    
Wed Oct 05 More Tools in Artificial Intelligence    
Mon Oct 10 Knowledge Modeling    
Wed Oct 12 Knowledge Modeling   Survey papers due
Mon Oct 17 Ontologies    
Wed Oct 19 Ontologies    
Mon Oct 24 Inference Systems   Problem One due
Wed Oct 26 Presentations of Problem One solution    
Mon Oct 31 Inference Systems    
Wed Nov 02 Temporal Reasoning    
Mon Nov 07 Possible Worlds   Problem Two due
Wed Nov 09 Presentations of Problem Two solution    
Mon Nov 14 TBA    
Wed Nov 16 TBA    
Mon Nov 21 TBA   Problem Three due
Wed Nov 23
NO CLASS (Thanksgiving break)
   
Mon Nov 28 Presentations of Problem Three solution    
Wed Nov 30 Project Presentations `  
Mon Dec 05 Project Presentations    
Wed Dec 07 Course Review and Wrap-up   Projects due
Mon Dec 12
Final Examination - 3:00 - 5:30 PM