Activity
#5573·Dennis HackethalOP, about 4 hours agoI don't think the program needs to choose one of the surviving variants if our current knowledge gives us no reason to choose.
It does. Preference formation is the point of the program.
Sometimes the rational state really is that we don't yet know which variant is right. We can continue developing and testing them until we find something that differentiates them.
Then we’d need to find a way to feed the results of the tests back into the program. Tests would somehow need to be formally tied to HTV. The program has to at least be able to tell the user which preference to form (short of the user not typing in the variant he’s already decided he doesn’t want, eg because of a negative test case).
I don't think test results need some separate formal mechanism for being “fed back” into HTV.
This is the same point I made in #5562. A test result is new knowledge, and new knowledge changes the problem situation and therefore what counts as a working explanation.