{"product_id":"knowledge-in-action-logical-foundations-for-specifying-and-implementing-dynamical-systems-9780262527002","title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","description":"\u003cb\u003eSpecifying and implementing dynamical systems with the situation calculus.\u003c\/b\u003e\u003cp\u003eModeling 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.\u003c\/p\u003e\u003cp\u003eThis 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.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Raymond Reiter\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e MIT Press\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 07\/27\/2001\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 446\u003cbr\u003e\u003cb\u003eBinding Type:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.68lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.25h x 7.52w x 0.90d\u003cbr\u003e\u003cb\u003eISBN:\u003c\/b\u003e 9780262527002\u003cbr\u003e\u003cp\u003e\u003cb\u003eAbout the Author\u003c\/b\u003e\u003cbr\u003e\u003cb\u003e\u003ci\u003eReiter, Raymond:\u003c\/i\u003e\u003c\/b\u003e - Raymond Reiter is Professor and Co-Director of the Cognitive Robotics Project in the Department of Computer Science at the University of Toronto.\u003c\/p\u003e\u003cp\u003e\u003ci\u003eThis title is not returnable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"MIT Press","offers":[{"title":"Paperback","offer_id":40549482725491,"sku":"9.78026E+12","price":59.95,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0555\/9255\/0515\/products\/img_1e710b7d-02a7-4b0b-a377-615ba7c88656.jpg?v=1667310680","url":"https:\/\/bookstorenmore.com\/en-de\/products\/knowledge-in-action-logical-foundations-for-specifying-and-implementing-dynamical-systems-9780262527002","provider":"Bookstore N More","version":"1.0","type":"link"}