Description
The module is intended as an in-depth study of formal symbolic techniques used to model aspects of human reasoning in a computationally feasible way. A principle aim is to give sufficient theoretical grounding in the areas covered to enable an understanding of current research trends and issues.
On successful completion of the module students will be able to:
- construct natural deduction proofs in predicate calculus for short formulae, and check the correctness of longer proofs
- assess the applicability of logic and/or logic programming techniques to represent a range of reasoning tasks and domains
- produce appropriate formal logic-based axiomatisations of simple domains presented informally in English, while identifying ambiguities and logical imprecisions in the informal specifications given
- produce graph-based representations of arguments and their relationships and apply the definitions of abstract argumentation frameworks to evaluate the acceptability of arguments
- describe the differences between the different argumentation frameworks and their relations to other models of reasoning (e.g. nonmonotonic reasoning) and assess their applicability to artificial intelligence and other domains
- assess research articles on topics related to this course
INST0072 Logic and Knowledge Representation is a prerequisite for this module.
Module deliveries for 2024/25 academic year
Last updated
This module description was last updated on 19th August 2024.
Ìý