Skip to navigation | Skip to main content | Skip to footer
Menu
Menu

COMP34512: Knowledge Representation and Reasoning (2012-2013)

This is an archived syllabus from 2012-2013

Knowledge Representation and Reasoning
Level: 3
Credit rating: 10
Pre-requisites: COMP11120
Co-requisites: No Co-requisites
Duration: 11 weeks
Course Leader: Bijan Parsia
Additional Lecturers: Sebastian Brandt
Course leader: Bijan Parsia

Additional staff: view all staff
Timetable
SemesterEventLocationDayTimeGroup
Sem 2 Lecture 1.5 Thu 12:00 - 13:00 -
Sem 2 Lecture 1.5 Tue 12:00 - 13:00 -
Assessment Breakdown
Exam: 80%
Coursework: 20%
Lab: 0%

Themes to which this unit belongs
  • Natural Language, Representation and Reasoning

Introduction

The Web is one of the largest and most diverge bodies of knowledge ever. Strikingly, it is also both a relatively coherent information artifact, a distributed computation system, and a medium for human interaction on a wide scale. While much of the content of the Web originates in databases and other well modeled forms of data, it is primarily exposed in the form of HTML. In recent years, Web Services, REST services, XML, and other Web 2.0 technologies have striven to augment the "human oriented" web with a "program oriented" Web, e.g., a Web of Data.

Among these competing approaches, the Semantic Web is distinctive in reimagining the Web not as a Web of Data, but as a Web of Knowledge. The key idea of the Web, of course, is distributed hypertext. The key idea of the Web of Data is a distributed datastore. The key idea idea of the Semantic Web is a distributed knowledge representation

The field of Knowledge Representation (KR) lies at the intersection of (at least) Artificial Intelligence and Information Management. KR is the attempt to provide rich representations of the world and various things in it that supports building programs that are sensitive to the world via these representations. KR has been used to build expert and diagnostic systems, speech recognizers, games, automated planners, etc.

The Semantic Web is where KR and the Web collide. This course will explore the aftermath.

In particular, we will focus on various logic based formalisms for knowledge representations including their design and use. We will look at attempts to represent various parts of commonsense and scientific knowledge, as well as the use of KR for conceptual modeling in information systems. We will explore how to bring such formalism (and associated representations) into a Web context, with special attention paid to the unique challenges thereby raised.

We will also analyze the problems and promises of KR through discussion of some of the seminal articles of the field.

Aims

The course will provide students with an understanding of logic and logic-based knowledge representation formalisms, their theoretical and practical aspects, some relevant reasoning services, and how these are used to support modelling. It will also discuss various issues in knowledge acquisition and engineering with an emphasis on realistic applications.

Programme outcomeUnit learning outcomesAssessment
A1 A5Have an understanding of knowledge representation, its motivations, applicability, advantages and pitfalls.
  • Lab assessment
  • Examination
A1 A5Have knowledge and understanding of some basic KR formalisms namely first-order and description logics.
  • Examination
A1 A5 B1 B3Have knowledge and understanding of the way in which automated reasoning can be used to help with modelling.
  • Examination
B1 B3 C4Have mastered the basic range of techniques for building knowledge representations using standard tooling.
  • Examination
  • Lab assessment

Syllabus

Topic covered include:

Knowledge acquisition
First order logic: syntax, semantics, proof theory, and applications
Description logics: syntax, semantics, proof theory, and applications
Ontologies and ontology engineering
Logic engineering
Conceptual Modelling
Commonsense and scientific representation

Reading List

Selected papers and technical reports will be distributed during the lectures.