Hi COMP4418 Students,
In Question 18 of the final exam (the Sequent question), the question is missing the text "if it does not hold, provide a reason". In other words, if you believe that the sequent does not hold, please write as such and explain/prove why.
Alex
Hi,
The Practice Exam has been created and is now available via a link on the Moodle page for this course. There should also be a link for you to create an account for Inspera, which is the platform we will use for the final exam.
Repeating from the previous notice, the practice exam is shorter than the final exam and in the final exam you will have to upload a file for each of the short answer questions.
Please don't hesitate to make a forum post or email me at alexander.lam1@unsw.edu.au if you have any queries about the practice or final exam.
Regards,
Alex
Hi all,
As a reminder, the final exam for this course worth 55% of your final grade will be on Thursday, 9th December 2021 at 1:45 pm. The details of the exam are as follows:
You will have 3 hrs (+ 15 mins reading time) to complete the exam.
The exam structure is:
* Part A: 20 Multiple Choice questions. Each question has 5 alternatives. Each question in this section is worth 2 marks. There is a penalty of −0.5 marks for answering a question in this section incorrectly. There is no penalty for not answering a question. In other words, you get no marks for a question if you do not attempt it and you lose half a mark for getting a question wrong.
* Part B: 2 Short Answer questions worth a total of 20 marks for Introduction to KRR, Formal Logic and Reasoning, Commonsense Reasoning.
* Part C: 2 Short Answer questions worth a total of 20 marks for Decision Making.
* Part D: 4 Short Answer questions worth a total of 20 marks for Non-monotonic Reasoning, Reasoning about Actions.
The exam will be online and open-book, hosted on Inspera which is similar to an online Moodle quiz. For each of the short answer questions you will have to upload a file (could be pdf or image) showing your working out and your answer to the question.
Everything that has been covered in the course is examinable.
Soon we will open up a practice exam which has questions similar in style to what you will receive in the final exam. Note that the practice exam is shorter than the final exam, and that for the short answer questions there will be text boxes for you to enter your solution whilst in the actual final exam you will have to upload a file for each question showing your solution.
Candidates may bring to the examination:
* A device to access the Inspera quiz via the Internet
* Pens, pencils and paper for problem solving.
* Any notes, lecture slides, source code, or textbooks.
By starting this exam as a student of The University of New South Wales, you do solemnly and sincerely declare that you have not seen any part of this specific examination paper for the above course prior to attempting this exam, nor have any details of the exam's contents been communicated to you. In addition, during the exam you will not communicate with anyone except the Course Convenor. Violation of this agreement is considered Academic Misconduct and penalties may apply.
FIT TO SIT
----------
By sitting or submitting an assessment on the scheduled assessment date, a student is declaring that they are fit to do so and cannot later apply for Special Consideration.
If, during an exam a student feels unwell to the point that they cannot continue with the exam, they should take the following steps:
1. Stop working on the exam and take note of the time.
2. Contact the Course Coordinator immediately and advise them that they are unwell.
3. Immediately submit a Special Consideration application saying that they felt ill during the exam and were unable to continue.
4. If they were able to advise the Course Coordinator during the assessment, attach screenshots of this conversation to the Special Consideration application.
TECHNICAL ISSUES
----------------
If students experience a technical issue, they should take the following steps:
1. Take screenshots of as many of the following as possible:
* error messages
* screen not loading
* timestamped speed tests
* power outage maps
2. Contact the Course Coordinator immediately to advise them of the issue.
3. A Special Consideration application should be submitted immediately after the conclusion of the assessment, along with the appropriate screenshots.
My advice for preparing for the final exam is:
Morri's section: Make sure you understand how to do syntactic and semantic proofs for both propositional and first-order logic. There are practice exercises for these on WebCMS. Also make sure you understand the definitions and terms used in this section.
Haris' section: Make sure you understand the axioms and which problem contexts each axiom is applicable to. Coming up with your own examples and counterexamples can help here. Also make sure you know how to do the computations and calculations from the lectures.
Abdallah's section: Make sure you understand the structure of an ASP program, and practice coding NP-Hard problems using ASP.
Regards,
Alex
Hi everyone,
If you would like feedback on your Assignment 2 please email me at alexander.lam1@unsw.edu.au
Thanks,
Alex
Dear class, the assignment 2 marks are now uploaded. Please let us know if you have any trouble accessing them.
Dear all,
Apologies for the reminder to the students who have already completed the survey.
The term is coming to an end and I would like you all to take a few minutes to fill in the myexperience survey. I assume you have received email from the School/Faculty/University about this, but I wanted to add another request from COMP4418. Morri, Haris, and myself have been trying to make this course both and enjoyable and a learning experience for all of you and it is important for us to know what worked well (and should be preserved) and what didn't work so well (and should be scrapped or improved) and what felt missing (and should be introduced).
Last year's survey lead to some changes this year. I am confident that this year's survey will help make the course better in the next round! Notwithstanding many small improvements, the two biggest changes based on last year's myexperience survey are, in my opinion:
* Swapping the order of ASP and social choice chapters
* Solving soocial choice problems using ASP (e.g., Borda elections in interactive sessions, a matching problem in assignment 3, and one problem in the final exam) so as to connect the two chapters more visibly.
Conversely, some elements were appreciated last year and so we decided to keep them, including having 3 lecturers involved, each with their own style, expertise, and perspective on the topic. The mixing of pre-recorded videos with interactive sessions worked out well last year so we kept the format this year too. And of course lots of small points that we were initially not 100% sure about but that the myexperience survey encouraged to keep or highlight.
So, if you haven't filled-in the survey yet, please head to the following link before tomorrow evening (the survey closes on Thursday Nov 25, midnight)
https://myexperience.unsw.edu.au
With that being said. I hope your last weeks of T3 are going well. Good luck with the last assignments and exams of COMP4418 and your other courses.
Dear all,
The title says it all, please see the forum post for some details.
Best,
Abdallah
The marks for Assignment 1 Questions 1, 2 and 4 are now available. Question 3 marks should be available next week.
[Update: 10:38am Fri 19 Nov. There was an issue uploading marks for Question 4 that is now fixed.]
Hi all,
Assignment 3 is now available in the assignments section. It only has two exercises and the deadline is November 22. Give isn't setup yet, please give wait for a few days before submitting your work.
Make sure to watch the recordings of the interactive sessions on echo360 as I've gone through some techniques that you may find useful in solving the assignment (and later the exam).
All the best,
Abdallah
Dear All,
There is currently a typo on give which says the assignment 2 deadline is "Wed Nov 5 2021 15:00:00" instead of the intended "Tue Nov 2 2021 15:00:00" deadline. Instead of fixing this typo, we are extending the assignment 2 deadline to Fri Nov 5 15:00:00 (as per the give spec). In other words, you now have until this Friday 3 pm to submit Assignment 2.
Regards,
Alex
Dear all,
Welcome to the third and last chapter of COMP4418. I have uploaded the theoretical content videos on echo360 (4 videos in week 8 and 1 video in week 9). Please try to have a watch of Parts 0, 1, 2 by the Tuesday 4pm interactive session. This is a little bit more than one hour of video, so I understand that some of you may not have enough time to completely prepare, in that case just go over the slides and you will still be very welcome to the session to ask questions prompted by what you've read! Ideally, you would also have a look at video Part 3 by Thursday (30min video), and Part 4 by Tuesday next week.
My plan for the remaining of the term is as follows. Tuesday we go over the concepts explained in the videos 0,1,2, clarify questions some of you may have and run a few examples. Starting Thursday, but especially next week, we will get into more practice with some problem and puzzle solving. In week 10, we'll practice with more combinatorial problems, and we will aslo solve together last year's ASP assignment and the ASP part of last year's final exam, so that you can get a good feeling for what is expected in the assessment.
Bear in mind that all the theory content is uploaded already and there won't be any more pre-recorded videos coming up in Week 9 or 10. The remaining uploads are just the recordings of the interactive sessions we will be having together for the rest of the term.
How to prepare for this week:
* For Tuesday, watch Part 0--2.
* For Thursday, watch Part 3. Read (and think) about Smullyan's Knight and Knaves problems https://en.wikipedia.org/wiki/Knights_and_Knaves . We will see together how we can use ASP to solve such riddles (using examples from https://philosophy.hku.hk/think/logic/knights.php ). Another puzzle we will play with can be found at https://www.brainzilla.com/logic/greek-logic/ , maybe spend a few minutes familiarizing yourself with the rules before we learn how to get ASP to solve these problems for us. Time allowing, we will look into the Minesweeper game and the N-queens problem, if you haven't ever come across those, then look up the rules in preparation!
Looking forward to the Tuesday session!
Best,
Abdallah
This is a reminder that Assignment 2 is due on 2nd November. The assignment is based on material from weeks 4 and 5.
I've been replying to some emails regarding assignment 2. I'll be happy to discuss further queries in the interactive sessions in week 7.
The give system is now available for Assignment 1 submissions.
Let me know if you have any issues.
Dear COMP4418 students,
This is a short notice to remind you that tomorrow, October 10, is Census Date, the deadline to withdraw from the course without fee/academic penalty. The assessment for this term of COMP4418 is detailed on the course outline, but basically it's 3 assignments (15% each) and a final exam.
Kind regards,
Abdallah
The Assignment 1 specification is now available and is due at 23:59:59 Sunday 17 October (Week 5). We will be discussing the assignment during tomorrow's interactive lecture.
A reminder of the (interactive) lectures at 4-5pm on Tuesday and Thursday this week. These will be recorded and available from the Lecture Recordings .
I have posted lectures slides with video recordings on Horn Logic, Procedural Control, Nonmonotonic Reasoning and Prolog (at the moment I have used the Prolog lectures from last year so that I can get them out quickly - the formatting of the lecture slides has been made consistent with others this year but the content of the Prolog lecture slides is roughly the same as last year).
You can access Tuesday's interactive lecture via this
MS Teams link
. We will be going through some further problems on first-order logic and look at nonmonotonic reasoning.
You can access Thursday's interactive lecture via this MS Teams link .
A reminder of the (interactive) lectures at 4-5pm on Tuesday and Thursday this week. These will be recorded and available from the Lecture Recordings .
I have posted two sets of lectures slides with video recordings available in the morning.
You can access tomorrow's interactive lecture via this
MS Teams link
. We will be going through some further problems on propositional logic and make a start on some of the first-order logic problems.
You can access Thursday's interactive lecture via this MS Teams link .
A reminder of the (interactive) lectures at 4-5pm on Tuesday and Thursday this week. These will be recorded and available from the Lecture Recordings . In the remainder of the lecture time we suggest you work on COMP4418 activities (watching lecture videos, tackling exercises and working on assignments, etc.). I would encourage you to attend these interactive sessions and take part in the discussion.
At tomorrow's (Tuesday) session we will:
The lecture slides and lecture videos will be available in the morning.
You can access tomorrow's lecture via this
MS Teams link
.
You can access Thursday's lecture via this
MS Teams link
.
Note that I have put up a Lecture 0: KRR in Context. This is an optional lecture that tries to put the course content in context of broader study in artificial intelligence. I hope you enjoy it!
It would be a great help to have your feedback through the Forums or email.
I look forward to seeing you on-line at tomorrow's class.
Welcome to the course COMP4418: Knowledge Representation and Reasoning.
This course will be starting next week.
Please take some time to read the Course Outline and to view the Welcome Video available via the Lecture Recordings link in the menu bar to the left.
Early next week lecture videos will be available for next week's lectures.
We will use part of the lecture times on Tuesdays and Thursdays for interactive sessions where you can ask questions and we will go through problems. These will be recorded and available from the Lecture Recordings . In the remainder of the lecture time we suggest you work on COMP4418 activities (watching lecture videos, tackling exercises and working on assignments, etc.). More details will be provided next week.
On behalf of Morri, Haris and myself, welcome to COMP4418. We hope that you will learn a lot in this course. We're very much looking forward to this year's offerings and meeting you during our online classes.