CSC5027Z - Logics For Artificial Intelligence
12 credits at NQF level 9
Admission into the Master's degree specialising in Computer Science, or permission from the course convener. Familiarity with basic discrete mathematics is highly recommended.
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.