Teaching

COMPSCI
761

Advanced Topics in Artificial Intelligence, University of Auckland, Semester 2 2022-2023.

A longer course archive covering logic, planning, uncertainty, and reinforcement learning, reorganised in the same visual system as the homepage.

Course Folder Back to Teaching Video Library

Overview

Course Archive

COMPSCI 761 gathers advanced AI teaching material across symbolic reasoning, planning, decision theory, and modern reinforcement learning. The content here stays faithful to the original course archive while adopting the same editorial structure as the homepage.

Most lectures include public video links together with the corresponding slide deck. Later reinforcement learning content is partly slide-only or mixed-format, matching the original material.

At a Glance

Lectures

Videos & Slides

Lecture 01

COMPSCI761

Course Archive

Videos & Slides

Introduction to Logic

Propositional Logic

Propositional Logic Inference

Agents Driven by Propositional Logic

First-order Logic

First-order Logic Inference

First-order Logic Inference: Logic Programming

Classical Planning I: Task Representation

Classical Planning II: Planning via Search

Classical Planning III: Planning via Inference

Planning with Uncertainty I: Utilities and Decisions

Planning with Uncertainty II: Decision Networks

Reinforcement Learning I: Markov Decision Process

Reinforcement Learning II: Monte-Carlo Methods

Reinforcement Learning III: Temporal-Difference Learning

Reinforcement Learning IV: Value Function Approximation

Reinforcement Learning V: Policy Gradient Methods

Reinforcement Learning V: Policy Gradient Methods (Con'd)

Tutorials, Assignments & Exam

Assignments & Exam

Assignment 2

Assignment 3

Examination

Tutorials

Tutorial 1

Tutorial 2

Tutorial 3

Usage & Copyright

Video access

Shared folder

License and attribution

COMPSCI
761