论文部分内容阅读
本文将推理过程看作是命题真值沿着一定的推理渠道在诸命题间的流动过程,按照这一观点试图建立网状推理(或求索)过程的动态描述。为此引入了兴奋度的概念,在推理过程中,它是与命题的真值或人对命题的信度相联系而又能反映思维活跃程度的一种量度,在求索过程中,它是与问题的可解性或人对问题的求索程度相联系而又能反映思维活跃程度的一种量度。引入简单流及由之而形成的网络图、兴奋度在网络上的流动过程用一组微分方程来描述,其定态解及稳定性分析,可以用马尔可夫过程的理论加以解决,引入复杂流及由之而形成的多支图,兴奋度在多支图上的流动过程可以用一组微分方程来描述,其定态解及稳定性分析,可以用类似于耗散结构理论的方法加以解决。最后,本文提出了用计算机进行网状推理的设想。
In this paper, the process of reasoning is regarded as the process of the propositional truth value flowing along the certain reasoning channels among propositions. According to this view, a dynamic description of the process of mesh reasoning (or searching) is attempted. To this end, the concept of excitement is introduced. In the process of reasoning, it is a measure of the true value of the proposition or the reliability of the proposition and the degree of activeness of the thinking. In the process of searching, The solvability of a problem or the degree to which a person solves a problem is a measure of how active the mind is. The introduction of simple flow and the resulting network diagram, excitability in the network flow process using a set of differential equations to describe its steady state solution and stability analysis, can be used to solve the theory of Markov process, the introduction of complex Flow and the multi-branch graph formed from it, the flow of excitations on multi-branch graphs can be described by a set of differential equations. The steady-state solution and stability analysis can be done in a similar way to dissipative structure theory solve. Finally, this paper proposes the idea of computer network inference.