Logical Foundations of Artificial Intelligence

Logical Foundations of Artificial Intelligence
Author :
Publisher : Morgan Kaufmann
Total Pages : 427
Release :
ISBN-10 : 9780128015544
ISBN-13 : 0128015543
Rating : 4/5 (543 Downloads)

Book Synopsis Logical Foundations of Artificial Intelligence by : Michael R. Genesereth

Download or read book Logical Foundations of Artificial Intelligence written by Michael R. Genesereth and published by Morgan Kaufmann. This book was released on 2012-07-05 with total page 427 pages. Available in PDF, EPUB and Kindle. Book excerpt: Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical Foundations of Artificial Intelligence is a lucid, rigorous, and comprehensive account of the fundamentals of artificial intelligence from the standpoint of logic. The first section of the book introduces the logicist approach to AI--discussing the representation of declarative knowledge and featuring an introduction to the process of conceptualization, the syntax and semantics of predicate calculus, and the basics of other declarative representations such as frames and semantic nets. This section also provides a simple but powerful inference procedure, resolution, and shows how it can be used in a reasoning system. The next several chapters discuss nonmonotonic reasoning, induction, and reasoning under uncertainty, broadening the logical approach to deal with the inadequacies of strict logical deduction. The third section introduces modal operators that facilitate representing and reasoning about knowledge. This section also develops the process of writing predicate calculus sentences to the metalevel--to permit sentences about sentences and about reasoning processes. The final three chapters discuss the representation of knowledge about states and actions, planning, and intelligent system architecture. End-of-chapter bibliographic and historical comments provide background and point to other works of interest and research. Each chapter also contains numerous student exercises (with solutions provided in an appendix) to reinforce concepts and challenge the learner. A bibliography and index complete this comprehensive work.


Logical Foundations of Artificial Intelligence Related Books

Logical Foundations of Artificial Intelligence
Language: en
Pages: 427
Authors: Michael R. Genesereth
Categories: Computers
Type: BOOK - Published: 2012-07-05 - Publisher: Morgan Kaufmann

DOWNLOAD EBOOK

Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical Foundations of
Logic-Based Artificial Intelligence
Language: en
Pages: 640
Authors: Jack Minker
Categories: Computers
Type: BOOK - Published: 2000-12-31 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In
Logic for Computer Science and Artificial Intelligence
Language: en
Pages: 378
Authors: Ricardo Caferra
Categories: Technology & Engineering
Type: BOOK - Published: 2013-02-04 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of in
Logics for Computer and Data Sciences, and Artificial Intelligence
Language: en
Pages: 0
Authors: Lech T. Polkowski
Categories: Technology & Engineering
Type: BOOK - Published: 2022-12-19 - Publisher: Springer

DOWNLOAD EBOOK

This volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligen
Logics in Artificial Intelligence
Language: en
Pages: 462
Authors: Wolfgang Faber
Categories: Computers
Type: BOOK - Published: 2021-05-12 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. Th