|
|
Objectives |
|
Ivo Düntsch |
|
|
School of Information and Software Engineering |
|
|
University of Ulster at Jordanstown |
Room: 16E21, Phone: 8976 |
BSc Mathematics/Statistics/Computing, COM530J1
Logic Programming and Artificial Intelligence
|
|
Objectives |
On completion of this module you should be able to
Demonstrate familiarity with
Basic issues of artifical intelligence and data modelling, including the possibilities and limits of quasi-intelligent systems,
Problem solving techniques,
Formal foundations of knowledge representation and rule based systems (COM530J1A only),
Principles and methods of uncertainty handling.
Demonstrate practical skills of Prolog programming.
|
|
Organisation |
|
Duration: |
12 weeks |
|
Lectures: |
36 hrs (COM530J1A), 24 hrs (COM530J1B) |
|
Tutorials: |
6 hrs (COM530J1A), 4 hrs (COM530J1B) |
|
Class tests: |
3 (COM530J1A), 2 (COM530J1B), open book, open ended |
|
Programming: |
24 hrs |
|
Office hours: |
Wed 10 - 11, Fri 11.15 - 12, but you can call for help or additional tutoring any time. |
|
Assessment: |
COM530J1A: Coursework 25 %, final examination 75 %. |
|
COM530J1B: Coursework 40 %, final examination 60 %. |
|
|
Coursework: |
COM530J1A: Three open book class tests (after Topic 2, 5 and 9). |
|
COM530J1B: Two open book class tests (after Topic 2 and 9). |
|
|
A class test and a raded assignment in LP. These will contribute 33 % to the coursework grade in COM530J1A, and 50 % in COM530J1B. |
|
|
Examination: |
The exam paper consists of seven questions in three parts: Part A consists of a problem with 20 multiple choice questions (15 for COM530J1B) covering all topics of the course. Part B consists of three problems which cover a choice of material. Part C covers Prolog programming, and consists of three problems. Part A is compulsory, and at least one problem from sections B and C must be attempted. For full marks, you have to solve four problems (three for COM530J1B) altogether. |
|
|
Content |
Besides the practical part, the course will cover the areas listed below; this is a tentative programme, and may be changed. Topics marked with * are not taken by students of COM530J1B.
For each topic there is a resource page containing an outline stating the objectives and the main points of the chapter, as well as pointers to related material.
|
Topic 1 |
|
|
Topic 2 |
|
|
Topic 3* |
|
|
Topic 4* |
|
|
Topic 5* |
|
|
Topic 6 |
|
|
Topic 7 |
|
|
Topic 8 |
|
|
Topic 9 |
Lecture notes which cover the content of the lectures are distributed in PDF format at
http://occam.infj.ulst.ac.uk/lpai/
These notes are required reading. Material for the Logic Programming part can be found at
Oct 9, 2001
