Techniques for reasoning about actions an change in the physical world is one of the classical research topics in artificial intelligence. It is motivated by the needs of autonomous robots which must be able to anticipate their immediate future, to plan their future actions, and to figure out what went wrong in case of problems. It is also motivated by the needs of common-sense reasoning for example in the understanding of natural language texts, where processes and change over time is an ever-present phenomenon. The same set of problems arises in several other areas of computing such as in conceptual modelling for data bases, and in the rapidly growing area of intelligent control.
The present research monograph presents and uses a novel methodology for reasoning about actions and change. Traditional research contributions have proposed new logic variants which were only supported by episodical examples. THe work described here uses a systematic methodology for identifying the exact range of applicability of a given logic. For a number of previously proposed logics, as well as for some new ones, the present work characterizes exactly the class where it does not.
This book will be a necessary source of reference for researchers in knowledge representation, cognitive robotics, and intelligent control in the years to come. Particularly because of its emphasis on a strict and systematic methodology, it can also be recommended as a textbook for graduate university courses in these areas.
"synopsis" may belong to another edition of this title.
The book presents deep and serious insight into inert and inhabited dynamical systems (IDS). (Zentralblatt fur Mathematik)
Those working in nonmonotonic reasoning, planning, temporal logic, reasoning about actions and change, and related areas will find this book worth reading. (Computing Reviews)
"About this title" may belong to another edition of this title.
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 53767147-6
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New. Seller Inventory # ABLIING23Feb2215580042991
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 640823-n
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand. Seller Inventory # 74b84c3e6e6dd8d24079bfecfefc3b51
Quantity: Over 20 available
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Hardcover. Condition: new. Hardcover. Techniques for reasoning about actions an change in the physical world is one of the classical research topics in artificial intelligence. It is motivated by the needs of autonomous robots which must be able to anticipate their immediate future, to plan their future actions, and to figure out what went wrong in case of problems. It is also motivated by the needs of common-sense reasoning for example in the understanding of natural language texts, where processesand change over time is an ever-present phenomenon. The same set of problems arises in several other areas of computing such as in conceptual modelling for data bases, and in the rapidly growing areaof intelligent control.The present research monograph presents and uses a novel methodology for reasoning about actions and change. Traditional research contributions have proposed new logic variants which were only supported by episodical examples. THe work described here uses a systematic methodology for identifying the exact range of applicability of a given logic. For a number of previously proposed logics, as well as for some new ones, the present work characterizesexactly the class where it does not.This book will be a necessary source of reference for researchers in knowledge representation, cognitive robotics, and intelligent control inthe years to come. Particularly because of its emphasis on a strict and systematic methodology, it can also be recommended as a textbook for graduate university courses in these areas. This research text presents and uses a novel methodology for reasoning about actions and change. The work described here uses a systematic methodology for identifying the exact range of applicability of a given logic. This book is destined to become a necessary source of reference for researchers in knowledge representation, cognitive robotics, and intelligent control in the future. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780198538455
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition. Seller Inventory # 640823
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New. Seller Inventory # 640823-n
Quantity: Over 20 available
Seller: Antiquariat Bernhardt, Kassel, Germany
gebundene Ausgabe. Condition: Sehr gut. Oxford Logic Guides, Band 30. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XVII, 328 Seiten, Englisch 650g. Seller Inventory # 492555
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
HRD. 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 # L1-9780198538455
Quantity: Over 20 available
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In. Seller Inventory # ria9780198538455_new
Quantity: Over 20 available