University of Aberdeen
Knowledge Representation and Reasoning (CS551J) Assessment 1
The assessment is worth 50% of the overall marks for the module. Each item indicates the number of marks it is worth, clearly broken down in their specification.
Students will provide their answers via MyAberdeen and receive feedback via MyAberdeen.
Copyright By PowCoder代写 加微信 powcoder
Deadline extensions will not be granted unless under serious extenuating circumstances that can be corroborated with some credible proof. Extensions can only be asked before the deadline, no extensions will be granted after the deadline. We reserve the right to deny extensions on a case by case basis.
Submission instruction to students:
Your solution should be one single ZIP file (including one PDF for questions 1–4, and all the files required as per submission instructions of question 5) that you should upload to MyAberdeen by the established time/deadline. Do not email us your solution.
Your file should be named “CS551J-ASMNT1-YourSurname-YourName-YourIDNo”. For in- stance, “CS551J-ASMNT1-Smith-John-999999.pdf”, where Day 6-9 should be the day of the class test in question, and 999999 is your student ID. Please try to make your submission file less than 10MB as you may have issues uploading large files onto MyAberdeen.
Indicate clearly in your submission which item each solution is for. If we cannot identify this, you may be marked down.
For solutions in ZIP files, the individual item will describe an internal structure that you should follow exactly, failure to do so may drop marks.
If you do not follow these instructions you will lose marks. Important Advice
About this assignment: You must never share it with anybody in or outside the course, even after you complete the course.
Please do not distribute or post solutions to any of the projects and notebooks.
Academic Dishonesty: This is an advanced course, so we expect full professionalism and ethical conduct. You must work on this assessment individually. You are free to discuss high-level design issues with the people in your class, but every aspect of your actual formalisation/code/answer must be entirely your own work. Furthermore, there can be no textual similarities in the reports generated by each student. Plagiarism, no matter the degree, will result in forfeiture of the entire grade of this assessment. We trust you all to submit your own work only; please do not let us down. If you do, we will pursue the strongest consequences available to us according to the guidelines provided by the university. For more information, see the Code of Practice on Student Discipline.
CS551J – Knowledge Representation and Reasoning
First-Order Logic, Knowledge, and Resolution
1. Someone murdered aunt Agatha! Translate the sentences below to first-order logic (items a to j) and then provide the answer to this murder mystery on item k.
(a) (1 mark) Someone who lives in Dreadbury Mansion killed aunt Agatha.
(b) (1 mark) Agatha, the butler, and Charles live in Dreadbury Mansion, and are the only people who live therein.
(c) (1 mark) A killer always hates his victim, and is never richer than his victim.
(d) (1 mark) Charles hates no one that aunt Agatha hates.
(e) (1 mark) Agatha hates everyone except the butler.
(f) (1 mark) The butler hates everyone not richer than aunt Agatha.
(g) (1 mark) The butler hates everyone aunt Agatha hates.
(h) (1 mark) No one hates everyone.
(i) (1 mark) Agatha is not the butler.
(j) (1 mark) Who killed aunt Agatha? (this is the goal for the proof, you have to list all possib- ilities as queries)
(k) (10 marks) Answer the question of the murder mystery, who killed aunt Agatha? Explain how you arrived at your conclusion by using the FOL formulae.
Total Marks 1:
Submission instructions: Include a PDF file named murder-mystery.pdf (PDF only, not doc or anything else) with your answers in your ZIP file.
Marking scheme: Formulae in items a to j that is not well formed will merit 0 marks. A correct answer to item k is worth 2 marks. The remaining 8 marks are dependent on the explanation provided (remember that it has to refer to your FOL formulae).
Assessment 1 2
CS551J – Knowledge Representation and Reasoning
Horn-Clauses and Prolog
2. Your assignment is to write a text adventure game in Prolog.1 You should use the SWI-Prolog interpreter.
You can copy the file “adventure.pl” (available on myAberdeen along with this PDF) and use it as a starting point. In this game there is one room, one object, and one direction you can go (north, but going in that direction takes you back to the same room). Add to this code to create your own game. This is free code, to use or modify any way you like to create your own game. Submitting the same file without any significant changes will merit 0 marks. You do not need to use this file as a starting point, but you must follow the requirements specified in the following questions:
(a) (4 marks) Locked door – Requires an item or an action to open passage to new, previously blocked, locations. Some examples: you must find a key and use it to unlock a door, you need to buy a ticket to gain access to a location, you need a badge to be allowed in, you need some sort of payment or exchange of goods, etc.
(b) (4 marks) Hidden object – Requires some item or action that will make the hidden object visible/obtainable. Some examples: open a box to find something inside, use a combination found elsewhere to open a safe, disassemble an object to get parts, etc.
(c) (4 marks) Incomplete object – Requires you to combine two or more items together. Some examples: computer and usb stick, batteries and flashlight, torch and fire, etc.
(d) (4 marks) Limited resources – Requires some expandable resource that may or may not be recovered. Some examples: time, money, bullets, sleep, food, etc.
(e) (4 marks) Inventory – Command predicate i that will print what is in the inventory of the player.
(f) (10 marks) Transcript and report – see submission instructions. Hints:
Total Marks 2:
There are many text adventure games available online (many even in Prolog) to draw inspir- ation from. Just be careful with plagiarism, only use them for inspiration, do not copy any of the code.
Submission instructions: The following files should be included in your ZIP file (ZIP only, not RAR, 7z, or anything else):
game name.pl – source code. The game name should be a short version of the name of your game.
transcript.txt – a transcript of a sample run of your program. This is a walkthrough of the game, showing the commands entered and the computer’s response to each command. You can get this by playing the game and copy/pasting the results.
report.pdf – game report containing: – the name of your game;
– one paragraph describing what your game is about;
– an indication (code excerpts and examples) of how you have satisfied the requirements
for a locked door, hidden object, incomplete object, limited resource, and inventory.
Marking scheme: Your program should work, should satisfy the above requirements, and should be reasonably formatted. At most 8 marks if the program does not run. Submissions without a “report.pdf” will merit 0 marks.
1This assessment is inspired by Prolog assignments from .
Assessment 1 3
CS551J – Knowledge Representation and Reasoning
You should have a start/0 predicate (similar to the one provided) that we can use to start your game and find out what commands you have added. Submissions without this predicate will merit 0 marks.
We reserve the right for some subjective judgment. If we like your game, we may give you bonus points for it. If your game seems to lack creativity and interest, you may lose points.
Assessment 1 4
程序代写 CS代考 加微信: powcoder QQ: 1823890830 Email: powcoder@163.com