Kakuro


Language: Teaching Script   Entire Dialog
World states: init-kakuro.world  final-kakuro.world  fail-kakuro.world 

Teaching Dialog (Rosie in bold)


TEACHER: The name of the puzzle is kakuro.
Please setup the puzzle.
TEACHER: Load init-kakuro.
world representation
Ok.
TEACHER: Ok.
Please describe the actions, goals, and failure conditions.
TEACHER: The name of the action is write-1-to-9.
What are the conditions of the action.
TEACHER: You can write a number that is between one and nine 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 final-kakuro.
world representation
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: Load fail-kakuro.
world representation
Ok.
TEACHER: If two of the green locations are identical and they have the same row then you lose.
Please setup the failure condition.
TEACHER: Ok.
Please describe the meaning of 'identical' in this context.
TEACHER: If the locations have the same value then they are identical.
Ok, I've learned the meaning of 'identical' for this context.
I've learned the failure condition.
TEACHER: If two of the green locations are identical and they have the same column then you lose.
Please setup the failure condition.
TEACHER: Ok.
I've learned the failure condition.
TEACHER: If the green locations in a file are filled and the sum of the values of the file is not the value of a location that is atop the file then you lose.
Please setup the failure condition.
TEACHER: Ok.
Please describe the meaning of 'file' in this context.
TEACHER: If the blocks have the same column then they are in a file.
Ok, I've learned the meaning of 'file' for this context.
Please describe the meaning of 'atop' in this context.
TEACHER: If a block is blue and the column of the block is the column of a location then the block is atop the location.
Ok, I've learned the meaning of 'atop' for this context.
I've learned the failure condition.
TEACHER: If the green locations in a rank are filled and the sum of the values of the rank is not the value of a location that is aside the rank then you lose.
Please setup the failure condition.
TEACHER: Ok.
Please describe the meaning of 'rank' in this context.
TEACHER: If the blocks have the same row then they are in a rank.
Ok, I've learned the meaning of 'rank' for this context.
Please describe the meaning of 'aside' in this context.
TEACHER: If a block is yellow and the row of the block is the row of a location then the block is aside the location.
Ok, I've learned the meaning of 'aside' for this context.
I've learned the failure condition.
TEACHER: Done.
I've learned kakuro. Should I try to solve the puzzle?
TEACHER: No.
Ok.