新書推薦：
《
论人类的教育
》
售價：HK$
107.8
《
人民币与国际货币体系变迁
》
售價：HK$
97.9
《
哈佛大学科学通识课：探索宇宙、地球与生命
》
售價：HK$
109.8
《
还可以的金女士（小镇女孩误入时尚圈血泪史）
》
售價：HK$
52.8
《
王阳明全集（套装5册）
》
售價：HK$
294.8
《
萤火虫全球史：西方战争史上的著名战斗机
》
售價：HK$
83.6
《
大道：段永平投资问答录
》
售價：HK$
107.8
《
360张图表读懂6S精益管理
》
售價：HK$
96.8
|
| 內容簡介： |
|
智能化时代大潮已动摇标准逻辑一统天下的地位，暴露了基于标准逻辑的传统逻辑范式的局限性，即它只能处理具有非此即彼性的理想问题。针对各种具有亦此亦彼性的现实问题，近几十年来提出了数十种非标准逻辑，虽然能解决人工智能中的某些实际问题，但常会出现违反常识的异常结果，说明它们在理论上并不成熟，缺乏普适性。当前智能科学的发展迫切呼唤逻辑范式的变革。 《泛逻辑理论——统一智能理论的逻辑基础》是作者及其研究团队20多年来研究泛逻辑的系统总结。我们高举逻辑范式变革的大旗，勇闯无人区，逆势而上，建立了能统一标准逻辑和各种非标准逻辑的命题泛逻辑理论体系。这是站在智能科学的全局高度，针对人工智能发展过程中遇到的瓶颈，从逻辑学层面给出的一个积极有效的回应。《泛逻辑理论——统一智能理论的逻辑基础》内容将围绕三个问题展开：①为什么要研究泛逻辑学；②如何根据应用需求生成相应的命题泛逻辑；③如何准确应用命题泛逻辑解决现实问题。同时，《泛逻辑理论——统一智能理论的逻辑基础》还展望了泛逻辑的未来发展。
|
| 目錄：
|
|
目录“新一代人工智能理论、技术及应用丛书”序前言本书符号说明**篇 开慧篇 建立泛逻辑学是历史发展的必然第1章 客观世界的基本发展规律是演化 31.1 引言 31.2 宇宙万物都在不断地演化 31.2.1 宇宙在不断地演化 31.2.2 宇宙的演化何时结束 51.3 人类社会文明的演化进 51.3.1 人类的诞生是演化的产物 51.3.2 人类主观世界的基本属性分析 61.3.3 智能只能在现实环境中形成和演化发展 111.4 逻辑学的形成和演变过程 121.4.1 逻辑学的一般性知识 131.4.2 古代的具象逻辑阶段 151.4.3 近代的*尊数理形式逻辑阶段 171.4.4 现代的泛逻辑学诞生阶段 221.5 小结 29第2章 人脑思维层次与逻辑学发展规律 302.1 引言 302.1.1 数理形式逻辑是理想国里的逻辑范式 302.1.2 现实世界需要辩证逻辑推理范式 322.2 人脑思维的三个不同层次及逻辑描述 342.2.1 人脑思维的层次结构 342.2.2 关于思维层次结构的几个问题 362.3 逻辑学自身发展的基本规律及逻辑要素 372.3.1 逻辑学不应排斥一切矛盾 372.3.2 两类逻辑的对比分析 382.4 抽象思维的本质是引入不确定性 392.4.1 两种不同的认知方向 392.4.2 通过归纳抽象主动引入不确定性 402.4.3 分层分块管理知识方便使用 442.4.4 因素空间理论与知识的粒度提升 452.5 小结 48第3章 人工智能：80年的得失与未来 503.1 引言 503.2 创建人工智能学科的初衷 513.2.1 计算机奠定了人工智能的物质基础 513.2.2 算法危机催生了人工智能学科诞生 543.3 人工智能必须面对的现实环境 573.3.1 智能产生于现实世界 573.3.2 程序体是智慧度*低的智能体 593.4 人工智能发展史的重要启示 613.4.1 人工智能的孕育时期(1956年以前) 623.4.2 人工智能的**探索时期(1956～1985) 643.4.3 人工智能的第二探索时期(1986～2000) 713.4.4 人工智能的第三探索时期(2001～2020) 813.4.5 人工智能学科的转型时期(2021年至今) 953.5 小结 97第二篇 求索篇 建立命题泛逻辑的可行途径第4章 从标准逻辑到命题泛逻辑的扩张 1034.1 引言 1034.2 各种非标准逻辑的重要启示 1064.2.1 非标准逻辑的澎湃兴起 1064.2.2 模糊理论对刚性思维习惯的巨大冲击 1104.2.3 非标准逻辑对其他逻辑要素的突破 1124.2.4 不精确性推理模型的启示 1154.2.5 类柔性逻辑的研究现状分析 1194.3 泛逻辑学的国内外研究动态 1234.3.1 泛逻辑观的正式确立 1234.3.2 国内外的研究动态 1264.4 泛逻辑学研究纲要 1284.4.1 泛逻辑学的研究目标 1294.4.2 泛逻辑学研究的主要内容 1294.4.3 泛逻辑学的分类 1334.5 生成命题泛逻辑的可行途径 1344.5.1 泛逻辑学入口的意外发现 1344.5.2 探索命题泛逻辑的实现途径 1394.6 小结 142第5章 命题泛逻辑运算模型的生成规则 1445.1 引言 1445.2 客观世界中的柔性逻辑规律 1455.2.1 模糊逻辑存在理论缺陷的根源 1455.2.2 通过实例看k、h对柔性逻辑运算的影响 1485.3 柔性逻辑的数学基础理论 1605.3.1 测度论与命题柔性及关系柔性 1605.3.2 三角范数理论与命题柔性及关系柔性 1625.3.3 三角范数与柔性命题连接词 1655.4 命题泛逻辑运算模型的公理和基模型 1665.4.1 泛逻辑运算模型公理 1665.4.2 泛逻辑运算的基模型 1685.4.3 泛逻辑运算基模型的统一表达形式 1705.5 命题泛逻辑运算模型的生成元完整簇 1705.5.1 零级生成元完整簇 1705.5.2 一级生成元完整簇 1755.6 命题泛逻辑运算模型的扩序规则 1775.6.1 偏序泛逻辑运算模型 1775.6.2 伪偏序泛逻辑运算模型 1785.6.3 包含无定义状态的泛逻辑运算模型 1805.6.4 逻辑真值附加特性的运算 1815.7 小结 184第6章 N性生成元完整簇与泛非运算 1886.1 N范数及其生成方法 1886.1.1 N范数的定义、极限及其逆等性 1886.1.2 N范数的主要性质及生成方法 1906.1.3 N范数的生成定理 1936.2 泛非运算模型完整簇及其广义自封闭性 1946.2.1 k值的计算方法 1946.2.2 N性生成元完整簇的定义和常用模型 1956.2.3 N范数完整簇的定义和常用模型 1966.2.4 N完整簇上运算的广义自封闭性 1996.3 阈元量词及其运算规则 2016.3.1 阈元量词的定义及数学模型 2026.3.2 阈元量词的基本性质 2036.3.3 N范数的误差合成规律 2056.4 对泛非运算的总结 2076.4.1 泛非命题连接词的逻辑意义 2076.4.2 泛非命题连接词的运算模型 2086.4.3 泛非命题连接词的基本性质 2086.4.4 阈元量词的基本性质及运算 2096.4.5 不等k泛非命题连接词的合成规律 2096.4.6 广义自封闭性 2106.5 小结 210第7章T范数和S范数的一般原理 2127.1T范数和S 范数的定义 2127.1.1T范数的定义 2137.1.2 S范数的定义 2137.2T范数和S范数的主要性质 2147.2.1T范数的主要性质 2147.2.2 S范数的主要性质 2157.3T范数和S范数的生成方法 2177.3.1T性/S性生成元的物理意义 2177.3.2T范数的生成定理 2177.3.3 S范数的生成定理 2217.4 NTS范数的对偶性 2257.4.1 生成元之间的弱半对偶关系 2267.4.2 NTS范数之间的弱对偶关系 2317.4.3 求T范数和S范数生成元的方法 2337.5 小结 234第8章 T/S性生成元完整簇和T/S 范数 2358.1 零级T性/S性生成元完整簇 2358.1.1 零级T性生成元完整簇 2358.1.2 零级S性生成元完整簇 2368.2 广义相关系数h的确定 2378.2.1 标准长度法 2388.2.2 与算子体积比法 2398.2.3 函数拟合法 2408.3 相容条件和相容算子簇 2418.3.1 相容条件 2418.3.2 Schweizer算子簇的相容差 2428.3.3 Frank相容算子簇 2438.4 零级T范数和S范数完整簇 2458.4.1 零级T范数和S范数完整簇 2458.4.2 零级T范数和S范数相容簇 2468.4.3 零级弱T范数和弱S范数完整簇 2468.4.4 零级T范数/S范数完整簇内范数分布的单调性 2488.5 一级T范数和S范数完整超簇 2498.5.1 纯指数型一级T范数和S范数完整超簇 2498.5.2 混合型一级T范数和S范数完整超簇 2538.5.3 一级T/S完整超簇内范数分布的单调性 2558.5.4 几个重要的逻辑性质 2578.6 一级T/S完整超簇上N运算的广义自封闭性 2578.6.1 零级T/S范数完整簇内的对偶关系 2588.6.2 纯指数型一级T范数/S范数完整簇内的对偶关系 2598.6.3 混合型一级T/S范数完整簇内的对偶关系 2608.7 小结 261第9章 二元柔性命题逻辑连接词 2629.1 泛与命题连接词的定义及性质 2639.1.1 泛与命题连接词的定义 2639.1.2 泛与运算的性质 2649.1.3 泛与运算的物理意义 2649.2 泛或命题连接词的定义及性质 2669.2.1 泛或命题连接词的定义 2669.2.2 泛或运算的性质 2679.2.3 泛或运算的物理意义 2679.3 泛蕴含命题连接词的定义及性质 2699.3.1 泛蕴含命题连接词的定义 2709.3.2 泛蕴含运算的性质 2709.3.3 泛蕴含运算的物理意义 2739.3.4 泛串行推理运算 2749.4 泛等价命题连接词的定义及性质 2749.4.1 泛等价命题连接词的定义 2769.4.2 泛等价运算的性质 2769.4.3 泛等价运算的物理意义 2789.5 泛平均命题连接词的定义及性质 2799.5.1 泛平均命题连接词的定义 2809.5.2 泛平均运算的性质 2819.5.3 泛平均运算的物理意义 2829.6 泛组合命题连接词的定义及性质 2839.6.1 泛组合命题连接词的定义 2849.6.2 泛组合运算的性质 2859.6.3 泛组合运算的物理意义 2869.7 小结 290第10章 标准命题泛逻辑的理论体系 29110.1 命题泛逻辑学的基本概念 29110.1.1 命题真值域 29110.1.2 广义相关系数 h 29110.1.3 误差系数 k 29210.1.4 泛逻辑运算模型公理 29210.2 泛命题连接词的生成规则 29410.2.1 生成基规则 29410.2.2 生成元规则 29610.2.3 拓序规则 29710.2.4 基空间变换规则 29910.3 泛逻辑学命题连接词的运算模型 29910.4 命题泛逻辑学的常用公式 30210.4.1 泛非命题连接词的公式 30210.4.2 永真蕴含公式 (除h=0和k=1外) 30410.4.3 永真等价公式(除h=0和k=1外) 30510.4.4 新增逻辑公式(除h=0和k=1外) 30710.5 命题泛逻辑学的演绎推理规则 30710.6 小结 309第11章 不可交换的柔性命题逻辑系统 31111.1 引言 31111.2 在泛平均运算完整簇上探寻最佳的加权方式 31111.2.1 泛平均运算的命题算术加权方式 31211.2.2 泛平均运算的命题指数加权方式 3
|
|
購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽
HOME
新書上架
