000 03700nam a22005415i 4500
001 978-3-031-01586-1
003 DE-He213
005 20240730163632.0
007 cr nn 008mamaa
008 220601s2020 sz | s |||| 0|eng d
020 _a9783031015861
_9978-3-031-01586-1
024 7 _a10.1007/978-3-031-01586-1
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
100 1 _aGenesereth, Michael.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_979644
245 1 0 _aIntroduction to Logic Programming
_h[electronic resource] /
_cby Michael Genesereth, Vinay K. Chaudhri.
250 _a1st ed. 2020.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2020.
300 _aXX, 199 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aSynthesis Lectures on Artificial Intelligence and Machine Learning,
_x1939-4616
505 0 _aPreface -- Introduction -- Datasets -- Queries -- Updates -- Query Evaluation -- View Optimization -- View Definitions -- View Evaluation -- Examples -- Lists, Sets, Trees -- Dynamic Systems -- Metaknowledge -- Operations -- Dynamic Logic Programs -- Database Management -- Interactive Worksheets -- Variations -- References -- Authors' Biographies .
520 _aLogic 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 _aArtificial intelligence.
_93407
650 0 _aMachine learning.
_91831
650 0 _aNeural networks (Computer science) .
_979645
650 1 4 _aArtificial Intelligence.
_93407
650 2 4 _aMachine Learning.
_91831
650 2 4 _aMathematical Models of Cognitive Processes and Neural Networks.
_932913
700 1 _aChaudhri, Vinay K.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_979646
710 2 _aSpringerLink (Online service)
_979647
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031000317
776 0 8 _iPrinted edition:
_z9783031004582
776 0 8 _iPrinted edition:
_z9783031027147
830 0 _aSynthesis Lectures on Artificial Intelligence and Machine Learning,
_x1939-4616
_979648
856 4 0 _uhttps://doi.org/10.1007/978-3-031-01586-1
912 _aZDB-2-SXSC
942 _cEBK
999 _c84819
_d84819