Credits: 3
Duration: 12 Weeks
Course Organiser: P.M.D. Gray
Course Database Entry
Announcements
Course Overview
- Lecturing Staff: P.M.D.
Gray
Lectures: Monday 3-5; Room Meston 3
Demonstrator :
Practicals:
Monday 9.00-10.30am room 204
Monday 10.30-12.00am room 204
Course Objectives:
The aim is to give a grounding in the symbolic approach to AI and mechanised
reasoning by studying various topics, particularly the key ones of knowledge
representation and search. The student should have the ability to explain
these concepts to an outsider, and to demonstrate some of the techniques
used in simple Prolog and explain their principles.
Assessment
- 25% from two assessed exercises.
75% from a 2.5 hour examination in May/June; the paper will consist of four questions - candidates must answer three.
The combined mark will determine pass/fail.
Teaching Materials
- Week 1 Lec1 (PDF)
Week 1 Lec2 (PDF) (Copy and consult ['family.pl'] to try examples)
Resources
Sicstus Prolog ManualSearchable Sicstus Manual
Sicstus Prolog Homepage
P.M.D.
Gray
|
Staff & Students |
Computing
Science
University
of Aberdeen
Last updated: Jan 25 2001
pgray@csd.abdn.ac.uk
