图书简介
人类使用自然语言进行日常的思考、推理和解决问题,而机器使用形式语言进行推理和计算,因此,要实现人机互动,需要让机器能够将自然语言自动地翻译为形式语言,即实现自然语言的自动形式化。本书从人类认知出发,通过让机器模拟人类形式化的思维过程来实现自动形式化。本书涉及逻辑、语言、认知与计算多个学科的知识,从跨学科的视角为自动形式化问题提供了一种新的基于认知的研究进路。
作者简介
图书目录
相关推荐
-
图书 元语言否定的认知语用研究
作者:赵旻燕
图书 元语言否定的认知语用研究
-
2
图书 认知视阈下的语言与翻译研究
作者:侯敏
图书 认知视阈下的语言与翻译研究
-
3
图书 认知系统性的研究:基于分布式认知的视角
作者:于小涵
图书 认知系统性的研究:基于分布式认知的视角
-
4
图书 心灵的形式化及其挑战:认知科学的哲学
作者:李建会 夏永红
图书 心灵的形式化及其挑战:认知科学的哲学
-
5
图书 汉、英语言及思维认知对比研究
作者:刘志成
图书 汉、英语言及思维认知对比研究
-
6
图书 基于全媒体的口译认知研究
作者:孙杰 张福勇
图书 基于全媒体的口译认知研究
-
7
图书 数字语言符号的认知加工机制研究
作者:张明亮
图书 数字语言符号的认知加工机制研究
-
8
图书 数字化时代语言学习的认知机制研究
作者:霍云贞
图书 数字化时代语言学习的认知机制研究
-
9
图书 基于具身认知的教师培训研究
作者:王会亭
图书 基于具身认知的教师培训研究
-
10
图书 基于语料库的语言研究与教学应用
作者:潘瑶
图书 基于语料库的语言研究与教学应用
豆瓣评论