机读格式显示(MARC)

• 000 01399nam0 2200277 450

• 001 0000617514

• 005 20241208141800.0

• 010 __ |a 978-7-5227-1461-5 |d CNY148.00

• 100 __ |a 20230403d2023 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 001yy

• 106 __ |a r

• 200 1_ |a 基于认知的自然语言自动形式化研究 |A ji yu ren zhi de zi ran yu yan zi dong xing shi hua yan jiu |d = A cognitively-motivated stduy of the automated formalization of natural language |f 徐超著 |z eng

• 210 __ |a 北京 |c 中国社会科学出版社 |d 2023

• 215 __ |a 343页 |c 图 |d 24cm

• 300 __ |a 博士论文出版项目

• 314 __ |a 徐超, 1987年生, 山东新泰人, 现为山西大学哲学社会学院副教授。

• 320 __ |a 有书目 (第277-320页) 和索引

• 330 __ |a 本书内容讲述: 人类使用自然语言进行日常的思考、推理和解决问题, 而机器使用形式语言进行推理和计算, 因此, 要实现人机互动, 需要让机器能够将自然语言自动地翻译为形式语言, 即实现自然语言的自动形式化。本书从人类认知出发, 通过让机器模拟人类形式化的思维过程来实现自动形式化。本书涉及逻辑、语言、认知与计算多个学科的知识, 从跨学科的视角为自动形式化问题提供了一种新的基于认知的研究进路。

• 510 1_ |a Cognitively-motivated stduy of the automated formalization of natural language |z eng

• 606 0_ |a 自然语言处理 |A zi ran yu yan chu li |x 研究

• 690 __ |a TP391 |v 5

• 701 _0 |a 徐超, |A xu chao |f 1987- |4 著

• 801 _0 |a CN |b 湖北三新 |c 20230403

• 905 __ |a WXCSXY |d TP391/915