INF 502 Knowledge Representation & Reasoning
Department: MSc in Informatics (Knowledge and Data Management)
Module Description: This module provides the basis for the understanding and use of Knowledge Representation and Reasoning techniques in AI systems in general, and knowledge-based systems in particular. The module covers notions of representation and the relationship between representation and that which is represented, along with issues of the resources required to manipulate such representations. The focus is on different logic-based representation languages and proof search using logical calculi, but other approaches are also discussed.