 Department of Computer Science and Engineering
Course Info
Resources
|
CSE560 Artificial Intelligence
|
This course is a prerequisite for CSE561 Dialogue, Multi-agent systems, and CSE562 Natural language processing.
If you have questions about the course and whether you have the right background for it, please contact me.
An important dimension to this course is learning Prolog, which is a logic programming language, especially suited symbolic Artificial Intelligence. Logic programming languages are very different from procedural languages, such as C.
The Computer Science and Engineering department has several versions of Prolog available. Quintus prolog is available on the department machine church (invoked with the command prolog). Sicstus prolog is also available (invoked with the command sicstus.
Students with PC's, especially part-time students, might find it benefitial to install a Prolog on their own machine. There are several public domain Prolog interpreters available. I use SWI-Prolog on my notebook computer, which runs on Windows95. Source code is available for SWI-Prolog, and I have heard that you can build the executable for running on Linux (with the gcc compiler). Alternatively, Amzi has a version that can be installed on Linux.
| Assignments and Projects | 50% |
|---|---|
| Midterm | 25% |
| Final | 25% |
Your marks so far are here.
Students must read the assigned readings before class.
| Date | Topic | Readings | Assignments Due | |
|---|---|---|---|---|
| Tue Jan 5 (Class 1) | Introduction | Chapter 1 | ||
| Representation and Reasoning System | ||||
| Thu Jan 7 (Class 2) | Syntax and Semantics | Chapter 2.1-2.5 | ||
| Tue Jan 12 (Class 3) | Ground Proof Procedures | Chapter 2.5-2.7 | Homework 0 | |
| Thu Jan 14 (Class 4) | Proofs with Variables | Chapter 2.7-2.8 | ||
| Tue Jan 19 (Class 5) | Adding Function Symbols | Chapter 2.8 | Homework 1 | |
| Thu Jan 21 | No class | |||
| Using Definite Knowledge | ||||
| Tue Jan 26 (Class 6) | Recursion and Lists | Chapter 3.1-3.6 | Homework 2 | |
| Searching | ||||
| Thu Jan 28 (Class 7) | Breath, Depth-first Search and Prolog | Chapter 4.1-4.4 | ||
| Tue Feb 2 (Class 8) | Search in Prolog & A* Search | Chapter 4.5-4.6 | Homework 3 hw3standard.tcl | |
| Knowledge Engineering | ||||
| Thu Feb 4 (Class 9) | Meta Interpreters | Chapter 6.1-6.4,6.7 | ||
| Beyond Definite Knowledge | ||||
| Tue Feb 9 (Class 10) | Equality | Chapter 7.1-7.2 | Homework 4 hw4standard.tcl | |
| Thu Feb 11 (Class 11) | Integrity Constraints & Horne Clauses | Chapter 7.3,7.5 | ||
| Tue Feb 16 (Class 12) | Midterm: Chapters 1 - 4. Last year's midterm | |||
| Thu Feb 18 (Class 13) | Complete Knowledge Assumption, Quantification | Chapter 7.4,7.6,7.7 | Homework 5 | |
| Actions and Planning | ||||
| Tue Feb 23 (Class 14) | Situation Calculus, Strips, Event Calculus | Chapter 8.1-8.3 | Homework 6 | |
| Thu Feb 25 (Class 15) | Simple Planning | Chapter 8.3 | ||
| Tue Mar 2 (Class 16) | Partial Order Planning | |||
| Assumption Based Reasoning | ||||
| Thu Mar 4 (Class 17) | Default Reasoning | Chapter 9 | Homework 7 | |
| Tue Mar 9 (Class 18) | TBA | Homework 8 | ||
| Thu Mar 11 | No class | |||
| Tue Mar 16 | Final Exam (Last Year's) (with answers) (Topics) | |||