图书简介
人类使用自然语言进行日常的思考、推理和解决问题,而机器使用形式语言进行推理和计算,因此,要实现人机互动,需要让机器能够将自然语言自动地翻译为形式语言,即实现自然语言的自动形式化。本书从人类认知出发,通过让机器模拟人类形式化的思维过程来实现自动形式化。本书涉及逻辑、语言、认知与计算多个学科的知识,从跨学科的视角为自动形式化问题提供了一种新的基于认知的研究进路。
作者简介
图书目录
相关推荐
-
图书 现代汉语心理形容词语义网络研究
作者:赵家新
图书 现代汉语心理形容词语义网络研究
-
2
图书 概念变体及其形式化描写
作者:胡惮
图书 概念变体及其形式化描写
-
3
图书 形式语义学研究
作者:高芸
图书 形式语义学研究
-
4
图书 现代汉语隐喻簇的认知探究:接入语义学视角
作者:刘星
图书 现代汉语隐喻簇的认知探究:接入语义学视角
-
5
图书 现代汉语书面语中跨标点句句法关系约束条件的研究
作者:张瑞朋
图书 现代汉语书面语中跨标点句句法关系约束条件的研究
-
6
图书 语言天赋论
作者:代天善
图书 语言天赋论
-
7
图书 防策略投票理论的逻辑研究
作者:孙雯
图书 防策略投票理论的逻辑研究
-
8
图书 面向非结构化文本的知识发现:基于英汉双语平行语料库的句法级知识挖掘和抽取研究
作者:王东波
图书 面向非结构化文本的知识发现:基于英汉双语平行语料库的句法级知识挖掘和抽取研究
-
9
图书 言语心理引论
作者:邵俊宗
图书 言语心理引论
-
10
图书 存在敞开的书写
作者:唐代兴
图书 存在敞开的书写
豆瓣评论