CMT304设计编程辅导、写作Java程序

” CMT304设计编程辅导、写作Java程序Cardiff School of Computer Science and InformaticsCoursework Assessment Pro-formaModule Code: CMT304Module Title: Programming ParadigmsAssessment Title: Part 1: Logic ProgrammingAssessment Number: 1 of 4Date Set: 30th November 2020Submission date and Time: 24th May 2021 at 9:30amReturn Date: 14th June 2021This assignment is worth 25% of the total marks available for this module. If coursework issubmitted late (and Where there are no extenuating circumstances):1. If the assessment is submitted no later than 24 hours after the deadline, the mark forthe assessment will be capped at the minimum pass mark;2. If the assessment is submitted more than 24 hours after the deadline, a mark of 0 willbe given for the assessment.Your submission must include the official Coursework Submission Cover sheet, which canbe found here: httpss://docs.cs.cf.ac.uk/downloads/coursework/Coversheet.pdfSubmission InstructionsAll submission must be via Learning Central. Upload the following files in a single zip file,[student number].zip:Description Type NameCover Sheet Compulsory One PDF (.pdf) file [student number].pdfTask 1 Compulsory Four source files problem encoding.lpproblem instance1.lpproblem instance2.lpproblem instance3.lpTask 2 Compulsory One PDF (.pdf) file task2.pdfAny deviation from the submission instructions above (including the number and types offiles submitted) will result in a mark of zero for the assessment or question part.Staff reserve the right to invite students to a meeting to discuss coursework submissions.1Your submissions will be checked for plagiarism. Your work must be your own andyou must independently solve the problem and submit your own solution. Any othermaterial or sources of information you use must be referenced. Code and text yousubmit will be compared with other submissions and various other sources on andoff the Internet. Any substantial similarities of you submission to unreferenced workor material not created by yourself will be subject to academic misconduct procedures.Marks will only be assigned for work you have done yourself (incl. finding anddiscussing material from references, but not the referenced work; there are no marksfor code copied from elsewhere, but for either writing your own code or integratingand adapting code that you have not written).BackgroundThis is assignment one of a Portfolio that will be composed of four assignments. Each ofthe four assignments is worth 25% , summing up to 100% of the total marks available for thismodule.AssignmentConsider the following situation:The public works division in a region has the responsibility to subcontractwork to private companies. There are several types of tasks. Each task is carriedout by a team, but each team is capable of carrying out all different types of tasks.The region is divided into districts, and the amount of tasks to be done in eachdistrict is known. In particular, the following information is available: The region is divided into n districts. There are m private companies such that 1 . . . k are experienced andk + 1 . . . m are non-experienced. Each company i has titeams available, for all 1 i m. Each district j requires aj many teams, for all 1 j n. The yearly cost of allocating a team from a company i to a district j is (theinteger) ci,j , for all 1 i m, 1 j n.The goal is to write a logic program for helping the public works division with this process.Using the information above, the program should determine the number of teams from eachcompany to allocate to each district such that the following constraints are satisfied. At least one experienced company must be allocated to each district (as precaution incase some difficult task arises in that district). Enough teams must be allocated to meet the demand in each district. No company can be asked to provide more teams than it still has available. The cost must be minimised.2Task 1:1. Write a logic Program in ASP (problem encoding.lp) which finds all solutions to theproblem, given n, m, k, ti, aj , ci,j for all 1 i m, 1 j n. Document your codeso the following is clear.(a) How it should be used.(b) What the approach to solving the problem is. In particular, you need to explainwhat each rule achieves and how the rule achieves it.Include your name and student id in the comments.2. Write three problem instances (problem instancei.lp, for all i {1, 2, 3}) to test yourprogram. Document your code so it is clear what the instance is modeling.Task 2: Write a short report on logic programming related to the problem:1. Provide, in up to 300 words, an analysis of the design and functioning of your programin terms of the Guess-and-Test modeling methodology.2. Provide, in up to 300 words, two arguments for and two arguments against using logicprogramming to solve the problem.The word limits are an upper limit, not a target length. Text longer than the word limit foreach point will be ignored. Clearly mark each argument in your answer and indicate if it isfor and against. Only provide two arguments for and against; additional arguments will beignored.Learning Outcomes Assessed Evaluate and apply the logic programming paradigm to solve a given problem. Discuss and contrast the issues, features, design and concepts of logic programming. Explain the conceptual foundations of logic programming.Criteria for assessmentTask 1: maximum 50 Marks, assessed according to the following scaleFail 0 No code has been submitted.1 14 Code does not run or does not produce valid output for any valid input; littleto no relevant documentation.15 24 Code is valid without syntax errors and creates a valid output for everyvalid input (or produces a suitable error message for valid cases it cannotprocess). Even if the output is not a solution, a suitable attempt to solve theproblem is visible. An attempt to document the code has been made.Pass 25 29 Code is valid without syntax errors and creates a valid output for everyvalid input (or produces a suitable error message for valid cases it cannotprocess). A suitable attempt to solve the problem has been made, thatwill often find at least one solution (if there is any). The attempt has beenreasonably documented, but No consideration has been given to optimisethe programs performance.3Merit 30 34 Code is valid without syntax errors and creates a valid output for everyvalid input (or produces a suitable error message for valid cases it cannotprocess). A suitable attempt to solve the problem has been made, that willfind all solutions (if there are any). The attempt has been well documented.Distinction 35 50 Code is valid without syntax errors and creates a valid output for every validinput. A suitable attempt to solve the problem has been made, that will findall solutions (if there are any) for all problems, with excellent performance.The attempt has been well documented and clearly shows an effort to optimisethe programs performance, e.g. by using efficient algorithms anddata representations and also some heuristics.Task 2: maximum 50 marks, assessed according to the following scaleFail 0 No document has been submitted.1 14 An insufficient number of arguments has been submitted and/or they hardlyapply to the logic programming paradigm. At most an incomplete attemptto analyse the design and functioning of the program has been made.15 24 An insufficient number of arguments has been submitted, but they showsome understanding of the logic programming paradigm. An attempt hasbeen made to analyse the Design and functioning of the program.Pass 25 29 The required number of valid arguments has been submitted. They aregenerally valid for the logic programming paradigm, but they repeat similarissues, do not consider the specific problem or contain mistakes in thedetails. A suitable attempt has been made to analyse the design and functioningof the program.Merit 30 34 The required number of valid arguments has been submitted. They showa clear understanding of the logic programming paradigm and how theserelate to the problem. The analysis of the design and functioning of theprogram is well-developed, showing a clear understanding of the Guessand-Testmethodology.Distinction 35 50 The required number of valid arguments has been submitted. They showa clear understanding of the logic programming paradigm and the underlyingtheoretical concepts and/or realisations on programmable machinesand how these relate to the problem. The analysis of the design and functioningof the program shows a clear understanding of the Guess-and-Testmethodology and shows an understanding of related performance issues.Feedback and suggestion for future learningFeedback on your coursework will address the above criteria. Feedback and marks willbe returned on 14th June 2021 via Learning Central. This will be supplemented with oralfeedback on request.如有需要，请加QQ：99515681 或WX：codehelp

“