Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (MIT Press)

Valutazione media 4,2
( su 5 valutazioni fornite da Goodreads )
 
9780262527002: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (MIT Press)

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

About the Author:

Raymond Reiter is Professor and Co-Director of the Cognitive Robotics Project in the Department of Computer Science at the University of Toronto.

Review:

"Reiter's new book, Knowledge in Action, offers the first systematic account of the logical approach to cognitive robotics, a field that he and his colleagues have developed over the past decade. The unique feature of this approach rests in its capacity to admit specifications in the form of meaningful knowledge fragments, to piece those fragments together by logical and probabilistic inferences, and to use those inferences to guide both manipulative and perceptual actions by programmable agents. A must for anyone concerned with the foundations of commonsense knowledge or the design of autonomous dynamical systems."

(Judea Pearl, Department of Computer Science, University of California)

This book is a masterful integration of several decades of work on first-order logic, situation calculus, logic programming, and semantics of time and knowledge. The result is a unified, well-thought-out, and systematic approach to dynamical systems that spans much of modern computer science and AI.

(Johan van Benthem, University of Amsterdam)

This book describes a thoroughly developed logic- and situation-calculus-based system for problem solving and planning. Its emphasis on theory is especially important for the ambitious student who wants to look beyond immediate applications toward the goal of human-level artificial intelligence.

(John McCarthy, Professor Emeritus of Computer Science, Stanford University)

This outstanding work should be on the shelf of anyone concerned with logical control of physical processes.

(Anil Nerode, Goldwin Smith Professor of Mathematics, Cornell University)

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Raymond Reiter
Editore: MIT Press Ltd, United States (2001)
ISBN 10: 0262527006 ISBN 13: 9780262527002
Nuovi Paperback Quantità: 10
Print on Demand
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, United States, 2001. Paperback. Condizione libro: New. Language: English . Brand New Book ***** Print on Demand *****.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. Codice libro della libreria APC9780262527002

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 41,03
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

2.

Reiter, Raymond
Editore: The MIT Press (2017)
ISBN 10: 0262527006 ISBN 13: 9780262527002
Nuovi Paperback Quantità: 7
Print on Demand
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press, 2017. Paperback. Condizione libro: New. This item is printed on demand. Codice libro della libreria 0262527006

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 38,98
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,56
In U.S.A.
Destinazione, tempi e costi

3.

Raymond Reiter
Editore: MIT Press Ltd, United States (2001)
ISBN 10: 0262527006 ISBN 13: 9780262527002
Nuovi Paperback Quantità: 10
Print on Demand
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, United States, 2001. Paperback. Condizione libro: New. Language: English . Brand New Book ***** Print on Demand *****. 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. Codice libro della libreria APC9780262527002

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 41,61
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

4.

Raymond Reiter
Editore: MIT Press (2014)
ISBN 10: 0262527006 ISBN 13: 9780262527002
Nuovi Quantità: > 20
Print on Demand
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press, 2014. PAP. Condizione libro: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. Codice libro della libreria IP-9780262527002

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 31,82
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,04
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Raymond Reiter
Editore: The MIT Press (2001)
ISBN 10: 0262527006 ISBN 13: 9780262527002
Nuovi Paperback Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press, 2001. Paperback. Condizione libro: New. book. Codice libro della libreria 0262527006

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 41,88
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

6.

Raymond Reiter
Editore: MIT Press (2014)
ISBN 10: 0262527006 ISBN 13: 9780262527002
Nuovi Quantità: > 20
Print on Demand
Da
Pbshop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro MIT Press, 2014. PAP. Condizione libro: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria IP-9780262527002

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 38,46
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,42
In U.S.A.
Destinazione, tempi e costi

7.

Raymond Reiter
ISBN 10: 0262527006 ISBN 13: 9780262527002
Nuovi Quantità: > 20
Print on Demand
Da
BWB
(Valley Stream, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. This item is Print on Demand - Depending on your location, this item may ship from the US or UK. Codice libro della libreria POD_9780262527002

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 43,30
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

8.

Raymond Reiter
Editore: The MIT Press
ISBN 10: 0262527006 ISBN 13: 9780262527002
Nuovi Paperback Quantità: 20
Da
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press. Paperback. Condizione libro: New. Paperback. 446 pages. Dimensions: 9.2in. x 7.5in. x 0.9in.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 books Web site. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Codice libro della libreria 9780262527002

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 43,24
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,39
In U.S.A.
Destinazione, tempi e costi

9.

Reiter, Raymond
Editore: The MIT Press
ISBN 10: 0262527006 ISBN 13: 9780262527002
Nuovi PAPERBACK Quantità: > 20
Da
Russell Books
(Victoria, BC, Canada)
Valutazione libreria
[?]

Descrizione libro The MIT Press. PAPERBACK. Condizione libro: New. 0262527006 Special order direct from the distributor. Codice libro della libreria ING9780262527002

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 44,11
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,00
Da: Canada a: U.S.A.
Destinazione, tempi e costi