CP3210, Supplementary Assignment, 1997
Worth 15%. Due on 23/5/97
Resolution Strategies
Write a technical report describing the following refinements to the
basic resolution procedure :
- Lock resolution
- Unit resolution
- Unit-resulting resolution
- Hyper-resolution
- Model elimination
For each one you must describe its operation, give an example refutation,
and explain what types of problems it is suitable for. In order to achieve
maximal marks, you also need to give some insights into the similarities
and differences between them, and comment on their strengths and weaknesses.
The report must be 1500 to 2000 words excluding references, and must
be word processed (hand written assignments will be ignored).
If you are unfamiliar with technical and scientific writing style, there
are several books in the library that will guide you.
Remember ... late and plagiarised assignments receive 0%.
Marking Scheme
For each of the 5 strategies, 1 mark for description, 1 mark for example,
0.5 mark for comments on suitable use, 0.5 mark for similarities and
differences, strengths and weaknesses.