论文部分内容阅读
思维形式化是人工智能(以下简称AI)中符号主义研究纲领的核心假设,虽然其具体含义、发展脉络尚待精确描述和梳理,但包括物理符号系统假设、逻辑主义在内的符号主义,不仅主导着AI这门年轻学科的早期发展脉络,而且迄今仍是核心纲领之一。弗雷格所建立的一阶逻辑是前AI时期思维形式化发展的一个重要里程碑,因此对弗雷格之前的思维形式化从观念和实践上进行历史考察,不仅有助于理解AI主要纲领的思想来源和发生过程,而且为该学科当下竞争的不同研究纲领和未来发展方向提供了一个评判视角。
Formal thinking is the core hypothesis of the research program of symbolism in Artificial Intelligence (AI). Although its concrete meaning and development context need to be accurately described and sorted out, symbolism including the notion of physical symbology and logicism not only It dominates the early development of AI, a young discipline, and so far it is still one of the core programs. The first-order logic established by Frege is an important milestone in the formal development of thinking in the pre-AI period. Therefore, it is not only helpful to understand the basic program of AI from the historical and conceptual points of view, Source of thought and occurrence process, but also provides a critical perspective on the different research programs and future directions for the competition of the discipline.