摘要： 关于不确定推理，从概率模型、可信度理论发展到证据理论和模糊推理，大大丰富了不确定性推理的理论，在专家系统中的应用也日趋成熟。所有这些研究都是基于“一定意义”下的数值度量来研究证据与结论之间的关系，因而可以提出这样的问题，在非确定环境下，证据和证据对结论的支持强度的普遍含义是什么？这就涉及到支持和证据的逻辑基础问题。作者在文[1]提出了支持逻辑和证据的初步概念，本文探讨了事态的形式化并且对支持逻辑和证据作了进一步说明和解释，对整个形式化方案作了肯定的说明。

关键词: 形式化方法 专家系统 不确定推理 证据 事态