The course introduces and explores programming concepts used in functional and knowledge-based computing. It is intended to give the student a programming background which will be useful for further work in logic programming, expert systems, and artificial intelligence.
The programming languages Lisp and Prolog will be considered in detail. Lisp is a functional programming language based on the list data structure. It is widely used in artificial intelligence applications. Prolog is a declarative programming language based on the concept of a logical assertion. It is widely used for constructing knowledge-based and expert systems.
The course will develop the following concepts.
R. Mueller and R. Page, Symbolic Computing with Lisp and Prologwhich is available as a "course kit" reprint from the York Bookstore. A copy is also available on two hour reserve in Steacie Library, QA 76.73 L23 M84 1988. The following books are also available as additional reading and reference, on reserve in Steacie Library.
It is up to the you to read and study relevant material without explicit instructions. You are expected to find the required readings in the references and any other sources you can find. Part of the university experience is to acquire a measure of self reliance. The instructor for the course can only guide you as to what is useful to learn; the effort must come from you. The course lectures will not cover all the topics in detail. Instead, the lectures will cover the most important points and give you pointers as to how the rest of the material can be studied.
The grading page describes the grading scheme used and the algorithm for computing your final grade. The timetable section give the due dates and times for the reports. The specifications are given as bulletins on the home page.
The test questions will be based on all the course material: texts, readings, lectures, reports, exercises, and on-line notes and slides.
Lecture times for Section A:
Lecture times for Section B:
Midterm exam, Section A Wednesday, October 19, 1 pm - 2:20 PM Midterm exam, Section B Thursday, October 20, 5:30 pm - 6:50 PMFinal Examination: TBAMiscellaneous important datesFirst day of classes: Wednesday, September 7 Last day to enroll in the course without permission: September 22 Last day to drop the course: November 11 Course evaluation: Section A -- November 21; Section B -- November 22 Last day of classes: Tuesday, December 6 Examination period: December 8 - December 21