From Robots To Reasoning
Download From Robots To Reasoning PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get From Robots To Reasoning book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Robots, Reasoning, and Reification
Author: James P. Gunderson
language: en
Publisher: Springer Science & Business Media
Release Date: 2008-12-17
This work was created from the statement “But, all you have to do is make the robot recognize its surroundings. Salamanders do it, and how complex are they?” Little did we know what a long path was started with those simple words. This book is a small step on that path, which we hope leads to robots that can serve as true and useful assistants to humans. At the least, we hope for some help with the tasks that are described by the 3 d**** words (dull, dirty, or dangerous). Fair warning, this work is a synthesis of ideas from many disciplines. As such, we have depended on the work of many other researchers and philosophers. The heart of this work, the lens model, comes from the work of Egon Brunswik. Even though he died in the 1950’s, his ideas are still strong enough to resonate into the 2000’s and into our robot. Another researcher who’s work has greatly in?uenced this work is Walter Freeman, Professor Emeritus of Neurobiology at the University of California, Berkeley. We have relied heavily on his work on preafference and attention to guide the development of our robot. In addition, we have used research from a myriad of different ?elds. Our huge thanks to all the researchers who’s work we used to synthesize this new theory. Denver, CO Louise F. Gunderson July 2008 James P.
Cognitive Reasoning for Compliant Robot Manipulation
In order to achieve human-like performance, this book covers the four steps of reasoning a robot must provide in the concept of intelligent physical compliance: to represent, plan, execute, and interpret compliant manipulation tasks. A classification of manipulation tasks is conducted to identify the central research questions of the addressed topic. It is investigated how symbolic task descriptions can be translated into meaningful robot commands. Among others, the developed concept is applied in an actual space robotics mission, in which an astronaut aboard the International Space Station (ISS) commands the humanoid robot Rollin' Justin to maintain a Martian solar panel farm in a mock-up environment.
Logic Programming and Nonmonotonic Reasoning
This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), held during September 14–18, 2009 in Potsdam, Germany. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. The aim of the c- ference is to facilitate interaction between researchers interested in the design and implementation of logic-based programming languages and database s- tems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and expe- mental studies that have led or will lead to the construction of practical systems for declarative programming and knowledge representation. The special theme of LPNMR 2009 was “Applications of Logic Progr- ming and Nonmonotonic Reasoning” in general and “Answer Set Programming (ASP)” in particular. LPNMR 2009 aimed at providing a comprehensive survey of the state of the art of ASP/LPNMR applications. The special theme was re?ected by dedicating an entire dayof the conference to applications. Apart from special sessions devoted to original and signi?cant ASP/LPNMR applications, we solicited contributions providing an overview of existing successful applications of ASP/LPNMR systems. The presentations on applications were accompanied by two panels, one on existing and another on future applications of ASP/LPNMR.