Quantifying Uncertainty in Reasoning and Question Answering: Probabilistic Relaxed Unification Formalism and Applications in Automated Question-Answering Systems