CMPU-382: Fall 2020
Applications of Artificial Intelligence

Thursdays, 3:00 - 5:00 p.m. via Zoom


Prof. Luke Hunsberger My Web Page


Artificial Intelligence (AI) has a history of algorithmic innovations stretching back to the mid-1950s. Over the ensuing decades, techniques in AI have enabled advances in a wide variety of areas, including voice recognition, automated reasoning, vision processing, planning and scheduling, game-playing programs, and many more. This intensive focuses on using Temporal Networks to reason about time. Students will work in small collaborative groups on programming projects throughout the semester aimed at empirically evaluating existing algorithms for different kinds of temporal networks. Particular attention will be paid to ensuring that all empirical evaluations are reproducible. The projects completed during the semester will be used to populate a new (virtual) Temporal Reasoning Laboratory (TRL) . Students will participate in building the infrastructure for the TRL.
There will be no exams in this course. Grades will be determined by the quality of the programming projects developed over the course of the semester and contributions to building the TRL infrastructure.
The calendar section below will grow incrementally as we progress through the semester.


Calendar

Thursdays
Sept. 3
Introduction to Temporal Networks, Data Management Plan for the Temporal Reasoning Laboratory.
Sept. 10
Why Dijkstra works, Why Bellman-Ford works, Johnson's algorithm
Sept. 17
More fun with STNs. Sample STN (illustrating format), Zoom recording
Sept. 24
More algorithms for STNs: Incrementally updating Distance Matrix, Incrementally checking consistency
Ramalingam 1999 paper on incrementally checking consistency, Zoom recording
Oct. 1
Dispatchability paper,Algorithms to implement, Directed Path Consistency. Zoom recording
Pseudocode for prop-fwd-bkwd algorithm.
Oct. 8
The Directed Path-Consistency (DPC) Algorithm. Real-time execution and dispatchability
Zoom recording
Oct. 15
Individual presentations by students showing what they have done so far.
Oct. 22
Zoom recording
Oct. 29
Sample STNUs, Zoom recording
Nov. 5
Working session
Nov. 12
Working session
Nov. 19
Dec. 3
Dec. 10