Uncertainty Reasoning Based Formal Framework for Big Video Data Understanding | IEEE Conference Publication | IEEE Xplore