Course Co-ordinator: Dr J. Z. Pan

Pre-requisite(s): CS 2007 or CS 2509

Note(s): Assistive technologies may be required for any student who is unable to use a standard keyboard/mouse/computer monitor. Any students wishing to discuss this further should contact the School Disability Co-ordinator. (ii) Non-graduating students would require the following background/experience: familiarity with a procedural programming language.

• 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.

Four hours per week: 2 one-hour lectures, 1 two-hour practical.

1st Attempt: 1 two-hour written examination (75%); continuous assessment (25%).

Resit: 1 two-hour written examination (75%); continuous assessment mark carried forwards (25%).

Only the marks obtained on first sitting can count towards Honours classification.