ISBN:978-7-5227-1461-5
出版日期:2023-04
页数:377
字数:367.0千字
点击量:4538次
定价:148.00元
人类使用自然语言进行日常的思考、推理和解决问题,而机器使用形式语言进行推理和计算,因此,要实现人机互动,需要让机器能够将自然语言自动地翻译为形式语言,即实现自然语言的自动形式化。本书从人类认知出发,通过让机器模拟人类形式化的思维过程来实现自动形式化。本书涉及逻辑、语言、认知与计算多个学科的知识,从跨学科的视角为自动形式化问题提供了一种新的基于认知的研究进路。
用户未登录无权限查看参考文献
当前账户可用余额 元
余额不足,请先充值或选择其他支付方式
已有账号,返回登录
没有账号,快速注册
请使用手机登录默认注册账号
返回登录
豆瓣评论