The module addresses learning outcomes 2, 3, 4, 5 and 6 for the MSc in Computer Science programme, and learning outcomes 2, 3, 4, 5 and 6 for the MEng in Computer Science programme.
At the end of the module, the student will be able to explain and discuss the need for formal approaches to knowledge representation in artificial intelligence, and in particular the value of logic as such an approach;
be able to demonstrate knowledge of the basics of propositional logic;
be able to determine the truth/satisfiability of modal formula;
be able to perform modal logic model checking on simple examples;
be able to perform inference tasks in description logic;
be able to model problems concenring agents'' knowledge using epistemic logic;
be able to indicate how updates and other epistemic actions determine changes on epistemic models;
have sufficient knowledge to build "interpreted systems" from a specification, and to verify the "knowledge" properties of such systems;
be familiar with the axioms of a logic for knowledge of multiple agents;
be able to demonstrate knowledge of the basics of probability and decision theory, and their use in addressing problems in knowledge representation;
be able to model simple problems involving uncertainty, using probability and decision theory;
able to perform simple Hilbert-style deductions in modal and epistemic logic;
able to use tableau based methods to do inference in description logic.