登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入   新用戶註冊

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

新書推薦： 《 笔记启蒙 ： 英国皇家学会与科学革命 》 售價：NT$ 390.0 《 汉语副词研究论集（第六辑） 》 售價：NT$ 490.0 《 镶嵌之美：古希腊罗马的马赛克艺术 》 售價：NT$ 1390.0 《 后希腊化哲学：从斯多亚学派到奥利金的发展研究 》 售價：NT$ 349.0 《 别纠结啦：不被情绪牵着走的通透生活指南（“当代一休”小池龙之介治愈新作！附赠精美书签！） 》 售價：NT$ 295.0 《 第二人生：找到重新定义人生的智慧 》 售價：NT$ 440.0 《 唐朝三百年 》 售價：NT$ 490.0 《 反操纵心理学：夺回人生主导权 拒绝被操纵 》 售價：NT$ 249.0

建議一齊購買： + NT$ 995 《 拉康选集（法国著名精神分析学家拉康代表作，法兰西经典） 》 + NT$ 305 《 钱文忠说佛——开解人生困惑的觉悟指南 》 + NT$ 365 《 春蚕吐丝——殷海光最后的话语（陈鼓应著作集·精装） 》 + NT$ 245 《 钱穆：中国思想史 》 + NT$ 347 《 方法论（导读注释版）DISCOURSEONTHEMETHODOFRIGHTLY（世界学术经典系列） 》 + NT$ 305 《 作个闲人：苏东坡的治愈主义 》 內容簡介： 人类使用自然语言进行日常的思考、推理和解决问题，而机器使用形式语言进行推理和计算，因此，要实现人机互动，需要让机器能够将自然语言自动地翻译为形式语言，即实现自然语言的自动形式化。本书从人类认知出发，通过让机器模拟人类形式化的思维过程来实现自动形式化。本书涉及逻辑、语言、认知与计算多个学科的知识，从跨学科的视角为自动形式化问题提供了一种新的基于认知的研究进路。 關於作者： 徐超，男，1987年生，山东新泰人，北京大学逻辑学硕士、博士，就职于山东大学哲学与社会发展学院，任助理研究员，主要研究领域常识推理、逻辑与人工智能、哲学逻辑、自然语言处理。 目錄： 第1章 引言 1.1 研究背景 1.1.1 逻辑方法与机器学习 1.1.2 逻辑方法与常识推理 1.1.3 逻辑方法与专家系统 1.1.4 自然语言自动形式化 1.2 问题描述 1.3 研究现状 1.3.1 基于规则的方法 1.3.2 基于句法分析的方法 1.3.3 基于实例的方法 1.3.4 基于归纳逻辑编程的方法 1.3.5 基于统计机器学习的方法 1.3.6 基于深度学习的方法 1.3.7 基于语言模型的方法 1.3.8 基于语义分析的方法 1.3.9 小结 1.4 研究目标 1.5 研究思路 1.6 本书贡献与结构安排 第2章 理论基础 2.1 逻辑语言 2.2 框架理论 2.2.1 Minsky框架理论 2.2.2 框架语义学理论 2.3 构式语法 2.3.1 构式语法的提出及发展 2.3.2 构式的定义 2.3.3 构式语法简介 2.4 概念系统 2.4.1 概念系统定义 2.4.2 概念系统的组织方式及意义来源 2.5 概念词汇化 2.5.1 语义元素与表层元素 2.5.2 运动事件概念词汇化 第3章 基于概念系统的人类语言生成和理解模型 3.1 引言 3.2 理论假设 3.2.1 心理意象假设 …… 第4章 基于认知语义表示的自然语言形式化方法 第5章 空间语言的自动形式化 第6章 临床试验合格性标准的自动形式化 第7章 总结与展望 附录A 常用数据集及其构建 附录B 基本概念与基本理论 附录C 语义分析研究现状 附录D ASSA系统实现细节 附录E ATEC系统实现细节 参考文献

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式	台灣用户　|　香港/海外用户
megBook.com.tw
Copyright (C) 2013 - 2024 （香港）大書城有限公司　All Rights Reserved.