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

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

香港／國際用戶

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

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

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

新書推薦： 《 被争夺的身体：魏玛德国的生育制度 》 售價：NT$ 449.0 《 热烈的孤独大宋词人的明月与江湖 大宋顶流小传两宋词人柳永苏轼等两宋王朝史 》 售價：NT$ 356.0 《 抗衰营养全书 》 售價：NT$ 398.0 《 罗马史 随书附赠专有名词对照册 诺贝尔文学奖获奖巨著 》 售價：NT$ 2030.0 《 索恩丛书·伊斯兰帝国：十五座城市定义一种文明 》 售價：NT$ 658.0 《 现代日本简史 近现代日本发展之路的通俗历史读本 解析日本百年来的兴盛与阵痛 》 售價：NT$ 449.0 《 墨菲定律受益一生的黄金法则和人生定律心理学基础入门 》 售價：NT$ 250.0 《 企业国家：一部日本经济史 》 售價：NT$ 653.0

建議一齊購買： + NT$ 995 《拉康选集（法国著名精神分析学家拉康代表作，法兰西经典）》 + NT$ 305 《钱文忠说佛——开解人生困惑的觉悟指南》 + NT$ 365 《春蚕吐丝——殷海光最后的话语（陈鼓应著作集·精装）》 + NT$ 245 《钱穆：中国思想史》 + NT$ 347 《方法论（导读注释版）DISCOURSEONTHEMETHOD》 + 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 - 2025 （香港）大書城有限公司　All Rights Reserved.