Welcome to CIS 324 Introduction to Artificial Intelligence

 

¯ Tentative Schedule ¯            Class Policies/Guidelines            Course Syllabus           Instructor/Course Information

 

Week

Lecture Topics and Special Days/Events

Suggested Readings

Assignments/Projects/Quizzes

01/09-01/13
  • Introduction and syllabus.
  • Explain course website and course policies.
  • Definitions of artificial intelligence.
  • Demo of simple AI programs in Java.
  • Representation method.
  • States. Operators. State space. State space search.
  • The concept of search.
  • 8-puzzle problem. Knight’s tour problem. Traveling salesman’s problem.

1/9/12 Mon In Person Add/Drop and Late Registration (Late Fee Applies), 9:00 am-4:00 pm, Ikenberry Hall - Consult Advisor. New Students must register in person.

1/13/12 Fri Last Day to Add/Drop via RAIL, through 4:00 pm, or in Ikenberry Hall 9:00 am-4:00 pm - Consult Advisor.

Chapter 22

01/16-01/20

1/16/12 Mon Martin Luther King's Birthday - Holiday - University Closed. 

  • Syntax analysis. Theorem proof. Water jug problem.
  • Depth-first, breadth-first, best-first search.
  • Implementation methods for searches.

Chapter 22 and extra in-class problems.

Homework 1

01/23-01/27

1/23/12 Mon Last Day to Change a Course from Credit to Pass/Fail Status.

Summer research opportunity from Alabama.

  • Tic-tac-toe and heuristic functions. Game of Nim.
  • Related Java features review.
  • Application of abstraction and object-orientation in AI.
  • Current role of Java in AI.
  • Design state representation framework using OOD approach.
  • Program states and the state space using Java.

Search framework and a sample problem.

Chapter 21, 22, and extra in-class problems.

Quiz 1 on Next Wednesday (2/1). State space representation and problem solving.

01/30-02/03

1/30/12 Mon Last Day to Change a Course from Credit to Audit Status.

  • Propositional calculus and predicate calculus. Terms and formulas.
  • Logical negation, conjunction, disjunction, implication, and equivalence.
  • Predicate calculus symbols, syntax, and semantics. Clause normal form.
  • Proof by resolution refutation. Problem solving examples.

Chapter 23, 24

Homework 2

02/06-02/10

2/10/12 Fri Last Day to Withdraw from First Half-Semester Class - See Advisor by Noon.

  • Reasoning and automated reasoning.
  • First-order logic and object-oriented design.
  • Design and implementation of a predicate calculus solver in Java.
  • Introduction to Prolog.

Links to Prolog and Lisp interpreters.

Chapter 2, 23, 24

Homework 3

02/13-02/17

02/20-02/24

2/20/12 Mon First Day of Midterm Exams. 

 

2/24/12 Fri Last Day of Midterm Exams.

Last Day to Apply for August or December 2012 Graduation, Registrar's Office. 

02/27-03/02

03/05-03/09

03/12-03/16

Spring Recess Week.

03/19-03/23

3/19/12 Mon First Day of Summer 2012 RAIL Registration for Continuing Students; Overrides and Schedule Time Conflicts, Office of the Registrar, 9:00 am-4:00 pm.

3/21/12 Wed First Day of Academic Advisement for Continuing Students for Fall 2012.

03/26-03/30

3/30/12 Fri Last Day to Withdraw from a Full Semester Class - See Advisor by Noon.

04/02-04/06

4/2/12 Mon First Day of Fall 2012 RAIL Registration for Continuing Students; Overrides and Schedule Time Conflicts, Office of the Registrar, 9:00 am- 4:00 pm.

4/4/12 Wed Last Day of Academic Advisement for Continuing Students for Fall 2012.

04/09-04/13

4/11/12 Wed Last Day to Withdraw from Second Half-Semester Class -- See Advisor by Noon.

 

4/12/12 Thu First Day of Spring Weekend Recess (if no snow days used).

4/13/12 Fri Second Day of Spring Weekend Recess (if no snow days used).

04/16-04/20

4/20/12 Fri McMurran Scholars Convocation. Last Day of Classes.

Last Day to Withdraw from Full Semester - See Advisor by Noon.

04/23-04/27

Final Exam Week.