KNOWLEDGE REPRESENTATION AND REASONING
2018/2019, Semester 2
School of Computing (Computer Science)
Modular Credits: 4
On successful completion of the module, students should be able to:
(1) Understand the need for different representations such as propositional, first order logic, defaults and negation, temporal logic.
(2) Understand the complexity and algorithmic techniques behind reasoning techniques for propositional, first order logic, defaults and negation.
(3) Appreciate the tension between expressibility and computational complexity.
1. The instructor will teach using whiteboard and students need to take down lecture notes on their own. No supplementary lecture notes will be provided.
2. Students are expected to participate in discussions.
Project 1 -- 40%
Project 2 -- 30%
Class Participation -- 10%
Scribe -- 5%
Take Home Exam -- 15%
Scribes (for all the lectures) -- 5%
Workload Components : A-B-C-D-E
A: no. of lecture hours per week
B: no. of tutorial hours per week
C: no. of lab hours per week
D: no. of hours for projects, assignments, fieldwork etc per week
E: no. of hours for preparatory work by a student per week
At the end of every lecture, you should fill up the spreadsheet here:
Here is the guideline to filling the spreadsheet: If your answer to any of the columns is less than 2, please fill up the actual number otherwise fill up 2 in the corresponding column. You should not fill up a number greater than 2
You have an option to either submit lecture notes as a group submission or individual submission.
You should upload a zip folder of all your LaTeX source files along with any non-standard style files that you may be using. This folder will not be visible to all the students.
Few things to note:
You must use the template uploaded in "Instructor-Lecture Notes" folder.
You should name your files as Lec<Week #>-<studentid>.pdf For example, if you are uploading lecture notes for Week 1 and your student ID is e012345 then your file should be submitted as Lec1-e012345.pdf. Failure to follow guidelines may result in zero marks awarded for the corresponding week.
If you are making a group submission, then replace <studentid> with "Group".