一类非递归结构的计算思想

本文通过讨论一类非递归结构的计算思想，揭示了在传统图灵模型框架内研究人工智能的局限性。作者认为，突破图灵模型，建立真正意义上的智能模型是人工智能，乃至整个计算机科学得以进一步发展的关键，按自然法则计算可能是通向这一目标的极有希望的道路。     

对计算机若干问题的讨论

本文回顾了传统计算机赖以发展的几个理论支撑点以及它们的深远意义,与此同时,初步探讨了传统计算机的进一步发展所遇到的困难。我们认为这些困难实质上是受到确定性算法下的求解过程这样一种算法思想的局限,而这些局限又都和上述的理论直接有关。所以,我们在文中就面向超高速、大规模计算和面向知识处理两个未来计算机发展的方向初步讨论了应该和可能在哪些方面对上述的问题进行突破,而所有这些突破都归结为要探求非确定性算法下的验证过程。为了支持非确定性的验证过程这一算法设想,我们提出了以智能存储单元为基础的未来计算机的概念模型,并且初步讨论了关于智能存储单元的概念模型及其功能定义。