Toggle navigation
WebCMS3
Search Courses
Login
COMP4418
20T3
Home
Course Outline
Forums
Timetable
Groups
Activities
Course Work
Assignments
Exercises
Lectures
Lecture Recordings
Toggle Menu
Resources
Lectures
Lectures
Week 1: Introduction to KRR, Modelling, Propositional Logic
Outline
Introduction
Propositional Logic 1
Propositional Logic 2
Week 2: Formal Logic and Reasoning, First-order Logic
First-Order Logic 1
Expressing Knowledge
First-Order Logic 2
Resolution
Horn Logic
Week 3: A Programming Language based on First-Order Logic – Prolog
Prolog 1: Introduction to Prolog I
Prolog 2: Introduction to Prolog II
Prolog 3: Introduction to Prolog III - Problem Solving
Prolog 4: Introduction to Prolog IV - Controlling Execution
Prolog 5: Introduction to Prolog V - Logic and Prolog
Week 3: Implementing Formal Reasoning, Commonsense Reasoning
Procedural Control
Nonmonotonic Reasoning
Default Reasoning
Tradeoff
Week 4-5: Answer Set Programming
Multi-Agent Path Finding (benchmark 3)
Multi-Agent Path Finding (benchmark 4)
N Queens (naive encoding)
Multi-Agent Path Finding (benchmark 2)
Sudoku encoding
Multi-Agent Path Finding (large benchmark grid)
Exercise sheet (solutions)
Slides
Graph coloring (example)
Exercise sheet
Hamiltonian Cycle (example, correct)
Hamiltonian Cycle (example, incorrect)
N Queens (efficient encoding)
Multi-Agent Path Finding (benchmark 1)
Multi-Agent Path Finding (smarter encoding)
Multi-Agent Path Finding (naive encoding)
Week 7: Planning
There are no accessible resources under here.
Back to top
COMP4418 20T3 (Knowledge Representation and Reasoning)
is powered by
WebCMS3
CRICOS Provider No. 00098G