Introduction to Logic Programming

Genesereth, Michael, Chaudhri, Vinay K., Brachman, Ronald

  • 出版商: Morgan & Claypool
  • 出版日期: 2020-02-10
  • 售價: $2,498
  • 貴賓價: 9.5$2,373
  • 語言: 英文
  • 頁數: 219
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 1681737221
  • ISBN-13: 9781681737225
  • 相關分類: 人工智慧
  • 立即出貨 (庫存=1)

買這商品的人也買了...

商品描述

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.

"This is a book for the 21st century: presenting an elegant and innovative perspective on logic programming. Unlike other texts, it takes datasets as a fundamental notion, thereby bridging the gap between programming languages and knowledge representation languages; and it treats updates on an equal footing with datasets, leading to a sound and practical treatment of action and change." - Bob Kowalski, Professor Emeritus, Imperial College London

"In a world where Deep Learning and Python are the talk of the day, this book is a remarkable development. It introduces the reader to the fundamentals of traditional Logic Programming and makes clear the benefits of using the technology to create runnable specifications for complex systems." - Son Cao Tran, Professor in Computer Science, New Mexico State University

"Excellent introduction to the fundamentals of Logic Programming. The book is well-written and well-structured. Concepts are explained clearly and the gradually increasing complexity of exercises makes it so that one can understand easy notions quickly before moving on to more difficult ideas." - George Younger, student, Stanford University

商品描述(中文翻譯)

邏輯程式設計是一種以符號邏輯語言的句子集合形式呈現的程式設計風格。

多年來,邏輯程式設計因在演繹式資料庫、自動化工作表、企業管理(業務規則)、計算法律和通用遊戲等領域的應用而引起了越來越多的關注。本書介紹了邏輯程式設計的理論、現有技術和常見應用。

在本書中,我們採用創新的模型論方法來進行邏輯程式設計。我們從資料集的基本概念開始,即一組基本原子。在此基礎上,我們引入了視圖,即虛擬關係;我們使用傳統的類Prolog表示法來定義經典邏輯程式,但其語義是基於資料集而不是實現方式。然後,我們引入了動作,即基本原子的添加和刪除;我們將動態邏輯程式定義為一組動作定義。

除了印刷版書籍外,還有一個在線版本的文本,其中包含文本中使用的語言的解釋器和編譯器,以及用於開發和部署實際邏輯程式的集成開發環境。

「這是一本適合21世紀的書籍:提供了一個優雅而創新的邏輯程式設計觀點。與其他文本不同,它將資料集視為一個基本概念,從而彌合了程式語言和知識表示語言之間的差距;並且它將更新與資料集同等對待,從而實現了對動作和變化的正確且實用的處理。」- Bob Kowalski,倫敦帝國學院名譽教授

「在深度學習和Python成為當今熱門話題的世界中,這本書是一個非常出色的發展。它向讀者介紹了傳統邏輯程式設計的基礎,並清楚地說明了使用這項技術為複雜系統創建可運行規範的好處。」- Son Cao Tran,新墨西哥州立大學計算機科學教授

「這是一本關於邏輯程式設計基礎的優秀入門書。這本書寫得很好,結構合理。概念解釋清晰,漸進增加的練習難度使人能夠快速理解簡單的概念,然後再轉向更困難的想法。」- George Younger,斯坦福大學學生