网状推理过程的动态描述及其稳定性

本文将推理过程看作是命题真值沿着一定的推理渠道在诸命题间的流动过程,按照这一观点试图建立网状推理(或求索)过程的动态描述。为此引入了兴奋度的概念,在推理过程中,它是与命题的真值或人对命题的信度相联系而又能反映思维活跃程度的一种量度,在求索过程中,它是与问题的可解性或人对问题的求索程度相联系而又能反映思维活跃程度的一种量度。引入简单流及由之而形成的网络图、兴奋度在网络上的流动过程用一组微分方程来描述,其定态解及稳定性分析,可以用马尔可夫过程的理论加以解决,引入复杂流及由之而形成的多支图,兴奋度在多支图上的流动过程可以用一组微分方程来描述,其定态解及稳定性分析,可以用类似于耗散结构理论的方法加以解决。最后,本文提出了用计算机进行网状推理的设想。