杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

基于认知的自然语言自动形式化研究/徐超著

出版发行项:

北京:中国社会科学出版社,2023

ISBN及定价:

978-7-5227-1461-5/CNY148.00

载体形态项:

343页:图;24cm

并列正题名:

Cognitively-motivated study of the automated formalization of natural language

个人责任者:

徐超 1987- 著

学科主题:

自然语言处理-研究

中图法分类号:

TP391

一般附注:

国家社会科学基金博士论文出版项目

责任者附注:

徐超, 男, 1987年生, 山东新泰人, 北京大学逻辑学硕士、博士, 就职于山东大学哲学与社会发展学院, 任助理研究员, 主要研究领域常识推理、逻辑与人工智能、哲学逻辑、自然语言处理。

书目附注:

有书目 (第277-320页) 和索引

提要文摘附注:

人类使用自然语言进行日常的思考、判断、推理和解决问题, 而机器使用形式语言计算和推理, 因此, 要构建可解释的人工智能系统, 需要让机器具备自动形式化的能力。本书对于自然语言的自动形式化问题提出了一种新的基于认知的研究路径, 并解决了两个具体的自动形式化问题。本书对于自动形式化的研究具有一定的理论价值和应用价值, 同时本书涉及逻辑、语言、认知与计算等多个学科的内容, 是采用跨学科方法解决人工智能问题的一次有益尝试。

豆瓣简介：