CSC5027Z - Logics For Artificial Intelligence

12 credits at NQF level 9

Entry Requirements:

Admission into the Master's degree specialising in Computer Science, or permission from the course convener. Familiarity with basic discrete mathematics is highly recommended.

Course Outline:

This course will introduce students to logics used in the area of Knowledge Representation - a subarea of Artificial Intelligence. Logic plays a central role in many areas of Artificial Intelligence. This course will introduce students to Description Logics, a family of logics frequently used in the area of Knowledge Representation and Reasoning. Description Logics are frequently used to represent formal ontologies. Topics covered include the following: The Description Logic ALC; Reasoning in Description Logics with Tableaux Algorithms; Reasoning in the EL family of Description Logics; and Query Answering.