CS3025: KNOWLEDGE-BASED SYSTEMS (2020-2021)

Last modified: 20 Oct 2020 16:35

Course Overview

Knowledge Representation (KR) is concerned with how knowledge can be represented symbolically and manipulated in an automated way by reasoning programs. In fact, KR has long been considered central to AI because it is a significant factor in determining the success of knowledge-based systems.

This course describes the formalisation of knowledge and its use in knowledge-based systems. It follows the whole "life-cycle" of knowledge, from the initial identification of relevant expertise, through its capture, representation (in ontology and /or rule languages), use (based on reasoning), evaluation, and reuse.

Course Details

Study Type	Undergraduate	Level	3
Term	First Term	Credit Points	15 credits (7.5 ECTS credits)
Campus	Aberdeen	Sustained Study	No
Co-ordinators	Professor George M. Coghill

Qualification Prerequisites

Either Programme Level 3 or Programme Level 4

What courses & programmes must have been taken before this course?

Any Undergraduate Programme (Studied)
One of CS2007 Algorithmic Problem Solving (Passed) or CS2011 Algorithmic Problem Solving (Passed) or CS2012 Advanced Web Application Development (Passed) or CS2509 Advanced Web Application Development (Passed) or CS2512 Advanced Web Application Development (Passed) or CS2521 Algorithmic Problem Solving (Passed) or KL258D Advanced Web Application Development (Passed)

What other courses must be taken with this course?

None.

What courses cannot be taken with this course?

None.

Are there a limited number of places available?

Course Description

Knowledge representation: propositional logic, description logics, ontology, rules, uncertainty and vagueness.
Knowledge reasoning: description logics-based and rule-based systems, tableaux (completion) algorithm for description logics, forward chaining and backward chaining for rules.
Knowledge engineering: expertise identification, capture, evaluations, reusability.

Contact Teaching Time

Information on contact teaching time is available from the course guide.

Teaching Breakdown

More Information about Week Numbers

Details, including assessments, may be subject to change until 30 August 2024 for 1st term courses and 20 December 2024 for 2nd term courses.

Summative Assessments

Critical essay and problem solving exercise 50%
Exam 50%

Alternative Resit Arrangements for students taking course in Academic Year 2020/21

Where a student fails the course overall they will be afforded the opportunity to resit those parts of the course that they failed (pass marks will be carried forward).

Formative Assessment

There are no assessments for this course.

Course Learning Outcomes

Knowledge Level	Thinking Skill	Outcome