结果：找到“形式语义”相关内容8个，排序为按回复时间降序，搜索更多相关帖子请点击“高级”
形式语义学基础与形式说明 PDF 屈延文编
1 个回复 - 1288 次查看 求助屈延文《形式语义学基础与形式说明》 ，信息如下: 【总页数】 496; 【出版社】 北京：科学出版社; 【出版时间】2010.02; 【ISBN号】978-7-03-026238-7. 【总页数】 681页; 【出版社】 北京：科学 ...2019-3-22 00:23 - wondertx - 文献求助专区
1 个回复 - 1288 次查看 求助屈延文《形式语义学基础与形式说明》 ，信息如下: 【总页数】 496; 【出版社】 北京：科学出版社; 【出版时间】2010.02; 【ISBN号】978-7-03-026238-7. 【总页数】 681页; 【出版社】 北京：科学 ...2019-3-22 00:23 - wondertx - 文献求助专区
英语言语行为交际的形式语义研究
面向Agent的程序设计语言
0 个回复 - 198 次查看 摘要翻译： agent通信语言的研究通常以言语行为范式为出发点。尽管言语行为模型具有明显的吸引力，但作为人工agent系统中通信的基础，它们有几个严重的缺点。特别是，给基于言语行为的agent通信语言提供一个令人满意 ...2022-3-28 10:15 - mingdashike22 - Forum
0 个回复 - 198 次查看 摘要翻译： agent通信语言的研究通常以言语行为范式为出发点。尽管言语行为模型具有明显的吸引力，但作为人工agent系统中通信的基础，它们有几个严重的缺点。特别是，给基于言语行为的agent通信语言提供一个令人满意 ...2022-3-28 10:15 - mingdashike22 - Forum
本体与形式语义的整合
0 个回复 - 250 次查看 摘要翻译： 在这篇文章中，我们认为，在自然语言语义学中遇到的困难在很大程度上是由于使用了没有任何内容的符号操纵系统。在这样的系统中，几乎与我们对世界的常识性看法没有任何联系，而且很难想象一个人如何正式地 ...2022-3-4 22:45 - kedemingshi - Forum
0 个回复 - 250 次查看 摘要翻译： 在这篇文章中，我们认为，在自然语言语义学中遇到的困难在很大程度上是由于使用了没有任何内容的符号操纵系统。在这样的系统中，几乎与我们对世界的常识性看法没有任何联系，而且很难想象一个人如何正式地 ...2022-3-4 22:45 - kedemingshi - Forum
哪位朋友可以帮下载csdn的形式语义学引论
0 个回复 - 348 次查看 【作者(必填)】周巢尘 【文题(必填)】形式语义学引论 【年份(必填)】1985 【全文链接或数据库名称(选填)】 https://download.csdn.net/download/chinaray2010/10183785 我在csdn的论坛币不够，有哪位朋友可 ...2020-8-18 01:47 - lehe - 文献求助专区
0 个回复 - 348 次查看 【作者(必填)】周巢尘 【文题(必填)】形式语义学引论 【年份(必填)】1985 【全文链接或数据库名称(选填)】 https://download.csdn.net/download/chinaray2010/10183785 我在csdn的论坛币不够，有哪位朋友可 ...2020-8-18 01:47 - lehe - 文献求助专区
形式语义学引论 周巢尘
1 个回复 - 716 次查看 请问谁能上传这本书？谢谢！ 【作者(必填)】周巢尘,詹乃军 【文题(必填)】形式语义学引论（第二版） 【年份(必填)】2017-09 【全文链接或数据库名称(选填)】出版社：科学出版社 版次：22020-8-4 04:46 - lehe - 文献求助专区
1 个回复 - 716 次查看 请问谁能上传这本书？谢谢！ 【作者(必填)】周巢尘,詹乃军 【文题(必填)】形式语义学引论（第二版） 【年份(必填)】2017-09 【全文链接或数据库名称(选填)】出版社：科学出版社 版次：22020-8-4 04:46 - lehe - 文献求助专区
陆汝钤: 计算系统的形式语义
0 个回复 - 748 次查看 请问谁有这本书？可以上传吗？谢谢！【作者(必填)】陆汝钤 【文题(必填)】计算系统的形式语义 【年份(必填)】2017 【全文链接或数据库名称(选填)】清华大学出版社出版2020-8-4 01:30 - lehe - 文献求助专区
0 个回复 - 748 次查看 请问谁有这本书？可以上传吗？谢谢！【作者(必填)】陆汝钤 【文题(必填)】计算系统的形式语义 【年份(必填)】2017 【全文链接或数据库名称(选填)】清华大学出版社出版2020-8-4 01:30 - lehe - 文献求助专区
语言学中的形式语义学
0 个回复 - 562 次查看 摘要：形式语义学是介于语言学和逻辑学之间的交叉学科，它以理论语言学为语言研究的理论依据，以数理逻辑的方法为语言研究的工具，目标是对自然语言的语义进行形式化描述，从而实现机器对自然语言的自动理解。最近的 ...2017-10-28 17:00 - AIworld - 人工智能论文版
0 个回复 - 562 次查看 摘要：形式语义学是介于语言学和逻辑学之间的交叉学科，它以理论语言学为语言研究的理论依据，以数理逻辑的方法为语言研究的工具，目标是对自然语言的语义进行形式化描述，从而实现机器对自然语言的自动理解。最近的 ...2017-10-28 17:00 - AIworld - 人工智能论文版
汉语句式形式语义研究的思考
0 个回复 - 543 次查看 摘要：近几十年来，随着自然语言处理这一研究方向的兴起，语言学、逻辑学、计算机科学（尤其是自然语言信息处理方向）更紧密地结合在了一起。高度发达的计算机信息技术要求人们在逻辑的框架内去描述自然语言的特征。 ...2017-9-24 01:20 - AIworld - 人工智能论文版
0 个回复 - 543 次查看 摘要：近几十年来，随着自然语言处理这一研究方向的兴起，语言学、逻辑学、计算机科学（尤其是自然语言信息处理方向）更紧密地结合在了一起。高度发达的计算机信息技术要求人们在逻辑的框架内去描述自然语言的特征。 ...2017-9-24 01:20 - AIworld - 人工智能论文版
