WIDTH BSc in Computer Science
Information Sheet 97/98
Artificial Intelligence I 		WIDTH
Course No.:DCS/215
Course Unit Value:1
Lecturers:Dr Graem A. Ringwood
Semester:3

Aims and Objectives:

The aim is to provide a foundation for the study of intelligent systems. At the end of the course, a student should be able to demonstrate fluency in the concepts by the ability to answer the exercises in the recommended text.

Prerequisites:

Students need to have passed: DCS/116 Introduction to Discrete Structures (sets, relations, induction); DCS/122 Introduction to Logic (natural deduction); DCS/126 Functional Programming (symbolic programming); DCS/127 Introduction to Algorithms (complexity).

Description

This the the first of two courses in AI, Artificial Intelligence. AI is a multi-disciplinary subject drawing on computer science, neuroscience, philosophy, psychology, cybernetics, robotics, operations research and linguistics. Its aim is the reproduction of the methods or results of human intelligence. This course will use the programming language Prolog as a vehicle to introduce the techniques of GOFAI (good old fashioned AI). This includes, automated theorem proving, search and intellectual games (such as draughts chess and go). More detail is given on the courseware page. Each week there will be one two hour lecture. Lectures will introduce, motivate and provide emphasis on topics. Each week, students will be expected to do prescribed exercises. The exercises are an integral part of the course.

Assessment

A two and a half hour exam in semester B will contribute 70% of the total for the course. Coursework contributes 30% and will consist of class tests. These will take place in lectures without prior warning.

Books

*Barwise J and Etchemendy J (1992) The Language of First-Order Logic, CSLI
*Bratko I (1990) Prolog Programming For Artificial IntelligenceAddison-Wesley
*Flach P (1994) Simply Logical: Intelligent Reasoning by Example, Wiley
*Grassmann WK and Tremblay J-P (1996) Logic and Discrete Mathematics: A Computer Science Perspective, Prentice-Hall
* Russell S and Norvig P (1995) Artificial Intelligence: A Modern Approach, Prentice-Hall
*Shoham Y(1993) AI Techniques in Prolog, Morgan Kaufmann
*Sterling L and Shapiro E(1994) The Art of Prolog - 2nd edition, MIT Press
*O'Keefe R (1990) The Craft of Prolog , MIT Press

Last modified by graem on Wed Sep 1 12:00:00 BST 1997