In this paper, the existential reasoning frame forms of SA is discussed in detail, from which the common essence is extracted. Then, the paper discusses the present state of the research of reasoning algorithm. Finally, the steps to solve these problems using fuzzy theory and probability theory are proposed.