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

4.33 avg rating
( 6 ratings by Goodreads )
 
9780262527002: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (The MIT Press)
View all copies of this ISBN edition:
 
 

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.

"synopsis" may belong to another edition of this title.

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 (Endorsement)

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 (Endorsement)

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 (Endorsement)

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 (Endorsement)

"About this title" may belong to another edition of this title.

Other Popular Editions of the Same Title

9780262182188: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems

Featured Edition

ISBN 10:  0262182181 ISBN 13:  9780262182188
Publisher: The MIT Press, 2001
Hardcover

Top Search Results from the AbeBooks Marketplace

1.

Reiter, Raymond
Published by Mit Press 7/27/2001 (2001)
ISBN 10: 0262527006 ISBN 13: 9780262527002
New Paperback or Softback Quantity Available: 10
Seller:
BargainBookStores
(Grand Rapids, MI, U.S.A.)
Rating
[?]

Book Description Mit Press 7/27/2001, 2001. Paperback or Softback. Condition: New. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. Book. Seller Inventory # BBS-9780262527002

More information about this seller | Contact this seller

Buy New
US$ 43.60
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

2.

Reiter, Raymond
Published by The MIT Press (2018)
ISBN 10: 0262527006 ISBN 13: 9780262527002
New Paperback Quantity Available: 17
Print on Demand
Seller:
Murray Media
(NORTH MIAMI BEACH, FL, U.S.A.)
Rating
[?]

Book Description The MIT Press, 2018. Paperback. Condition: New. Never used! This item is printed on demand. Seller Inventory # 0262527006

More information about this seller | Contact this seller

Buy New
US$ 44.02
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

3.

Raymond Reiter
Published by MIT Press Ltd, United States (2001)
ISBN 10: 0262527006 ISBN 13: 9780262527002
New Paperback Quantity Available: 10
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description MIT Press Ltd, United States, 2001. Paperback. Condition: New. Language: English. Brand new Book. 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. Seller Inventory # APC9780262527002

More information about this seller | Contact this seller

Buy New
US$ 47.46
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

Reiter, Raymond
Published by MIT Press (2014)
ISBN 10: 0262527006 ISBN 13: 9780262527002
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description MIT Press, 2014. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780262527002

More information about this seller | Contact this seller

Buy New
US$ 43.55
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

5.

Raymond Reiter
Published by MIT Press Ltd, United States (2001)
ISBN 10: 0262527006 ISBN 13: 9780262527002
New Paperback Quantity Available: 10
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description MIT Press Ltd, United States, 2001. Paperback. Condition: New. Language: English. Brand new Book. 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. Seller Inventory # APC9780262527002

More information about this seller | Contact this seller

Buy New
US$ 48.55
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

6.

Reiter, Raymond
Published by MIT Press (2014)
ISBN 10: 0262527006 ISBN 13: 9780262527002
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description MIT Press, 2014. PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780262527002

More information about this seller | Contact this seller

Buy New
US$ 37.42
Convert currency

Add to Basket

Shipping: US$ 11.79
From United Kingdom to U.S.A.
Destination, rates & speeds

7.

Raymond Reiter
Published by The MIT Press
ISBN 10: 0262527006 ISBN 13: 9780262527002
New Paperback Quantity Available: > 20
Seller:
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description The MIT Press. Paperback. Condition: New. 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. Seller Inventory # 9780262527002

More information about this seller | Contact this seller

Buy New
US$ 54.96
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

8.

Reiter, Raymond
Published by The MIT Press
ISBN 10: 0262527006 ISBN 13: 9780262527002
New PAPERBACK Quantity Available: > 20
Seller:
Russell Books
(Victoria, BC, Canada)
Rating
[?]

Book Description The MIT Press. PAPERBACK. Condition: New. 0262527006 Special order direct from the distributor. Seller Inventory # ING9780262527002

More information about this seller | Contact this seller

Buy New
US$ 49.95
Convert currency

Add to Basket

Shipping: US$ 7.00
From Canada to U.S.A.
Destination, rates & speeds

9.

Raymond Reiter
Published by The MIT Press (2001)
ISBN 10: 0262527006 ISBN 13: 9780262527002
New Softcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description The MIT Press, 2001. Condition: New. book. Seller Inventory # M0262527006

More information about this seller | Contact this seller

Buy New
US$ 57.81
Convert currency

Add to Basket

Shipping: US$ 3.27
Within U.S.A.
Destination, rates & speeds

10.

Raymond Reiter
Published by The MIT Press (2001)
ISBN 10: 0262527006 ISBN 13: 9780262527002
New Paperback Quantity Available: 1
Seller:
Books Express
(Portsmouth, NH, U.S.A.)
Rating
[?]

Book Description The MIT Press, 2001. Paperback. Condition: New. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. Buy with confidence, excellent customer service!. Seller Inventory # 0262527006n

More information about this seller | Contact this seller

Buy New
US$ 146.82
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds