Introduction to Logic Programming
暫譯: 邏輯程式設計入門
Michael Genesereth , Vinay K. Chaudhri
- 出版商: Morgan & Claypool
- 出版日期: 2020-02-10
- 售價: $3,500
- 貴賓價: 9.5 折 $3,325
- 語言: 英文
- 頁數: 219
- 裝訂: Hardcover - also called cloth, retail trade, or trade
- ISBN: 1681737248
- ISBN-13: 9781681737249
-
相關翻譯:
邏輯編程導論 (簡中版)
相關主題
商品描述
Logic Programming is a style of programming in which programs take the form of sets of sentences in the language of Symbolic Logic.Over the years, there has been growing interest in Logic Programming due to applications in deductive databases, automated worksheets, Enterprise Management (business rules), Computational Law, and General Game Playing. This book introduces Logic Programming theory, current technology, and popular applications.
In this volume, we take an innovative, model-theoretic approach to logic programming. We begin with the fundamental notion of datasets, i.e., sets of ground atoms. Given this fundamental notion, we introduce views, i.e., virtual relations; and we define classical logic programs as sets of view definitions, written using traditional Prolog-like notation but with semantics given in terms of datasets rather than implementation. We then introduce actions, i.e., additions and deletions of ground atoms; and we define dynamic logic programs as sets of action definitions.
In addition to the printed book, there is an online version of the text with an interpreter and a compiler for the language used in the text and an integrated development environment for use in developing and deploying practical logic programs.
商品描述(中文翻譯)
邏輯程式設計是一種程式設計風格，其中程式以符號邏輯語言中的句子集合的形式存在。隨著時間的推移，由於在推理資料庫、自動化工作表、企業管理（商業規則）、計算法律和一般遊戲玩法等應用中的興趣日益增長，邏輯程式設計受到了越來越多的關注。本書介紹了邏輯程式設計的理論、當前技術和流行應用。
在本卷中，我們採取了一種創新的模型理論方法來探討邏輯程式設計。我們從數據集的基本概念開始，即基本原子集合。基於這一基本概念，我們介紹了視圖，即虛擬關係；並且我們將經典邏輯程式定義為視圖定義的集合，這些定義使用傳統的類Prolog符號書寫，但其語義是基於數據集而非實現。我們接著介紹了動作，即基本原子的新增和刪除；並且我們將動態邏輯程式定義為動作定義的集合。
除了印刷版書籍外，還有一個在線版本的文本，配有解釋器和編譯器，用於文本中使用的語言，以及一個集成開發環境，用於開發和部署實用的邏輯程式。
作者簡介
Michael Genesereth is a professor in the Computer Science Department at Stanford University and a professor by courtesy in the Stanford Law School. He received his Sc.B. in Physics from M.I.T. and his Ph.D. in Applied Mathematics from Harvard University. Genesereth is most known for his work on Computational Logic and applications of that work in Enterprise Management, Computational Law, and General Game Playing. He is one of the founders of Teknowledge, CommerceNet, Mergent Systems, and Symbium. Genesereth is the current director of the Logic Group at Stanford and co-founder and research director of CodeX (the Stanford Center for Legal Informatics).
Vinay K. Chaudhri is formerly a program director in the Artificial Intelligence Center at SRI International, and currently affiliated with the Stanford Computer Science Department. He received his Ph.D. in Computer Science from University of Toronto, Canada. Dr. Chaudhri is a recognized expert on artificial intelligence, including knowledge representation and reasoning, question answering, ontologies, and knowledge acquisition. At Stanford his activities include promoting logic education for secondary schools, investigating techniques for rapidly acquiring formal knowledge and productizing intelligent textbooks. He consults with the financial industry on computable contracts and knowledge graphs. He has also taught courses on knowledge representation and reasoning and logic programming.
作者簡介(中文翻譯)
邁克爾·基尼瑟瑞斯（Michael Genesereth）是史丹佛大學計算機科學系的教授，並且是史丹佛法學院的兼任教授。他在麻省理工學院獲得物理學學士學位（Sc.B.），並在哈佛大學獲得應用數學博士學位（Ph.D.）。基尼瑟瑞斯最著名的工作是計算邏輯及其在企業管理、計算法律和一般遊戲玩法中的應用。他是Teknowledge、CommerceNet、Mergent Systems和Symbium的創始人之一。基尼瑟瑞斯目前是史丹佛邏輯小組的主任，也是CodeX（史丹佛法律資訊中心）的共同創辦人和研究主任。
維奈·K·喬杜里（Vinay K. Chaudhri）曾是SRI國際人工智慧中心的計畫主任，目前與史丹佛計算機科學系有關聯。他在加拿大多倫多大學獲得計算機科學博士學位（Ph.D.）。喬杜里博士是人工智慧領域的公認專家，專注於知識表示與推理、問題回答、本體論和知識獲取。在史丹佛，他的工作包括推廣中學邏輯教育、研究快速獲取正式知識的技術以及將智能教科書商品化。他還為金融行業提供有關可計算合約和知識圖譜的諮詢服務。他也教授有關知識表示與推理及邏輯程式設計的課程。
