Logi-five
Language: Teaching Script Entire Dialog
World states:
init-logi5.world
fail-logi5.world
final-logi5.world
Teaching Dialog (Rosie in bold)
TEACHER: The name of the puzzle is logi-five.
Please setup the puzzle.
TEACHER: Load init-logi5.
Ok.
TEACHER: Ok.
Please describe the actions, goals, and failure conditions.
TEACHER: The name of the action is write-1-to-4.
What are the conditions of the action.
TEACHER: You can write a number that is between one and four onto an empty location.
Please describe the meaning of 'empty' in this context.
TEACHER: If the value of a location is absent then the location is empty.
Ok, I've learned the meaning of 'empty' for this context.
I've learned the action.
TEACHER: The solution has four steps.
Ok.
TEACHER: Load fail-logi5.
Ok.
TEACHER: The name of a failure is same-row-value.
Please setup the failure condition.
TEACHER: Ok.
Please describe the failure condition.
TEACHER: If the row of a location is the row of a location and the value of the former location is the value of the latter location then you lose.
I've learned the failure condition.
TEACHER: The name of a failure is same-col-value.
Please setup the failure condition.
TEACHER: Ok.
Please describe the failure condition.
TEACHER: If the column of a location is the column of a location and the value of the former location is the value of the latter location then you lose.
I've learned the failure condition.
TEACHER: The name of a failure is same-color-value.
Please setup the failure condition.
TEACHER: Ok.
Please describe the failure condition.
TEACHER: If the color of a location is the color of a location and the value of the former location is the value of the latter location then you lose.
I've learned the failure condition.
TEACHER: Load final-logi5.
Ok.
TEACHER: The name of the goal is all-filled.
Please setup the goal state.
TEACHER: Ok.
Please describe the goal.
TEACHER: The goal is that all locations are filled.
Please describe the meaning of 'filled' in this context.
TEACHER: If the value of a location is more than zero then the location is filled.
Ok, I've learned the meaning of 'filled' for this context.
I've learned the goal.
TEACHER: Done.
I've learned logi-five. Should I try to solve the puzzle?
TEACHER: No.
Ok.