[Announcements] [Timetable] [Textbooks] [Assessment] [Acknowledgements] [Other useful links]
For KR - Added Mini-assessment instructions (04 March 2012)
For KR - Minor edits to DL Reasoning + DL Syntax and Semantics
slides (04 March 2012)
For KR - Mini-assessment guide added (04 March 2012)
For KR - Practical 2 solutions (most of it) now available (29
Feb. 2012)
For KR - Updated slides for DL Reasoning Lecture (29 Feb. 2012)
For KR - Practical 1 solutions (most of it) now available (27 Feb. 2012)
For KR - Lecture 4-5: Added useful links to DL, Protege,
OWL ref., graphviz, rdfdot, cwm (24 Feb. 2012)
For KR - Lecture 4: Added Camera OWL KB example file (24
Feb. 2012)
For KR - Lecture 3: Added Camera RDFS KB example file (22
Feb. 2012)
For KR - Lecture 2: Added Camera RDF KB example file
(22 Feb. 2012)
| Term | Week | Day | Date | Time | Type | Who | Topic | Links | Reading |
|---|---|---|---|---|---|---|---|---|---|
| Spr | 2 | Tue | 2012-Jan-17 | 13:15 | Lecture | All | Intro | Watch the Lighthill Debate (1973) | Intro lecture, 17 Jan 2012 |
| Spr | 2 | Wed | 2012-Jan-18 | 10:15 | Lecture | DLK | Problem Representation | Read Sect.3.1-3.2 of AIMA | Lecture 1, 18 Jan 2012 |
| Spr | 2 | Thu | 2012-Jan-19 | 14:15 | Lecture | DLK | Uninformed Search (1) | Read Sect.3.3-3.4 | Lecture 2, 19 Jan 2012 |
| Spr | 2 | Fri | 2012-Jan-20 | 16:15 | Lecture | DLK | Uninformed Search (2) | Lecture 3, 20 Jan 2012 | |
| Spr | 3 | Tue | 2012-Jan-24 | 09:15 | Practical | DLK | Representation and uninformed search | Uninformed search online demo | Handout pdf Handout ppt |
| Spr | 3 | Tue | 2012-Jan-24 | 13:15 | Lecture | DLK | Informed Search (1) | Lecture 4 (and as PPT) | |
| Spr | 3 | Wed | 2012-Jan-25 | 10:15 | Lecture | DLK | Informed Search (2) | Lecture 5 (and as PPT) | |
| Spr | 3 | Fri | 2012-Jan-27 | 16:15 | Lecture | DLK | Local Search | Lecture 6 PDF | Handouts | |
| Spr | 4 | Tue | 2012-Jan-31 | 09:15 | Practical | DLK | Informed Search and GA | Most answers Ex.1: A* search answer |
Handouts v1.2 |
| Spr | 4 | Tue | 2012-Jan-31 | 13:15 | Lecture | DLK | Local Search (2) | Problem sheet - answers | Slides Problem sheet |
| Spr | 4 | Wed | 2012-Feb-01 | 10:15 | Lecture | JC | Propositional logic: syntax and semantics | 6-up slides | |
| Spr | 4 | Fri | 2012-Feb-03 | 16:15 | Lecture | JC | Representing problems with logic | 6-up slides | AIMA 7.1-7.5 |
| Spr | 5 | Tue | 2012-Feb-07 | 09:15 | Assessment | DLK | First mini-exam assignment |
Marks for Q1 and Q3 | |
| Spr | 5 | Tue | 2012-Feb-07 | 13:15 | Lecture | JC | SAT and the DPLL algorithm | AIMA 7.6.1 | |
| Spr | 5 | Wed | 2012-Feb-08 | 10:15 | Lecture | JC | SAT solvers and local search | UBCSAT | AIMA 7.6.2-7.6.3 |
| Spr | 5 | Fri | 2012-Feb-10 | 16:15 | Lecture | JC | First-order logic: syntax and semantics | 6-up slides | AIMA 8.1-8.3 |
| Spr | 6 | Tue | 2012-Feb-14 | 09:15 | Practical | JC | Logic Practical | ||
| Spr | 6 | Tue | 2012-Feb-14 | 13:15 | Lecture | JC | Reasoning with first-order logic | 6-up slides | |
| Spr | 6 | Wed | 2012-Feb-15 | 10:15 | Lecture | SKM | KR 1 - Introduction to KR and the
Semantic Web |
4-up slides |
DGSW 1, SWWO 1-2 |
| Spr | 6 | Fri | 2012-Feb-17 | 16:15 | Lecture | SKM | KR 2 - RDF Tiny Camera example in RDF/Turtle Visualisation of same example using GraphViz |
4-up slides |
DGSW 2, SWWO 3 |
| Spr | 7 | Tue | 2012-Feb-21 | 09:15 | Practical | SKM | KR - Practical 1 (RDF) |
Practical 1 Solution Sheet |
Michael_Jackson.rdf.turtle Michael_Jackson.rdf.dot Janet_Jackson.rdf.turtle Janet_Jackson.rdf.dot Michael+Janet_Jackson.rdf.turtle Michael+Janet_Jackson.rdf.dot |
| Spr | 7 | Tue | 2012-Feb-21 | 13:15 | Lecture | SKM | KR 3 - RDFS Camera example in RDFS/Turtle Visualisation of same example using GraphViz |
4-up slides | DGSW 4, SWWO 6 |
| Spr | 7 | Wed | 2012-Feb-22 | 10:15 | Lecture | SKM | KR 4 - OWL Camera example in OWL/Turtle |
4-up slides |
DGSW 5, SWWO 9-11 |
| Spr | 7 | Fri | 2012-Feb-24 | 16:15 | Lecture | SKM | KR 5 & 6 - DL Syntax
and Semantics |
4up-slides |
Description Logic
Primer is a good start. But lecture slides cover more material. |
| Spr | 8 | Tue | 2012-Feb-28 | 09:15 | Practical | SKM | KR - Practical 2 (OWL) |
Practical 2 Solution Notes | family.owl.turtle |
| Spr | 8 | Tue | 2012-Feb-28 | 13:15 | Lecture | SKM | KR 6 - DL Syntax and Semantics (continues) | ||
| Spr | 8 | Wed | 2012-Feb-29 | 10:15 | Lecture | SKM | KR 7 - DL Reasoning | 4up-slides | For more in-depth DL reasoning the paper on the ALC DL is fairly close to the DL Reasoning slides. The BabyOWL DL is more expressive than the ALC DL described in the paper. |
| Spr | 8 | Fri | 2012-Mar-02 | 16:15 | Lecture | SKM | KR 8 - DL Reasoning continues |
||
| Spr | 9 | Tue | 2012-Mar-06 | 09:15 | Assessment | SKM | Mini-assessment
instructions KR Assessment guide |
Mini-exam paper with
Sample Solutions |
|
| Spr | 9 | Tue | 2012-Mar-06 | 13:15 | Lecture | SKM | KR 9 Information Retrieval |
4up-slides |
IIR
(Chapters1,2,6) (free download) |
| Spr | 9 | Wed | 2012-Mar-07 | 10:15 | Lecture | DLK | Machine Learning: Introduction; Concept Learning | Concept Learning |
|
| Spr | 9 | Fri | 2012-Mar-09 | 16:15 | Lecture | DLK | Concept Learning (cont.) | Concept Learning |
|
| Spr | 10 | Tue | 2012-Mar-13 | 09:15 | Practical | DLK | Concept Learning Decision tree learning |
Concept
learning Decision tree learning Data set |
|
| Spr | 10 | Tue | 2012-Mar-13 | 13:15 | Lecture | DLK | Decision tree learning | slides | |
| Spr | 10 | Wed | 2012-Mar-14 | 10:15 | Lecture | DLK | Decision tree learning | slides |
|
| Spr | 10 | Fri | 2012-Mar-16 | 16:15 | Lecture | DLK | Decision tree learning | Download Weka [link],
then download this dataset [link], then follow Sections 4.1 and 4.2 of this tutorial [link] |
|
| Sum | 1 | Mon | 2012-Apr-23 | 11:15 | Lecture | JC | Probabilistic reasoning | 6-up slides | AIMA 13 |
| Sum | 1 | Mon | 2012-Apr-23 | 14:15 | Practical | JC | Probability Practical | Answers | |
| Sum | 1 | Thu | 2012-Apr-26 | 14:15 | Lecture | JC | Probabilistic reasoning | 6-up slides | AIMA 13 |
| Sum | 1 | Fri | 2012-Apr-27 | 14:15 | Lecture | JC | Naive Bayes and maximum likelihood estimation | AIMA 20.2.1-20.2.2 | |
| Sum | 2 | Mon | 2012-Apr-30 | 11:15 | Lecture | JC | Bayesian machine learning: parameter estimation | Bayesian updating Perl script | AIMA 20.2.4 |
| Sum | 2 | Mon | 2012-Apr-30 | 14:15 | Practical | JC | Naive Bayes with R | ||
| Sum | 2 | Thu | 2012-May-03 | 14:15 | Lecture | JC | Bayesian machine learning: learning structure | Learning from observations, Statistical learning | AIMA 20.1 |
| Sum | 2 | Fri | 2012-May-04 | 14:15 | Lecture | JC | Computational aspects of Bayesian machine learning | ||
| Sum | 4 | Mon | 2012-May-14 | 14:15 | Assessment | JC | Probabilistic reasoning and naive Bayes |
Last modified: Thu May 17 10:50:38 BST 2012