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

选项

图书信息

PDF阅读

网页阅读

收藏纠错引文

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

A Cognitively-Motivated Study of the Automated Formalization of Natural Language

ISBN：978-7-5227-1461-5

出版日期：2023-04

页数：377

字数：367.0千字

点击量：2312次

中图法分类：

出版单位：

中国社会科学出版社

关键词：

专题：

PDF试读网页试读立即荐购

折扣价：¥88.8 [6折] ~~原价：¥148.0~~ 立即购买电子书

图书简介

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

展开