Introduction to Logic Programming.

Author/creator Genesereth, Michael
Format Electronic
Publication InfoSan Rafael : Morgan & Claypool Publishers, 2020.
Description1 online resource (221 pages).
Supplemental ContentClick here to view book

Other author/creatorChaudhri, Vinay K.
Other author/creatorBrachman, Ronald.
Other author/creatorRossi, Francesca, 1962-
Other author/creatorStone, Peter.
SeriesSynthesis Lectures on Artificial Intelligence and Machine Learning Ser
Synthesis Lectures on Artificial Intelligence and Machine Learning Ser. UNAUTHORIZED
Contents 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
Contents 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
Contents 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
Contents 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
Contents 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
General noteDescription based upon print version of record.
Issued in other formPrint version: Genesereth, Michael Introduction to Logic Programming San Rafael : Morgan & Claypool Publishers,c2020 9781681737249
Genre/formElectronic books.
ISBN9781681737232
ISBN168173723X

Availability

Library Location Call Number Status Item Actions
Electronic Resources Access Content Online ✔ Available