COMP 210 – Introduction to Artificial Intelligence
News
14/05/10 Marked
class tests can be collected fro the Student Office
from Monday onwards
14/05/10 Model solution for second
class test posted below.
13/05/10
Class test will be held on 13th May in Lecture Theatre C. Test will
begin at 12.05 sharp.
13/05/10
Lecture on 14th may is cancelled.
27/04/10 Lectures
24-26 posted. Handouts are available at helpdesk.
10/04/10 The second class test will be held on Thursday 13th
May in the `12 noon lecture slot.
10/04/10 There will no lectures on 4th, 6th and
7th May
19/04/10
Handouts for lectures 20-23 posted. Printed copies are available at helpdesk.
25/03/10 Marked class tests can be collected from the student office
22/03/10 There will be no lecture on Friday 26th March
22/03/10
Handouts for lectures 18 and 19 (Tuesday 23rd and Thursday 25th)
posted. Printed copies are available at helpdesk.
18/03/10 Class test
tomorrow: 19th March 10.00
18/03/10
Answers to exercise 3 posted
12/03/10 The lecture on Tuesday 16th March is
cancelled
12/03/10 Two additional prolog examples
posted
09/03/10 Extra slides used on 5th March
posted. Full size version of frame picture from 9th
March posted
08/03/10 More lecture notes posted. Copies are available from
helpdesk. These are for lectures this Thursday 11th and for next
Thursday 18th.
The lecture on Tuesday 16th
March is cancelled
and 19th of March will be the Prolog Class
Test.
05/03/10 Some more example programs posted
02/03/10
Exercise 4 posted
26/02/10
The COMP 210 lecture on Tuesday 2nd March is cancelled
22/02/10 Date of First Class Test (Prolog) 19th March, 10am, Lecture Theatre D
22/02/10
Exercise 3 posted
18/02/10
Copies of Lectures
13, 14 and 15 now available from the
helpdesk
17/02/10
Lectures 13, 14 and 15
posted.
12/02/10 Provisional date of class test: 10am Friday 12
March Date
now fixed for 19th March
12/02/10
Exercise 2 and Monkey and Bananas program posted
29/01/10
printed handouts of Lecture slides available at helpdesk
28/01/10
Exercise 1 posted
24/01/10
Slides for lectures 1-12 posted
This
module is taught through lectures, supervised labs and lab exercises.
Lectures
are at:
Tuesdays 13.00 Maths 029
Thursdays 12.00 Science Lecture Theatre C
Fridays 10.00 Science lecture Theatre D
Labs
are
Tuesdays 9-11 Lab 2
Thursdays 10-12 Lab 2
Lecture Slides
Photocopies
of all these lecture slides are available from Help Desk
Lecture 1 Introduction to Comp 210
Lecture 2 AI techniques and Applications
Lecture 3 Introduction to prolog
Lecture 4 Introduction to search
Lecture 5 Search Strategies
Lecture 6 Recursion in Prolog
Lecture 7 Speeding up Search
Lecture 8 Heuristic Search
Lecture 9 Lists in Prolog
Lecture 10 Search and games
Lecture 11 Introduction to Knowledge Representation
Lecture 12 Prolog:
Cut, Negation as failure and Closed World Assumption
Lecture 13 Chaining Rules
Lecture 14 Semantic Nets and Frames.
This lecture will be delivered on 9th March The
frame diagram was a bit small: full size diagram is here
Lecture 15 Prolog Summary and Revision. This
lecture will be completed on 12th March. Additional slides used on 5th March
Lecture 16 Detailed Knowledge Representation Example. This lecture
will be delivered on 11th March
Lecture 17 Expert Systems and MYCIN. This
lecture will be delivered on 18th March
Lecture 18 Logic 1. This lecture will be delivered on 23rd
March
Lecture 19 Logic 2. This
lecture will be delivered on 25th March
Lecture 20: Satisfiability
in Propositional Logic
Lecture 21: First order predicate Calculus
Lecture 22: Resolution for Propositional
Logic
Lecture 23: Resolution for First Order Logic
Lecture 25: Reasoning with Legal Cases
Self Assessment Questionnaires
Some self assessment material to help
with your revision can be found here
Exercise
Sheets
Exercise 1 to be attempted in week commencing 8th
February
Exercise 2 to be attempted in week commencing 15th
February
Exercise 3 to be attempted from 22nd
February
Exercise4 to be attempted from 1st March. Solutions
Solutions to Second Class test
Prolog Programs
nqueens2.pl This is a version
for 8-queens using a solution template.
nqueens3.pl This is two
versions using generate and test
fibonacci.pl This provides a
simple and a better version for finding Fibonacci numbers.
fireAlarm.pl This gives a
forward chaining version of the example in Prolog
quickSort.pl Prolog version of the well know sorting algorithm
animalFriends.pl Prolog example from 2006 class test
animalEaters.pl Prolog example from 2008 class test