了得網計算機/網絡_邏輯編程導論

內容簡介

本書采用一種創新的模型論進行邏輯編程，從數據集的基本概念(即閉原子集)開始。沿著這一基本概念，我們引入視圖(即虛擬關繫)；我們將經典邏輯程序定義為視圖定義集，使用傳統的類似於Prolog的表示法編寫，但語義是根據數據集而不是根據實現方式給出。然後介紹了一些閉原子操作，如“添加”和“刪除。

譯者序
前言
部分邏輯編程的介紹
第1章概述3
1.1邏輯編程3
1.2邏輯程序作為可運行規範3
1.3邏輯編程的優點4
1.4邏輯編程的應用5
1.5基本邏輯編程6
1.6歷史筆記7
第2章數據集9
2.1引言9
2.2概念化9
2.3數據集的定義10譯者序
前言
部分邏輯編程的介紹
第1章概述3
1.1邏輯編程3
1.2邏輯程序作為可運行規範3
1.3邏輯編程的優點4
1.4邏輯編程的應用5
1.5基本邏輯編程6
1.6歷史筆記7
第2章數據集9
2.1引言9
2.2概念化9
2.3數據集的定義10
2.4示例—女生聯誼會12
2.5示例—親屬關繫13
2.6示例—積木世界14
2.7示例—食物世界16
2.8重組16
2.9習題18
第二部分查詢的更新
第3章查詢23
3.1引言23
3.2查詢語法24
3.3查詢語義25
3.4安全性26
3.5預定義概念27
3.6示例—親屬關繫28
3.7示例—地圖著色29
3.8習題30
第4章更新33
4.1引言33
4.2更新語法33
4.3更新語義34
4.4同步更新35
4.5示例—親屬關繫36
4.6示例—顏色37
4.7習題40
第5章查詢評估43
5.1引言43
5.2評估真值查詢43
5.3匹配44
5.4用變量評估查詢47
5.5計算分析48
5.6習題49
第6章視圖優化51
6.1引言51
6.2子目標排序51
6.3子目標移除53
6.4規則移除55
6.5示例—密碼算術55
6.6習題57
第三部分視圖的定義
第7章視圖定義61
7.1引言61
7.2語法62
7.3語義63
7.4半正程序66
7.5分層程序68
7.6習題71
第8章視圖評估73
8.1引言73
8.2基礎目標和規則的自頂向下處理74
8.3合一75
8.4非基礎查詢和規則的自頂向下處理79
8.5習題81
第9章示例83
9.1引言83
9.2示例—親屬關繫83
9.3示例—積木世界84
9.4示例—模運算86
9.5示例—有向圖87
9.6習題88
第10章列表、集合、樹91
10.1引言91
10.2示例—皮亞諾公理91
10.3列表93
10.4示例—排序列表94
10.5示例—集合95
10.6示例—樹96
10.7習題96
第11章動態繫統99
11.1引言99
11.2表示100
11.3仿真101
11.4計劃103
11.5習題104
第1知識105
12.1引言105
12.2自然語言處理105
12.3布爾邏輯107
12.4習題108
第四部分操作的定義
第13章操作113
13.1引言113
13.2語法113
13.3語義115
13.4習題118
第14章動態邏輯程序121
14.1引言121
14.2響應式繫統121
14.3封閉繫統122
14.4混合主動124
14.5同時動作124
14.6習題126
第15章數據庫管理127
15.1引言127
15.2約束更新127
15.3物化視圖維護128
15.4通過視圖更新129
15.5習題130
第16章交互式工作表131
16.1交互式工作表簡介131
16.2示例132
16.3網頁數據133
16.4手勢134
16.5操作定義135
16.6視圖定義136
16.7語義建模137
第五部分結論
第17章其他類型的邏輯程序設計143
17.1引言143
17.2邏輯生產繫統143
17.3約束邏輯編程144
17.4析取邏輯編程145
17.5存在邏輯編程146
17.6回答集編程147
17.7歸納邏輯編程149
附錄AEpilogJS中的預定義概念151
附錄BSierra161
參考文獻182

前言

本書是關於邏輯編程的入門教科書，它主要適用於本科生，但也適合中學生和低年級研究生閱讀。
本書假設學生已經理解集合和集合運算，比如並集、交集等。本書還假設學生熟悉符號運算，掌握高中代數或有更高水平。
如果讀者有運用計算思維的經驗，會對閱讀本書有幫助，但這並不是閱讀本書的條件。另外，編程經驗也不是必需的。實際上，我們已經觀察到，一些具有編程背景的學生剛開始閱讀這本書的時候比沒有編程經驗的學生要困難得多。為了欣賞邏輯編程的力量和美感，他們似乎需要忘掉一些以前學過的知識。
本書采用的邏輯編程方法來自30多年來我們在學術和商業環境中的研究、應用和教學。這些經歷很寶貴，使得本書在以下兩個方面不同於其他書籍。
，本書采用“模型–理論”的方法來闡述語義，而不用傳統的“證據–理論”方法。從數據集的基本概念（即基本原子集）開始，我們引入了視圖定義的經典邏輯程序，這種程序使用傳統的Prolog表示法編寫，但根據數據集而不是實現給出語義。我們也會在稍後的演示中討論實現。本書是關於邏輯編程的入門教科書，它主要適用於本科生，但也適合中學生和低年級研究生閱讀。
本書假設學生已經理解集合和集合運算，比如並集、交集等。本書還假設學生熟悉符號運算，掌握高中代數或有更高水平。
如果讀者有運用計算思維的經驗，會對閱讀本書有幫助，但這並不是閱讀本書的條件。另外，編程經驗也不是必需的。實際上，我們已經觀察到，一些具有編程背景的學生剛開始閱讀這本書的時候比沒有編程經驗的學生要困難得多。為了欣賞邏輯編程的力量和美感，他們似乎需要忘掉一些以前學過的知識。
本書采用的邏輯編程方法來自30多年來我們在學術和商業環境中的研究、應用和教學。這些經歷很寶貴，使得本書在以下兩個方面不同於其他書籍。
，本書采用“模型–理論”的方法來闡述語義，而不用傳統的“證據–理論”方法。從數據集的基本概念（即基本原子集）開始，我們引入了視圖定義的經典邏輯程序，這種程序使用傳統的Prolog表示法編寫，但根據數據集而不是實現給出語義。我們也會在稍後的演示中討論實現。
第二，我們同時關注數據集的改變與邏輯代理的狀態。在討論了數據集之後，我們引入了“更新”的基本概念，即“添加”和“刪除”基本原子。根據這個基本概念，我們引入動態邏輯程序作為動作定義集，其中動作被概念化為同步更新集。這個擴展允許我們討論邏輯代理以及靜態邏輯程序。（邏輯代理實際上是一個狀態機，其中每個狀態被建模為數據集，每條弧被建模為一組更新。）
本書有和在線版，還通過教學網站提供能自動評分的在線練習、編程作業、邏輯編程工具和各種示例程序。該網站免費開放，網址為http://logicprogramming.stanford.edu。
後，我們要感謝對本書的編寫工作產生深遠影響的兩個人：Jeff Ullman 和 Bob Kowalski。Jeff Ullman是我們在斯坦福大學的同事，他編寫的廣受歡迎的教材啟發了我們，並幫助我們認識到邏輯編程和數據庫之間的深層關繫。Bob Kowalski是邏輯編程的共同發明者，他傾聽了我們的想法，為我們的工作提供幫助，甚至就本書的某些章節與我們進行了合作。
我們還想感謝Abhijeet Mohapatra。他是動態邏輯編程的共同發明者，也是本書中許多邏輯編程工具的共同創造者。他是這門課程的助教，為本書內容的呈現和組織提供了寶貴的建議。
後，我們要感謝那些不得不忍受本書早期版本的學生們，在許多情況下，他們通過經歷並不總是成功的實驗來幫助我們找到正確的方法。盡管犯了很多錯誤，他們似乎還是學會了書中的內容，他們很聰明。他們的耐心和建設性的意見對於幫助我們理解哪些東西是可取的尤為寶貴。

Michael Genesereth和Vinay K. Chaudhri
2019年12月

商品搜索

商品分类

【醫學】

【各大出版社】