Comments on Puzzle #10659: je t'aime
By becky Jo Baltenberger (soccer5)
peek at solution solve puzzle
quality: 
difficulty: 
solvability: some guessing?
peek at solution solve puzzle
quality: difficulty: solvability: some guessing?
Puzzle Description Suppressed:Click below to view spoilers
#1: Gator (Gator) on Oct 13, 2010 [HINT]
Comment Suppressed:Click below to view hints#2: Jan Wolter (jan) on Oct 13, 2010 [HINT]
Comment Suppressed:Click below to view hints#3: Jan Wolter (jan) on Oct 13, 2010 [HINT]
Comment Suppressed:Click below to view hints#4: Gator (Gator) on Oct 15, 2010 [HINT]
Comment Suppressed:Click below to view hints#5: Jan Wolter (jan) on Oct 16, 2010
Not particularly. The computer had actually found several ways forward from the state I showed. My goal was for it to be able to pick from the many possibilities the ones that were easiest for humans to understand. This would make it useful for (1) testing puzzles for solvability, and (2) hint generation.#6: Eric (kelalatir) on Jun 1, 2023 [HINT]
Clearly the criteria it had for selecting ways forward were too loose, allow it to take steps that were a bit too complex for my tastes. I need to design better criteria. I think I am going to have to make to backprune the contradictions it finds to reduce them to the simplest possible proof of the contradiction, then evaluate the "size" of the resulting proof. That won't be trivial to do.
The alternative is to build specific modules for specific kinds of reasoning - edge logic, etc.
Comment Suppressed:Click below to view hints
You must register and log in to be able to participate in this discussion.