对计算机模拟中的逻辑、方法论的几点认识

Several Viewpoints on Logic and Methodology in Computing Simulation

随着计算机科学技术的发展,用计算机模拟人类实际科学推理的思维过程成为可能。于是,在计算机人工智能与认知心理学研究的交叉点上形成了“人类问题求解”理论。同时,又在计算机人工智能与逻辑研究的交叉点形成了适用于计算机的新颖逻辑理论及算法。计算机人工智能(AI)研究虽化分为两派,但无论哪一派,在对于思维的计算机模拟研究,包括机器学习和机器实现方面的研究,都为逻辑和科学方法论带来革命性变化和新的启示。

The development of computer science and technology makes computer simulation of practical scientific reasoning process possible. Therefore, “Human problem solver” theory is formed on the basis of the combination between computer AI and cognitive psychology and the new logic theory and algorithm are formed on the basis of the combination between AI and logic study. The AI study consists of two schools,both of which give a revolutionary revelation to the computing simulation of human thinking, including machine study and machine finding.