Quantifying and Incorporating Lithological Well Logging as Uncertain Data in Probabilistic Inverse Problems | Synapse