图书简介
人类使用自然语言进行日常的思考、推理和解决问题,而机器使用形式语言进行推理和计算,因此,要实现人机互动,需要让机器能够将自然语言自动地翻译为形式语言,即实现自然语言的自动形式化。本书从人类认知出发,通过让机器模拟人类形式化的思维过程来实现自动形式化。本书涉及逻辑、语言、认知与计算多个学科的知识,从跨学科的视角为自动形式化问题提供了一种新的基于认知的研究进路。
作者简介
图书目录
相关推荐
-
图书 概念变体及其形式化描写
作者:胡惮
图书 概念变体及其形式化描写
-
2
图书 形式语义学研究
作者:高芸
图书 形式语义学研究
-
3
图书 现代汉语心理形容词语义网络研究
作者:赵家新
图书 现代汉语心理形容词语义网络研究
-
4
图书 现代汉语书面语中跨标点句句法关系约束条件的研究
作者:张瑞朋
图书 现代汉语书面语中跨标点句句法关系约束条件的研究
-
5
图书 现代汉语隐喻簇的认知探究:接入语义学视角
作者:刘星
图书 现代汉语隐喻簇的认知探究:接入语义学视角
-
6
图书 因果构式的运作机理研究
作者:廖巧云
图书 因果构式的运作机理研究
-
7
图书 意义、解释和真
作者:张妮妮
图书 意义、解释和真
-
8
图书 语言天赋论
作者:代天善
图书 语言天赋论
-
9
图书 言语心理引论
作者:邵俊宗
图书 言语心理引论
-
10
图书 汉传因明的逻辑研究
作者:傅光全
图书 汉传因明的逻辑研究
豆瓣评论