Knowledge & Reasoning

Module code: G6019
Level 6
15 credits in autumn semester
Teaching method: Lecture, Laboratory
Assessment modes: Unseen examination, Coursework

This module covers computational methods of knowledge representation and reasoning, tracing their origins in epistemology and the study of logic, and showing their evolution and use in artificial intelligence.

Module learning outcomes

  • Discuss theories of knowledge and related developments in Artificial Intelligence in the context of the historic development of the field.
  • Demonstrate knowledge of several established knowledge representation and reasoning methods such as sentential logic, semantic networks, ontologies, fuzzy systems, and Bayesian networks.
  • Demonstrate knowledge of the function of computational techniques that are used in common applications of Artificial Intelligence such as automated reasoning, problem-solving, game-playing, or route-finding.
  • Adapt and implement standard computational techniques in a computer program by developing a solution for a given problem of substantial complexity.