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