0去购物车结算
购物车中还没有商品,赶紧选购吧!
当前位置: 图书分类 > 数学 > 数理逻辑/组合数学 > 面向自然语言信息处理的扩展三段论研究

相同语种的商品

浏览历史

面向自然语言信息处理的扩展三段论研究


联系编辑
 
标题:
 
内容:
 
联系方式:
 
  
面向自然语言信息处理的扩展三段论研究
  • 书号:9787030627230
    作者:张晓君
  • 外文书名:
  • 装帧:平装
    开本:特16
  • 页数:332
    字数:360000
    语种:zh-Hans
  • 出版社:科学出版社
    出版时间:2020-08-01
  • 所属分类:
  • 定价: ¥148.00元
    售价: ¥116.92元
  • 图书介质:
    纸质书

  • 购买数量: 件  可供
  • 商品总价:

相同系列
全选

内容介绍

样章试读

用户评论

全部咨询

本书从自然语言信息处理的视角,主要介绍和阐释了关于扩展三段论的形式化研究成果,具体研究内容包括:三段论片段的完全性,居间广义三段论,模态三段论,关系三段论,带有完全布尔运算的关系三段论,带有动词的扩展三段论的有效性、可靠性、完全性和计算复杂性等内容。
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录,共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

  • 暂时还没有任何用户咨询内容
总计 0 个记录,共 1 页。 第一页 上一页 下一页 最末页
用户名: 匿名用户
E-mail:
咨询内容:

目录

  • 目录
    前言
    第一章 三段论片段的完全性研究 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
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证