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
Knowledge in Action
Language: en
Pages: 462
Authors: Raymond Reiter
Categories: Computers
Type: BOOK - Published: 2001-07-27 - Publisher: MIT Press

DOWNLOAD EBOOK

Specifying and implementing dynamical systems with the situation calculus. Modeling and implementing dynamical systems is a central problem in artificial intell
Artificial Intelligence
Language: en
Pages: 821
Authors: David L. Poole
Categories: Computers
Type: BOOK - Published: 2017-09-25 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Artificial Intelligence presents a practical guide to AI, including agents, machine learning and problem-solving simple and complex domains.
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming
Language: en
Pages: 818
Authors: Dov M. Gabbay
Categories: Computers
Type: BOOK - Published: 1998-01-08 - Publisher: Clarendon Press

DOWNLOAD EBOOK

The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial
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