國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Introduction to logic programming /

Chaudhri, Vinay K.,

Introduction to logic programming /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Introduction to logic programming /Michael Genesereth, Vinay K. Chaudhri.
作者:	Genesereth, Michael R.,
其他作者:	Chaudhri, Vinay K.,
面頁冊數:	xx, 221 pages :illustrations , 24 cm.
附註:	Title from PDF title page (viewed March 11, 2020).
標題:	Logic programming.
電子資源:	https://doi.org/10.2200/S00966ED1V01Y201911AIM044
電子資源:	https://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=6109113
電子資源:	https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=2372584
ISBN:	9781681737249 :

Introduction to logic programming /
Genesereth, Michael R.,1948-

Introduction to logic programming /Michael Genesereth, Vinay K. Chaudhri. - xx, 221 pages :illustrations , 24 cm. - Synthesis lectures on artificial intelligence and machine learning. - Synthesis lectures on artificial intelligence and machine learning ;#23..

Title from PDF title page (viewed March 11, 2020).

Includes bibliographical references.

Intro -- Preface -- Introduction -- Introduction -- Programming in Logic -- Logic Programs as Runnable Specifications -- Advantages of Logic Programming -- Applications of Logic Programming -- Basic Logic Programming -- Datasets -- Introduction -- Conceptualization -- Datasets -- Example -- Sorority World -- Example -- Kinship -- Example -- Blocks World -- Example -- Food World -- Reformulation -- Exercises -- Queries and Updates -- Queries -- Introduction -- Query Syntax -- Query Semantics -- Safety -- Predefined Concepts -- Example -- Kinship -- Example -- Map Coloring -- Exercises -- Updates

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.

ISBN: 9781681737249 :$99.95Subjects--Topical Terms:

198921
Logic programming.
Index Terms--Genre/Form:

214472
Electronic books.

LC Class. No.: QA76.63 / .G465 2020eb

Dewey Class. No.: 005.1/15

Introduction to logic programming /
LDR:06228nam a2200541 a 4500 001 571192
003 OCoLC
005 20200910042451.0
006 m o d
007 cr |n|||||||||
008 200910t20202020caua ob 000 0 eng d
019 $a 1140820194
020 $a 9781681737249 : $c $99.95
020 $z 1681737248
020 $a 168173723X $q (electronic bk.)
020 $a 9781681737232 $q (electronic bk.)
029 1 $a AU@ $b 000066987403
035 $a (OCoLC)1140787462 $z (OCoLC)1140820194
035 $a on1140787462
040 $a EBLCP $b eng $e rda $e pn $c EBLCP $d MGCLP $d UIU $d GZM $d SFB $d OCLCQ $d YDX $d N$T $d OCLCF $d UAB $d STF $d IBI
049 $a NUKM
050 4 $a QA76.63 $b .G465 2020eb
061 9 2 $a cam 2200529Ii 4500
082 0 4 $a 005.1/15 $2 23
100 1 $a Genesereth, Michael R., $d 1948- $3 763596
245 1 0 $a Introduction to logic programming / $c Michael Genesereth, Vinay K. Chaudhri.
264 1 $a [San Rafael, California] : $b Morgan & Claypool Publishers, $c [2020]
264 4 $c ©2020
300 $a xx, 221 pages : $b illustrations , $c 24 cm.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
490 1 $a Synthesis lectures on artificial intelligence and machine learning
500 $a Title from PDF title page (viewed March 11, 2020).
504 $a Includes bibliographical references.
505 0 $a Intro -- Preface -- Introduction -- Introduction -- Programming in Logic -- Logic Programs as Runnable Specifications -- Advantages of Logic Programming -- Applications of Logic Programming -- Basic Logic Programming -- Datasets -- Introduction -- Conceptualization -- Datasets -- Example -- Sorority World -- Example -- Kinship -- Example -- Blocks World -- Example -- Food World -- Reformulation -- Exercises -- Queries and Updates -- Queries -- Introduction -- Query Syntax -- Query Semantics -- Safety -- Predefined Concepts -- Example -- Kinship -- Example -- Map Coloring -- Exercises -- Updates
505 8 $a Introduction -- Update Syntax -- Update Semantics -- Simultaneous Updates -- Example -- Kinship -- Example -- Colors -- Exercises -- Query Evaluation -- Introduction -- Evaluating Ground Queries -- Matching -- Evaluating Queries With Variables -- Computational Analysis -- Exercises -- View Optimization -- Introduction -- Subgoal Ordering -- Subgoal Removal -- Rule Removal -- Example -- Cryptarithmetic -- Exercises -- View Definitions -- View Definitions -- Introduction -- Syntax -- Semantics -- Semipositive Programs -- Stratified Programs -- Exercises -- View Evaluation -- Introduction
505 8 $a Top-Down Processing of Ground Goals and Rules -- Unification -- Top-Down Processing of Non-Ground Queries and Rules -- Exercises -- Examples -- Introduction -- Example -- Kinship -- Example -- Blocks World -- Example -- Modular Arithmetic -- Example -- Directed Graphs -- Exercises -- Lists, Sets, Trees -- Introduction -- Example -- Peano Arithmetic -- Lists -- Example -- Sorted Lists -- Example -- Sets -- Example -- Trees -- Exercises -- Dynamic Systems -- Introduction -- Representation -- Simulation -- Planning -- Exercises -- Metaknowledge -- Introduction -- Natural Language Processing -- Boolean Logic
505 8 $a Exercises -- Operation Definitions -- Operations -- Introduction -- Syntax -- Semantics -- Exercises -- Dynamic Logic Programs -- Introduction -- Reactive Systems -- Closed Systems -- Mixed Initiative -- Simultaneous Actions -- Exercises -- Database Management -- Introduction -- Update With Constraints -- Maintaining Materialized Views -- Update Through Views -- Exercises -- Interactive Worksheets -- Interactive Worksheets -- Example -- Page Data -- Gestures -- Operation Definitions -- View Definitions -- Semantic Modeling -- Conclusion -- Variations -- Introduction -- Logic Production Systems
505 8 $a Constraint Logic Programming -- Disjunctive Logic Programming -- Existential Logic Programming -- Answer Set Programming -- Inductive Logic Programming -- Predefined Concepts in EpilogJS -- Introduction -- Relations -- Math Functions -- String Functions -- List Functions -- Arithmetic List Functions -- Conversion Functions -- Aggregates -- Operators -- Sierra -- Introduction -- Getting Started -- Data -- Queries -- Updates -- View Definitions -- Operation Definitions -- Settings -- File Management -- Conclusion -- References -- Authors' Biographies -- Blank Page
520 $a 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.
650 0 $a Logic programming. $3 198921
655 4 $a Electronic books. $2 local. $3 214472
700 1 $a Chaudhri, Vinay K., $e author. $3 858155
776 1 $z 9781681737249
830 0 $a Synthesis lectures on artificial intelligence and machine learning ; $v #23. $3 670682
856 4 0 $3 Morgan & Claypool $u https://doi.org/10.2200/S00966ED1V01Y201911AIM044
856 4 0 $3 ProQuest Ebook Central $u https://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=6109113
856 4 0 $3 EBSCOhost $u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=2372584
938 $a ProQuest Ebook Central $b EBLB $n EBL6109113
938 $a Morgan & Claypool Publishers $b MGCL $n 201911AIM044
938 $a EBSCOhost $b EBSC $n 2372584
938 $a YBP Library Services $b YANK $n 301105559
994 $a C0 $b TWNUK

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

附件

320000726531

西方語文圖書區(四樓)

1圖書

一般圖書

QA76.63 G327 2020

一般使用(Normal)

在架

1 筆 • 頁數 1 •
1

多媒體

多媒體檔案
https://doi.org/10.2200/S00966ED1V01Y201911AIM044
https://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=6109113
https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=2372584

評論

新增評論分享你的心得

Export

取書館別