Algebraic interval constraint driven exploration in human-agent collaborative problem solving