Logical Foundations for Cognitive Agents
Language: en
Pages: 419
Authors: Hector J. Levesque
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

It is a pleasure and an honor to be able to present this collection of papers to Ray Reiter on the occasion of his 60th birthday. To say that Ray's research has
Thinking about Acting
Language: en
Pages: 280
Authors: John L. Pollock
Categories: Philosophy
Type: BOOK - Published: 2006-07-27 - Publisher: Oxford University Press

GET EBOOK

John Pollock aims to construct a theory of rational decision making for real agents--not ideal agents. Real agents have limited cognitive powers, but traditiona
Knowledge in Action
Language: en
Pages: 462
Authors: Raymond Reiter
Categories: Computers
Type: BOOK - Published: 2001-07-27 - Publisher: MIT Press

GET EBOOK

Specifying and implementing dynamical systems with the situation calculus. Modeling and implementing dynamical systems is a central problem in artificial intell
Logical Foundations of Artificial Intelligence
Language: en
Pages: 427
Authors: Michael R. Genesereth
Categories: Computers
Type: BOOK - Published: 2012-07-05 - Publisher: Morgan Kaufmann

GET 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
Mathematical Aspects of Logic Programming Semantics
Language: en
Pages: 305
Authors: Pascal Hitzler
Categories: Computers
Type: BOOK - Published: 2016-04-19 - Publisher: CRC Press

GET EBOOK

Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for th