Introduction to Artificial Intelligence (ARIN)

[Announcements] [Timetable] [Textbooks] [Assessment] [Acknowledgements] [Other useful links]


Announcements

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)


Timetable

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


Textbooks


Assessment


Acknowledgements


Other useful links


Last modified: Thu May 17 10:50:38 BST 2012