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.
Module Structure: The first five sessions focus on Logic Programming, while sessions 6 to 10 focus on the Semantic Web.
- Session 1: Introduction to Knowledge Based Systems. Prolog: Facts, Queries and Rules.
- Session 2: Prolog: Terminology, and How Prolog Works.
- Session 3: Prolog: Recursion, Lists, and a Simple Planning Problem.
- Session 4: Prolog: Negation-as-failure, Cut and Fail, and Command Line Input/Output.
- Session 5: Prolog: Meta-level programming, Logic Programming and Logic.
- Session 6: Introducing the Semantic Web.
- Session 7: The RDF Data Model.
- Session 8: OWL: The Web Ontology Language.
- Session 9: Ontology Engineering.
- Session 10: Other Semantic Web Technologies and Applications.
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: Antonis Bikakis
Timetable: Thursdays 2-5pm in Term 2
- 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
- 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