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

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

香港／國際用戶

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

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

送貨：速遞 / EMS，時效：出貨後2-3日

新書推薦： 《 云中记 》 售價：NT$ 347.0 《 中国古代妇女生活（中国古代生活丛书） 》 售價：NT$ 214.0 《 你的认知正在阻碍你 》 售價：NT$ 296.0 《 我们身边的小鸟朋友：手绘观鸟笔记 》 售價：NT$ 356.0 《 拯救免疫失衡 》 售價：NT$ 254.0 《 收尸人 》 售價：NT$ 332.0 《 大模型应用开发：RAG入门与实战 》 售價：NT$ 407.0 《 不挨饿快速瘦的减脂餐 》 售價：NT$ 305.0

建議一齊購買： + NT$ 377 《 曹炜初早期语言研究论集（1984一1994年） 》 + NT$ 342 《 广义量词理论研究 》 + NT$ 428 《 循词问道：教你如何真正读懂汉字 》 + NT$ 299 《 上海俗语图说续集 》 + NT$ 279 《 趣识繁体字 》 + NT$ 209 《 作文六要 》 編輯推薦： 亚里士多德（Aristotle前384-前322）,三段论,研究,推理,研究 內容簡介： 《面向自然语言信息处理的扩展三段论研究》从自然语言信息处理的视角，主要介绍和阐释了关于扩展三段论的形式化研究成果，具体研究内容包括：三段论片段的完全性，居间广义三段论，模态三段论，关系三段论，带有完全布尔运算的关系三段论，带有动词的扩展三段论的有效性、可靠性、完全性和计算复杂性等内容。 目錄： 目录 前言 **章 三段论片段的完全性研究 1 **节 引言 1 第二节 相关基础知识 4 第三节 仅包含All语句的三段论片段 7 第四节 包含All语句和Some语句的三段论片段 11 第五节 添加了专名的三段论片段 14 第六节 包含All语句和No语句的三段论片段 15 第七节 L（all，some，no，names）语言 16 第八节 添加了布尔运算的三段论片段 18 第九节 包含There are at least as many X as Y语句的三段论片段 21 第十节 本章小结 28 第二章 居间广义三段论的研究 31 **节 引言 32 第二节 相关准备工作 34 第三节 居间量词和广义三段论 42 第四节 有效的居间广义三段论 48 第五节 居间三段论的实例解释 69 第六节 几个开问题 78 第七节 本章小结 79 第三章 亚里士多德模态三段论研究 82 **节 引言 82 第二节 Lukasiewicz的实然三段论系统A 86 第三节 Lukasiewicz的模态三段论系统M 99 第四节 现代模态谓词逻辑 102 第五节 McCall的模态三段论系统L-X-M 108 第六节 链条件、相干逻辑和AP系统 130 第七节 偶然三段论 134 第八节 模态三段论系统QLXM 141 第九节 QLXM系统的亚里士多德特征 161 第十节 两前提Q-有效三段论总览 162 第十一节 QLXM系统的扩展 165 第十二节 亚里士多德模态三段论的重构 165 第十三节 本章小结 176 第四章 关系三段论的形式化研究 184 **节 引言 184 第二节 相关准备工作 186 第三节 间接三段论系统S和Sy 197 第四节 具有斥完全性的关系三段论系统R 204 第五节 间接关系三段论系统R 213 第六节 非间接关系三段论系统Ry和Ry 217 第七节 其他相关的关系三段论片段 226 第八节 关系三段论片段的复杂性 229 第九节 关系三段论的可靠性和完全性研究 230 第十节 本章小结 264 第五章 带有完全布尔运算的关系三段论系统 266 **节 引言 266 第二节 带有完全布尔运算的关系三段论的语法与语义 272 第三节 带有完全布尔运算的关系三段论的公理和推理规则 274 第四节 带有完全布尔运算的关系三段论系统的完全性 277 第五节 带有完全布尔运算的关系三段论的语义复杂性 292 第六节 本章小结 294 第六章 带有动词的扩展三段论研究 296 **节 引言 296 第二节 辖域确定的NMI三段论片段的变种 299 第三节 同时带有All、一个动词和名词性补语的三段论逻辑 310 第四节 含有类表达式的三段论片段 314 第五节 本章小结 321 参考文献 323 后记 331

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