INSTG062 - Knowledge Representation and Semantic Technologies

The module is intended as an introduction to knowledge and logic-based information technologies, using logic programming as the primary example of knowledge-based reasoning, and the Semantic Web as the primary example of a knowledge-based application area.

Learning outcomes: By the end of the module, students will have a basic understanding of logic, and the relationship of logic to formal knowledge representation and reasoning. They will have an elementary knowledge of logic programming and be able to write basic programs in Prolog. Students will understand the underlying ideas of Semantic Web and its layered architecture, and will have a basic knowledge of its main technologies including ontology, ontology languages and query languages.

Assessment: Assessment by coursework only
Optional for:
 MA Archives and Records Management, MA Library and Information Studies, MA Publishing, MSc Information Science, MA/MSc Digital Humanities, MA in Electronic Communication & Publishing, MRes in Library, Archive & Information Studies. This module is also available for short course students

Prerequisites: There are no formal prerequisites for this module

Taught by: Rob Miller, Antonis Bikakis

Timetable: Thursdays 2-5pm in Term 2

Essential Reading:

  • PROLOG Programming for Artificial Intelligence, 3rd or 4th edition, by Ivan Bratko, pub. Pearson (Addison Wesley) 2001/2011
  • A Semantic Web Primer, 3rd edition, by Grigoris Antoniou, Paul Groth, Frank van Harmelen and Rinke Hoekstra, pub. MIT Press 2012

Other Reading:

  • Artificial Intelligence: Pearson New International Edition: A Modern Approach, by Stuart Russell and Peter Norvig, pub. Pearson 2013
  • Thinking as Computation, by Hector Levesque, MIT Press 2012
  • The Logic of Knowledge Bases, by Hector Levesque and Gerhard Lakemeyer, MIT Press 2001

Further information for students currently taking this module

Page last modified on 10 jul 14 13:08