Prospectus

nl en

Symbolic AI

Course
2023-2024

Admission Requirements

Algorithmics and Datasctructures (course)
Logic (course)

Without having passed these courses, participation in Symbolic AI is not possible.

Individual JAVA programming assignment: PASS/FAIL, handed out after the first lecture. (entry assignment)

Without passing this assignment, participation is not possible.

Recommended prior knowledge:

Propositional and Predicate Logic, Search, Trees, and Dijkstra, Automata, Sorting and Searching.

Description

Artificial Intelligence is about developing intelligent autonomous decision-making systems. These systems are integrated into things like cars, robots, medical expert systems, and websites. Such systems use a collection of different techniques, such as machine learning, reinforcement learning, as well as logic, planning, and reasoning. In this course, you will learn the basics of classical artificial intelligence. The focus of this course is on understanding and programming various forms of logical decision-making systems, planners, and planning algorithms, and applying them in autonomous agents. These systems often rely on knowledge represented in the form of symbols and logical formulas, over which rules can reason to produce new knowledge or actions. Therefore, we not only cover advanced search techniques but also different forms of symbolic knowledge representation. Hence the term Symbolic AI.

Course Objectives

Understanding and programming various forms of knowlegde representation, (logical) decision-making systems, inference methods, planners, and planning algorithms, and applying them in autonomous agents.

Timetable

In MyTimetable (login) you can find all course and program schedules to create your personal schedule. Education activities for which you have enrolled via MyStudymap will be automatically displayed in your schedule. Additionally, you can easily sync MyTimetable with a calendar app on your phone, and any schedule changes will be automatically reflected in your calendar. You can also choose to receive email notifications of schedule changes. You can enable notifications in the Settings after logging in.

Questions? Watch the video, read the instructions, or contact the ISSC helpdesk. Note: Joint Degree students from Leiden/Delft should merge the information from both Leiden and Delft MyTimetables to see a complete schedule. This video explains how to do that.

Mode of Instruction

Lectures: Live and pre-recorded videos.
Lab: On-site and online/at home, on-site location: LIACS

Assessment Method

Exam (50%)
Lab (50%)

The instructor will inform the students about the review and debriefing of the exam.

Reading List

Russel & Norvig "Artificial Intelligence: A Modern Approach". (book)

Registration

Starting from the academic year 2022-2023, you as a student are responsible for enrolling in a timely manner, which means 14 or 28 days before the start of the course. You can do this via MyStudymap. You need to do this twice a year: once for the courses you want to take in semester 1 and once for the courses you want to take in semester 2.

Enrollment for courses in the first semester is possible from July; enrollment for courses in the second semester is possible from December. For more information, see this page (tab Mathematics and Natural Sciences).

Please note that it is compulsory to register for every exam and retake. Not being registered for a course means that you are not allowed to participate in the final exam of the course.

Extensive FAQ on MyStudymap can be found here.

Contact

Education coordinator LIACS bachelors

Remarks

None