Research of knowledge expression model for Non-monotonic reasoning based on uncertain inference | IEEE Conference Publication | IEEE Xplore