Logical Inference Framework for Experimental Design of Mechanical Characterization Procedures