Uncertainty, imprecision, and many-valued logics in protein bioinformatics.