This course is no longer offered

20284 Prolog and Artificial Intelligence

Credits: 3 intermediate and 3 advanced credits in Computer Science

Prerequisites: none

Required: Discrete Mathematics1 or Mathematical Logic (or Mathematics for Students of Social Sciences), Data Structures and Introduction to Algorithms (or Data Structures). Students must be able to read scientific texts in English.

Recommended: Algorithms

The course is based on PROLOG Programming for Artificial Intelligence (3rd. ed.), by I. Bratko (Addison Wesley, 2000).

Objectives: Familiarity with a logical programming language; Learning the principles, methods and techniques of artificial intelligence and their implementation in Prolog.

Topics: The PROLOG language; PROLOG in artificial intelligence – basic search techniques, heuristic searches, AND/OR graph representation of problems, expert systems and knowledge representation, games – the minimax principle, the alpha-beta algorithm.

Requirements: The course requirements include, among others, running computer programs during the semester and submitting a project at the end of the course. The project is a large-scale computer exercise such as the design of an expert system using Prolog, a game playing program. The project is submitted approximately 6 weeks after the end of the semester.


1or the previous version of Discrete Mathematics (20276), which is no longer offered.