反序法的近反义词

从已知结果探求未知条件的工作程序。