Answer Set Programming
暫譯: 答案集程式設計
Lifschitz, Vladimir
- 出版商: Springer
- 出版日期: 2019-09-18
- 售價: $2,770
- 貴賓價: 9.5 折 $2,632
- 語言: 英文
- 頁數: 190
- 裝訂: Hardcover - also called cloth, retail trade, or trade
- ISBN: 3030246574
- ISBN-13: 9783030246570
海外代購書籍(需單獨結帳)
商品描述
Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. In such a problem, the goal is to find a solution among a large but finite number of possibilities. The idea of ASP came from research on artificial intelligence and computational logic. ASP is a form of declarative programming: an ASP program describes what is counted as a solution to the problem, but does not specify an algorithm for solving it. Search is performed by sophisticated software systems called answer set solvers.
Combinatorial search problems often arise in science and technology, and ASP has found applications in diverse areas—in historical linguistic, in bioinformatics, in robotics, in space exploration, in oil and gas industry, and many others. The importance of this programming method was recognized by the Association for the Advancement of Artificial Intelligence in 2016, when AI Magazine published a special issue on answer set programming.
The book will introduce the reader to the theory and practice of ASP. It will describe the input language of the answer set solver CLINGO, which was designed at the University of Potsdam in Germany and is used today by ASP programmers in many countries. It will include numerous examples of ASP programs and present the mathematical theory that ASP is based on. There will be many exercises with complete solutions.
商品描述(中文翻譯)
回答集程式設計（Answer Set Programming, ASP）是一種針對組合搜尋問題的程式設計方法。在這類問題中，目標是在大量但有限的可能性中找到解決方案。ASP 的概念源於人工智慧和計算邏輯的研究。ASP 是一種聲明式程式設計：ASP 程式描述了什麼被視為問題的解決方案，但並不指定解決它的演算法。搜尋是由稱為回答集求解器（answer set solvers）的複雜軟體系統執行的。
組合搜尋問題常常出現在科學和技術領域，ASP 在多個領域中找到了應用——包括歷史語言學、生物資訊學、機器人技術、太空探索、石油和天然氣產業等。這種程式設計方法的重要性在 2016 年被人工智慧促進協會（Association for the Advancement of Artificial Intelligence）所認可，當時《AI Magazine》發表了一期專門探討回答集程式設計的特刊。
本書將向讀者介紹 ASP 的理論和實踐。它將描述回答集求解器 CLINGO 的輸入語言，該語言是在德國波茨坦大學設計的，並且今天被許多國家的 ASP 程式設計師使用。書中將包含大量的 ASP 程式範例，並呈現 ASP 所基於的數學理論。還將有許多完整解答的練習題。
作者簡介
Vladimir Lifschitz is a Professor of Computer Science at the University of Texas at Austin and a Fellow of the Association for the Advancement of Artificial Intelligence. He received a degree in Mathematics from the Steklov Mathematical Institute in Leningrad, USSR in 1971. A few years later he came to the United States, and his research interests turned to computational logic and knowledge representation. Lifschitz has written over 60 papers on logic programming, coined the term "answer set programming," and received several awards for publications in this area, including a Most Influential Paper in 20 Years Award and a Test of Time Award from the Association for Logic Programming. Lifschitz has served as the Editor-in-Chief of ACM Transactions on Computational Logic and as a member of the Editorial Board of the journal Artificial Intelligence.
作者簡介(中文翻譯)
弗拉基米爾·利夫希茨是德克薩斯州大學奧斯汀分校的計算機科學教授，也是人工智慧促進協會的研究員。他於1971年在蘇聯列寧格勒的斯捷克洛夫數學研究所獲得數學學位。幾年後，他來到美國，並將研究興趣轉向計算邏輯和知識表示。利夫希茨在邏輯程式設計方面發表了超過60篇論文，創造了“答案集程式設計”（answer set programming）這一術語，並因在該領域的出版物獲得多項獎項，包括20年來最具影響力論文獎和邏輯程式設計協會的時間考驗獎。利夫希茨曾擔任《ACM計算邏輯學報》的主編，以及《人工智慧》期刊的編輯委員會成員。
