Knowledge in Action

Knowledge in Action
Author :
Publisher : MIT Press
Total Pages : 462
Release :
ISBN-10 : 0262264315
ISBN-13 : 9780262264310
Rating : 4/5 (310 Downloads)

Book Synopsis Knowledge in Action by : Raymond Reiter

Download or read book Knowledge in Action written by Raymond Reiter and published by MIT Press. This book was released on 2001-07-27 with total page 462 pages. Available in PDF, EPUB and Kindle. Book excerpt: Specifying and implementing dynamical systems with the situation calculus. Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community. This book presents a comprehensive treatment of these ideas, basing its theoretical and implementation foundations on the situation calculus, a dialect of first-order logic. Within this framework, it develops many features of dynamical systems modeling, including time, processes, concurrency, exogenous events, reactivity, sensing and knowledge, probabilistic uncertainty, and decision theory. It also describes and implements a new family of high-level programming languages suitable for writing control programs for dynamical systems. Finally, it includes situation calculus specifications for a wide range of examples drawn from cognitive robotics, planning, simulation, databases, and decision theory, together with all the implementation code for these examples. This code is available on the book's Web site.


Knowledge in Action Related Books

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
Code Generation in Action
Language: en
Pages: 360
Authors: Jack Herrington
Categories: Computers
Type: BOOK - Published: 2003 - Publisher: Manning Publications

GET EBOOK

Covering technique and implementation for building code for complex applications frameworks, this book demonstrates how to build high-quality output that is con
Logic Programs, Norms and Action
Language: en
Pages: 444
Authors: Alexander Artikis
Categories: Computers
Type: BOOK - Published: 2012-04-25 - Publisher: Springer

GET EBOOK

This book is dedicated to Marek Sergot, Professor in Computational Logic at Imperial College London, on the occasion of his 60th birthday. Professor Sergot’s
Introduction to Logic Programming
Language: en
Pages: 199
Authors: Michael Michael Genesereth
Categories: Computers
Type: BOOK - Published: 2022-06-01 - Publisher: Springer Nature

GET EBOOK

Logic 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 be
Logic Programming with Prolog
Language: en
Pages: 228
Authors: Max Bramer
Categories: Computers
Type: BOOK - Published: 2005-11-30 - Publisher: Springer Science & Business Media

GET EBOOK

Written for those who wish to learn Prolog as a powerful software development tool, but do not necessarily have any background in logic or AI. Includes a full g