Resolution Principle in Uncertain Random Environment

As a generalization of probabilistic logic and uncertain logic, uncertain random logic deals with complex knowledge containing randomness and human uncertainty simultaneously. Based on uncertain random entailment model, this paper studies two uncertain random resolution principles. As byproducts, a random resolution principle and an uncertain resolution principle are also discussed. Moreover, the corresponding four formulas are proved to calculate the truth values of those resolution principles.