基于认知的自然语言自动形式化研究

人类使用自然语言进行日常的思考、推理和解决问题，而机器使用形式语言进行推理和计算，因此，要实现人机互动，需要让机器能够将自然语言自动地翻译为形式语言，即实现自然语言的自动形式化。本书从人类认知出发，通过让机器模拟人类形式化的思维过程来实现自动形式化。本书涉及逻辑、语言、认知与计算多个学科的知识，从跨学科的视角为自动形式化问题提供了一种新的基于认知的研究进路。

徐超，1987年生，山东新泰人，现为山西大学哲学社会学院副教授。北京大学哲学博士，德国德累斯顿工业大学联合培养学者。曾就职于山东大学哲学与社会发展学院任助理研究员。主要研究方向为逻辑与人工智能、逻辑与认知、常识推理、哲学逻辑。