登入帳戶  | 訂單查詢  | 購物車/收銀台( 0 ) | 在線留言板  | 付款方式  | 運費計算  | 聯絡我們  | 幫助中心 |  加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 服務:香港台灣澳門海外 送貨:速遞郵局服務站

新書上架簡體書 繁體書
暢銷書架簡體書 繁體書
好書推介簡體書 繁體書

三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書
12月出版:大陸書 台灣書
11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書
八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書
五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書

『簡體書』R-演算: 一种信念修正的逻辑

書城自編碼: 3628189
分類:簡體書→大陸圖書→計算機/網絡计算机理论
作者: 李未,眭跃飞
國際書號(ISBN): 9787030685834
出版社: 科学出版社
出版日期: 2021-04-01

頁數/字數: /
書度/開本: 16开 釘裝: 平装

售價:HK$ 172.5

我要買

 

** 我創建的書架 **
未登入.


新書推薦:
沙盘游戏疗法
《 沙盘游戏疗法 》

售價:HK$ 106.8
图坦卡蒙和改变世界的陵墓
《 图坦卡蒙和改变世界的陵墓 》

售價:HK$ 95.8
儿童心理画:孩子的画会说话,孩子的画这样读
《 儿童心理画:孩子的画会说话,孩子的画这样读 》

售價:HK$ 82.8
海外中国研究·古代中华观念的形成
《 海外中国研究·古代中华观念的形成 》

售價:HK$ 93.6
街头官僚:公共服务中的个人困境(公共行政与公共管理经典译丛;“十二五”国家重点图书出版规划项目)
《 街头官僚:公共服务中的个人困境(公共行政与公共管理经典译丛;“十二五”国家重点图书出版规划项目) 》

售價:HK$ 105.6
芯片战争:世界最关键技术的争夺战
《 芯片战争:世界最关键技术的争夺战 》

售價:HK$ 153.6
唐代玄宗肃宗之际的中枢政局
《 唐代玄宗肃宗之际的中枢政局 》

售價:HK$ 90.0
能源与动力工程测试技术(穆林)
《 能源与动力工程测试技术(穆林) 》

售價:HK$ 94.8

 

建議一齊購買:

+

HK$ 247.5
《 非线性严格反馈系统的智能自适应反步递推控制 》
+

HK$ 148.8
《 复杂非线性时滞系统的控制及应用 》
+

HK$ 122.5
《 复杂网络结构分析方法及应用 》
+

HK$ 128.3
《 混沌伪随机序列及其应用研究 》
+

HK$ 114.6
《 计算机组成原理 》
+

HK$ 229.4
《 CTF竞赛权威指南(Pwn篇) 》
內容簡介:
信念修正是人工智能的研究分支之一。在哲学,认知心理学和数据库更新等领域中,很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出来,它是任何一个合理的信念修正算子应该满足的*基本条件。本书*作者李未院士在20世纪80年代中期提出R-演算,这是一个满足AGM公设,非单调的,并且类似于Gentzen推理系统的信念修正算子。本书对R-演算作多个视角的扩展,将为研究生寻找研究方向和研究思路提供一定帮助。
目錄
目录
前言
第一章引言1
1.1信念修正1
1.2R-演算2
1.3R-演算的扩展3
1.4逼近的R-演算5
1.5R-演算的应用6
参考文献7
第二章基础概念9
2.1命题逻辑9
2.1.1命题逻辑的语法和语义9
2.1.2Gentzen推导系统G110
2.1.3可靠性定理和完备性定理11
2.2一阶逻辑13
2.2.1一阶逻辑的语法和语义13
2.2.2Gentzen推导系统GFOL15
2.2.3可靠性定理和完备性定理15
2.3描述逻辑18
2.3.1描述逻辑的语法和语义18
2.3.2Gentzen推导系统GDL20
2.3.3完备性定理22
参考文献24
第三章命题逻辑的R-演算26
3.1极小改变27
3.1.1*-极小改变28
3.1.2伪子公式与*-极小改变29
3.1.3*-极小改变30
3.2R-演算S30
3.2.1关于单个公式A的R-演算S30
3.2.2关于理论的R-演算S33
3.2.3关于*-极小改变的AGM公设Aμ;35
3.3R-演算T36
3.3.1关于单个公式A的R-演算T37
3.3.2关于理论Г的R-演算T40
3.4R-演算U42
3.4.1关于单个公式的R-演算U43
3.4.2关于理论Г的R-演算U48
参考文献49
第四章描述逻辑的R-演算50
4.1关于*-极小改变的R-演算SDL51
4.1.1关于单个断言的R-演算SDL51
4.1.2关于理论的R-演算SDL56
4.2关于*-极小改变的R-演算TDL57
4.2.1伪子概念和*-极小改变57
4.2.2关于单个断言的R-演算TDL58
4.2.3关于理论的R-演算TDL63
4.3讨论关于*-极小改变的R-演算UDL64
参考文献66
第五章命题模态逻辑的R-演算67
5.1命题模态逻辑PML67
5.2关于*-极小改变的R-演算SM72
5.3关于*-极小改变的R-演算TM77
5.4R-演算的模态逻辑82
5.4.1R-模态逻辑83
5.4.2Gentzen推导系统HR84
参考文献86
第六章逻辑程序的R-演算87
6.1逻辑程序87
6.1.1理论的Gentzen推理系统G388
6.1.2完备性定理89
6.1.3对偶系统91
6.1.4极小改变92
6.2R-演算SLP92
6.3R-演算TLP95
6.4余理论的R-演算98
参考文献100
第七章一阶逻辑的R-演算101
7.1R-演算SFOL和*-极小改变101
7.1.1关于单个公式的R-演算SFOL101
7.1.2关于理论的R-演算SFOL104
7.2关于*-极小改变的R-演算106
7.2.1关于单个公式的R-演算TFOL106
7.2.2关于理论的R-演算TFOL111
参考文献113
第八章R-演算的非单调性114
8.1非单调的命题逻辑114
8.1.1非单调的命题逻辑G2114
8.1.2G2的非单调性119
8.2每个非单调逻辑均涉及Г*A121
8.2.1缺省逻辑121
8.2.2界定122
8.2.3自认知逻辑123
8.2.4否定即失败的逻辑程序124
8.3R-演算与缺省逻辑之间的对应关系125
8.3.1R-演算到缺省逻辑的变换125
8.3.2缺省逻辑到R-演算的转换127
参考文献129
第九章逼近的R-演算130
9.1有穷损害优先方法130
9.1.1Post问题130
9.1.2带谕示的构造132
9.1.3有穷损害优先方法132
9.2逼近推导134
9.3R-演算Fapp与有穷损害优先方法136
9.3.1带谕示的构造136
9.3.2逼近R-演算Fapp138
9.3.3递归构造139
9.3.4逼近R-演算Frec144
9.4缺省逻辑与有穷损害优先方法146
9.4.1没有损害地构造一个扩展146
9.4.2有穷损害优先方法构造一个扩展147
参考文献149
第十章R-演算应用之一:命题缺省逻辑150
10.1缺省逻辑和*-极小改变150
10.1.1关于单个缺省的推导系统SD151
10.1.2对于缺省集合D的R-演算SD153
10.2缺省逻辑和*-极小改变155
10.2.1关于单个缺省的推导系统TD155
10.2.2关于缺省集合D的R-演算TD159
10.3缺省逻辑和*-极小改变160
10.3.1单个缺省的R-演算UD160
10.3.2关于缺省集合D的R-演算UD164
参考文献165
第十一章R-演算应用之二:→;-命题逻辑166
11.1→;-命题逻辑166
11.1.1基本定义167
11.1.2Gentzen推导系统G4170
11.1.3可靠性和完备性定理172
11.2R-演算S→;和*-极小改变176
11.2.1关于单个断言A→;B的R-演算S→;177
11.2.2S→;的可靠性和完备性定理179
11.2.3关于协调性和非协调性183
11.3R-演算T→;和*-极小改变184
11.3.1关于单个断言A→;B的R-演算T→;185
11.3.2T→;的可靠性和完备性定理186
11.4R-演算U→;和*-极小改变192
11.4.1单个断言A*B的R-演算U→;193
11.4.2U→;的可靠性和完备性定理193
参考文献197
第十二章R-演算应用之三:语义继承网络198
12.1语义继承网络198
12.1.1基本定义198
12.1.2语义继承网络的推导系统G5202
12.1.3可靠性和完备性定理204
12.2R-演算SSN和*-极小改变209
12.2.1关于单个断言C*D的R-演算SSN209
12.2.2SSN的可靠性和完备性定理211
12.2.3例子216
12.2.4关于协调性和非协调性217
12.3R-演算TSN和*-极小改变218
12.3.1关于单个断言C*D的R-演算TSN219
12.3.2TSN的可靠性和完备性定理220
12.4R-演算USN和*-极小改变226
12.4.1单个断言C*D的R-演算USN226
12.4.2USN的可靠性和完备性定理227
参考文献231
索引232

 

 

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