MEng Software Engineering
Year of entry: 2020
Course unit details:
|Unit level||Level 2|
|Teaching period(s)||Semester 2|
|Offered by||Department of Computer Science|
|Available as a free choice unit?||Yes|
Describe the syntax and semantics of first-order logic and use it to model problems
Apply reasoning techniques (transformation to clausal form, resolution, saturation) to establish properties of first-order problems
Explain the theoretical limitations of automated theorem provers
Write Prolog programs to solve automated reasoning tasks and explain how they will execute
Describe, differentiate and apply different knowledge representation formalisms for modelling knowledge bases.
Explain how these formalisms affect the reasoning process.
Apply, demonstrate and program knowledge-based learning methods.
Apply, demonstrate and program formal models for natural language processing in the context of semantic parsing and natural logic inference.
Teaching and learning methods
22 in total, 2 per week
10 hours in total, 5 2-hour sessions.
- Analytical skills
- Problem solving
|Written assignment (inc essay)||5%|
|Practical skills assessment||25%|
COMP24412 reading list can be found on the School of Computer Science website for current students.
|Scheduled activity hours|
|Assessment written exam||2|
|Practical classes & workshops||10|
|Independent study hours|
|Giles Reger||Unit coordinator|
Course unit materials
Links to course unit teaching materials can be found on the School of Computer Science website for current students.