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.
Brachman, R.J. & Levesque, H.J. (2004). Knowledge representation and reasoning. Amsterdam: Elsevier.
Luger, G.F (2009). Artificial intelligence: structures and strategies for complex problem solving. 6th edn. Boston: Pearson/Addison Wesley.
Porter, B., Lifschitz, V. & van Harmelen, F. (ed.). (2008). Handbook of knowledge representation. Amsterdam, The Netherlands: Elsevier.
Sowa, J.F. (2000). Knowledge representation: logical, philosophical, and computational foundations. Australia: Course Technology Cengage Learning.