1. Homepage
  2. Programming
  3. Knowledge Representation and Reasoning Coursework 2: Workflow Satisfiability Problem

Knowledge Representation and Reasoning Coursework 2: Workflow Satisfiability Problem

Contact Us On WeChat
MalaysiaThe University of Nottingham MalaysiaCOMP3008G53KRRKnowledge Representation and ReasoningWorkflow Satisfiability ProblemPython

Knowledge Representation and Reasoning


CourseNana.COM

Coursework Overview CourseNana.COM

The Workflow Satisfiability Problem is an important problem in access control (information security). It is about organising a workflow in an organisation in such a way that certain security-related constraints are satisfied CourseNana.COM

Coursework Details CourseNana.COM

More detail is available in Appendix 1. CourseNana.COM

Deliverable CourseNana.COM

(a brief description of what is to be handed in; e.g. CourseNana.COM

'software', 'report') CourseNana.COM

§   A report. CourseNana.COM

§   The solver's code CourseNana.COM

Format CourseNana.COM

§   The report should be submitted in .pdf format. CourseNana.COM

§   The solver code in a respected programming language file extension. For example, to submit a .py file if the solver was implemented in CourseNana.COM

Python. CourseNana.COM

  CourseNana.COM

Submission Mechanism CourseNana.COM

Both the report and code should be submitted as .pdf files via Moodle. CourseNana.COM

  CourseNana.COM

For the code, please try your best to wrap all the functionalities in a single file. For example, if you are using Python to complete the coursework, you can store all the functions/classes within a single .py file. If this is not possible, kindly CourseNana.COM

zip all the solver file extensions when attaching it in Moodle. CourseNana.COM

  CourseNana.COM

  CourseNana.COM

Instructions CourseNana.COM

Coursework 2 is explained in the general coursework guide uploaded to Moodle. CourseNana.COM

A FAQ will be maintained in Moodle. If you have questions, talk to the module convenor; answers to new questions will be added to the FAQ. CourseNana.COM

Assessment Criteria CourseNana.COM

Part 1: Completeness and correctness of the solution method (50%) CourseNana.COM

  CourseNana.COM

§   The proposed solution should terminate with a solution when one exists. CourseNana.COM

§   The proposed should behave according to the predetermined goals and specifications. CourseNana.COM

§   The proposed based solver for workflow will be evaluated against unseen instances (i.e., instances other than the example provided) CourseNana.COM

  CourseNana.COM

Part 2: Quality and elegance of the solution method and code (20%) CourseNana.COM

  CourseNana.COM

§   The code quality encompasses code clarity, maintainability, documentation, refactoring, well-tested, and efficiency. CourseNana.COM


CourseNana.COM

  CourseNana.COM

§   The course also challenges the student to develop a compact, elegant mathematical description for checking the satisfiability of the problem. CourseNana.COM

  CourseNana.COM

Part 3 Report (30%) CourseNana.COM

  CourseNana.COM

§   The report should consist of the following elements and in the following order CourseNana.COM

  CourseNana.COM

a)              Introduction: CourseNana.COM

  CourseNana.COM

You may consider introducing the solver and language that you use for this coursework, whether you know of any functionality that does not (always) work, etc. While this is optional, for the student who may want to include previous research on the timetabling satisfiability literature may discuss this in this subsection. CourseNana.COM

  CourseNana.COM

b)              Formulations of the problem: CourseNana.COM

  CourseNana.COM

For starters, it is advisable to consider the formulation we covered in the previous lab session. While the mathematical formulation is usually more abstract than the actual implementation, it must be detailed enough to explain how it can be implemented with OR-Tools. CourseNana.COM

  CourseNana.COM

Should there is an introduction of new notations, be clear about them. CourseNana.COM

  CourseNana.COM

The formulation can be split into several parts: e.g., the part that is unrelated to the constraints and then the formulation for each constraint type. Unless obvious, explain why each formulation is correct for each constraint type and the selected API functions. CourseNana.COM

  CourseNana.COM

c)              Alternative formulation (optional): CourseNana.COM

  CourseNana.COM

Refer to section Assessment Criteria part 3 (b) CourseNana.COM

  CourseNana.COM

d)              Implementation: CourseNana.COM

  CourseNana.COM

This section can explain the steps taken to compile/execute the solver. Also, explain the logic of the work of your solver; specifically, how does it establish if there exist multiple solutions to the problem? Discuss any known bugs. If the implementation is straightforward, this section will likely be concise. CourseNana.COM

  CourseNana.COM

e)              Evaluation: CourseNana.COM

  CourseNana.COM

For each sample instance, report if the solver tackles it correctly. CourseNana.COM

  CourseNana.COM

While this is optional, analysis, such as how long it takes to evaluate each sample instance, is recommended. Should there CourseNana.COM

is more performance analysis; then it should be reported in this section. CourseNana.COM


CourseNana.COM

  CourseNana.COM

f)               Discussion CourseNana.COM

  CourseNana.COM

A discussion of the question in light of the experimental results. CourseNana.COM

  CourseNana.COM

g)              Conclusion CourseNana.COM

  CourseNana.COM

This is the report section for giving a clear summary of the main points of the work, reflecting on its successes and limitations, and briefly discussing how to extend the current works, approaches or evaluations if more time is allocated to complete the coursework. CourseNana.COM

  CourseNana.COM

h)              Reference CourseNana.COM

  CourseNana.COM

List of references used in the report. While this is optional, it is recommended to apply the APA style of reference citation. See the APA documentation for more details https://apastyle.apa.org/ CourseNana.COM

  CourseNana.COM

§   The report will be evaluated according to its correctness and quality. CourseNana.COM

§   The student is encouraged to produce and discuss more than one solution approach to score extra marks. CourseNana.COM

§   There is no minimum number of words stipulated. CourseNana.COM

  CourseNana.COM

Oral Interview (0%) CourseNana.COM

  CourseNana.COM

§   The interview does not affect the mark; however, it is a compulsory part of the coursework. CourseNana.COM

§   Failing to attend the interview will result in a mark of ZERO (0) for the coursework. CourseNana.COM

§   The module convener will set a time slot for the interview, and you may pick the preferred time at your convenience. More detail about the slot opening will be issued around the submission deadline. CourseNana.COM

§   The interview will take around 8~10 minutes and will be via Microsoft Teams. CourseNana.COM

§   During the interview, the agenda involved a demonstration of the solver, followed by Q&A related to the code and report. CourseNana.COM

Get Expert Help On This Assignment

Scan above qrcode with Wechat

Malaysia代写,The University of Nottingham Malaysia代写,COMP3008代写,G53KRR代写,Knowledge Representation and Reasoning代写,Workflow Satisfiability Problem代写,Python代写,Malaysia代编,The University of Nottingham Malaysia代编,COMP3008代编,G53KRR代编,Knowledge Representation and Reasoning代编,Workflow Satisfiability Problem代编,Python代编,Malaysia代考,The University of Nottingham Malaysia代考,COMP3008代考,G53KRR代考,Knowledge Representation and Reasoning代考,Workflow Satisfiability Problem代考,Python代考,Malaysiahelp,The University of Nottingham Malaysiahelp,COMP3008help,G53KRRhelp,Knowledge Representation and Reasoninghelp,Workflow Satisfiability Problemhelp,Pythonhelp,Malaysia作业代写,The University of Nottingham Malaysia作业代写,COMP3008作业代写,G53KRR作业代写,Knowledge Representation and Reasoning作业代写,Workflow Satisfiability Problem作业代写,Python作业代写,Malaysia编程代写,The University of Nottingham Malaysia编程代写,COMP3008编程代写,G53KRR编程代写,Knowledge Representation and Reasoning编程代写,Workflow Satisfiability Problem编程代写,Python编程代写,Malaysiaprogramming help,The University of Nottingham Malaysiaprogramming help,COMP3008programming help,G53KRRprogramming help,Knowledge Representation and Reasoningprogramming help,Workflow Satisfiability Problemprogramming help,Pythonprogramming help,Malaysiaassignment help,The University of Nottingham Malaysiaassignment help,COMP3008assignment help,G53KRRassignment help,Knowledge Representation and Reasoningassignment help,Workflow Satisfiability Problemassignment help,Pythonassignment help,Malaysiasolution,The University of Nottingham Malaysiasolution,COMP3008solution,G53KRRsolution,Knowledge Representation and Reasoningsolution,Workflow Satisfiability Problemsolution,Pythonsolution,