{"product_id":"reasoning-robots-the-art-and-science-of-programming-robotic-agents-9781402030680","title":"Reasoning Robots: The Art and Science of Programming Robotic Agents","description":"\u003cp\u003e • Author(s): Michael Thielscher\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Programming - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eFrom the Back Cover\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eThe book provides an in-depth and uniform treatment of a mathematical\u003c\/p\u003e \u003cp\u003emodel for reasoning robotic agents. The book also contains an introduction\u003c\/p\u003e \u003cp\u003eto a programming method and system based on this model.\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e \u003cp\u003eThe mathematical model, known as the \"Fluent Calculus, '' describes how\u003c\/p\u003e \u003cp\u003eto use classical first-order logic to set up symbolic models of dynamic\u003c\/p\u003e \u003cp\u003eworlds and to represent knowledge of actions and their effects. Robotic\u003c\/p\u003e \u003cp\u003eagents use this knowledge and their reasoning facilities to make decisions\u003c\/p\u003e \u003cp\u003ewhen following high-level, long-term strategies. The book covers\u003c\/p\u003e \u003cp\u003ethe issues of reasoning about sensor input, acting under incomplete\u003c\/p\u003e \u003cp\u003eknowledge and uncertainty, planning, intelligent troubleshooting, and many\u003c\/p\u003e \u003cp\u003eother topics.\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e \u003cp\u003eThe mathematical model is supplemented by a programming method which\u003c\/p\u003e \u003cp\u003eallows readers to design their own reasoning robotic agents. The usage of\u003c\/p\u003e \u003cp\u003ethis method, called \"FLUX, '' is illustrated by many example programs. The\u003c\/p\u003e \u003cp\u003ebook includes the details of an implementation of FLUX using the standard\u003c\/p\u003e \u003cp\u003eprogramming language PROLOG, which allows readers to re-implement or\u003c\/p\u003e \u003cp\u003eto modify and extend the generic system.\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e \u003cp\u003eThe design of autonomous agents, including robots, is one of the most\u003c\/p\u003e \u003cp\u003eexciting and challenging goals of Artificial Intelligence. Reasoning robotic\u003c\/p\u003e \u003cp\u003eagents constitute a link between knowledge representation and reasoning on\u003c\/p\u003e \u003cp\u003ethe one hand, and agent programming and robot control on the other. The\u003c\/p\u003e \u003cp\u003ebook provides a uniform mathematical model for the problem-driven, \u003c\/p\u003e \u003cp\u003etop-down design of rational agents, which use reasoning for decision\u003c\/p\u003e \u003cp\u003emaking, planning, and troubleshooting. The implementation of the\u003c\/p\u003e \u003cp\u003emathematical model by a general PROLOG program allows readers to\u003c\/p\u003e \u003cp\u003epractice the design of reasoning robotic agents. Since all implementation\u003c\/p\u003e \u003cp\u003edetails are given, the generic system can be easily modified and extended.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Hardcover","offer_id":45275093794967,"sku":"9781402030680","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9781402030680.webp?v=1769281877","url":"https:\/\/atlanticbooks.com\/products\/reasoning-robots-the-art-and-science-of-programming-robotic-agents-9781402030680","provider":"Atlantic Books","version":"1.0","type":"link"}