The Course


Course information

Overview schedule, readings



Exam information

The Project

Prof. Futrelle's teaching blog


AIMA textbook

Books on Reserve

Some AI links

Lisp, ACL at CCIS


Natural Language

{ use the proper subject line }

Mailing list archives

Return to Futrelle's Teaching Gateway or homepage

CSU520 Artificial Intelligence -- Spring 2007

College of Computer & Information Science

Northeastern University -- Professor Robert P. Futrelle

Site updated 11 April 2007

URL of this page:

The official course description: intelligence field. Includes heuristic search; knowledge representation using predicate calculus; automated deduction and its applications; planning; machine learning. Additional topics may include game playing; uncertain reasoning and expert systems; natural language processing; logics for common-sense reasoning; ontologies; multi-agent systems. Prerequisites: CSU212, PHLU215 (Symbolic Logic).

Your immediate responsibilities in this course

Important details about your responsibilities are here . The topics discussed there are:

  • Get a copy of the textbook immediately and begin the assigned readings.
  • Sign up for the course mailing list immediately.
  • Use the proper form for all course-related email you send me.
  • You are responsible for reading the course website pages, including updates that I alert you to.

News and Notes

Follow the links on the left for details.

11 April 2007: Details about the Final Exam have been posted.

8 April 2007: The final exam will be held on Friday, April 20th at 8am in 104 Kariotis.

8 April 2007: Information on the last assignment, #4, has been posted (assignment #5 is cancelled), as well as an update on what is needed for your final project report.

15 January 2007: The full readings for all classes up to time of the Midterm have been posted. This covers about half the book.

7 January 2007: All the most important pages have been posted to the website. There will changes and additions to them as the course proceeds.

24 December 2006: The initial course pages have been posted on the web. Some are essentially finished, some are in draft form, and some are not yet posted.

13 December 2006: The course website is not complete at this early date. Links in square brackets are to pages not yet posted.

13 December 2006: Grading: Details are forthcoming, but roughly, credit will be divided between quizzes and exams, homework, and each of the three handins for your project.

13 December 2006: The Project: There are four possibilities, each of which will require a scholarly written report:

  • The use of a major AI system such as the WEKA machine learning system, the Protégé system for knowledge representation, or the OTTER theorem prover.
  • A programming project, which could be in Java, Lisp, Prolog, or Python. It should be focused on a substantial domain, not what I consider a toy domain such as a board game or card game.
  • A written report involving no programming. This is the exception, and will require justification.
  • Working more collaboratively with me, Professor Futrelle, on a project related to my research in the Biological Knowledge Laboratory. The major projects in the lab revolve around the development of a new purely object-oriented approach to natural language understanding and work on diagram understanding, using papers from the biomedical literature.