决策形势背景的命题推演

Propositions reasoning of decision formal contexts

在形势背景的基础上,通过弱化形式概念构成的条件,定义了比形式概念更为广泛的认知基本单位,即命题。基于一些基本概念如必然命题和充分命题,给出了命题的一些相关性质及各种命题间的关系,以及获取一些新命题的有效方式。通过确定一个命题的程度即确定度,探讨了基于决策形式背景中的命题推理方法,为形势背景上的不确定推理提供了一种新的认知框架。

With respect to formal context, by weakening the composition condition of a formal concept, this paper proposes that the basic unit of cognition, i.e., proposition, is wider than the current formal concept. Using the concepts of necessary proposition and sufficient proposition as a basis, we provide some related properties of a proposition and the relationship between various propositions, and propose an effective way to obtain some new propositions. Using the degree of determination of a proposition, this paper discusses the propositional reasoning in a decision formal context, and provides a new framework for uncertain reasoning in a formal context.