CSC2542: Topics in Knowledge Representation and Reasoning
KR and Modern AI
Fall 2023
|
Primary Instructor:
Dr. Toryn Klassen
, csc2542profs -at- cs
Instructor:
Sheila McIlraith, csc2542profs -at- cs
TA: Michael Zhang
Timing: Friday, noon-2pm ET
First class: Friday, September 15, 2023
Location: In person. ** NEW LOCATION** UC 161
(the southeast corner of the "Hogwarts" looking building at the top of King's College Circle)
Access: Quercus
Office Hours: Timing to be determined.
Questions about the course: Please email csc2542profs-at-cs
Important note about the course:
Dr. Toryn Klassen will be the main instructor for the course with Sheila McIlraith.
Course Description and Prerequisites:
Knowledge representation (KR) is a long-standing subfield of AI which studies symbolic representations of knowledge and associated mechanisms for automated reasoning. In this advanced course, we will overview topics in KR and consider the role they may play in modern AI research and systems, such as large language models and reinforcement learning systems. The course will comprise a mix of lectures and student presentations. Students will read research papers, participate in seminar-style presentations, and complete assignment(s) and a course project. Topics include: commonsense reasoning, logics for KR, probabilistic programming, representing goals and preferences, and the relationship between large language models and knowledge bases.
Prerequisites: an introductory course in formal logic or an introductory course in symbolic AI comparable to CSC384, an introductory course in machine learning, and basic familiarity with reinforcement learning.
|