Reasoning Robots
Reasoning Robots

Author: Michael Thielscher

Publisher: Springer Science & Business Media

Published: 2005-12-15

Total Pages: 334

ISBN-13: 140203069X

DOWNLOAD EBOOK

The creation of intelligent robots is surely one of the most exciting and ch- lenginggoals of Arti?cial Intelligence. A robot is, ?rst of all, nothing but an inanimate machine with motors and sensors. In order to bring life to it, the machine needs to be programmed so as to make active use of its hardware c- ponents. This turns a machine into an autonomous robot. Since about the mid nineties of the past century, robot programming has made impressive progress. State-of-the-art robots are able to orient themselves and move around freely in indoor environments or negotiate di?cult outdoor terrains, they can use stereo vision to recognize objects, and they are capable of simple object manipulation with the help of arti?cial extremities. At a time where robots perform these tasks more and more reliably,weare ready to pursue the next big step, which is to turn autonomous machines into reasoning robots.Areasoning robot exhibits higher cognitive capabilities like following complex and long-term strategies, making rational decisions on a high level, drawing logical conclusions from sensor information acquired over time, devising suitable plans, and reacting sensibly in unexpected situations. All of these capabilities are characteristics of human-like intelligence and ultimately distinguish truly intelligent robots from mere autonomous machines.

Reasoning Robots
Reasoning Robots

Author: Michael Thielscher

Publisher: Springer Science & Business Media

Published: 2005-07-05

Total Pages: 352

ISBN-13: 9781402030680

DOWNLOAD EBOOK

The creation of intelligent robots is surely one of the most exciting and ch- lenginggoals of Arti?cial Intelligence. A robot is, ?rst of all, nothing but an inanimate machine with motors and sensors. In order to bring life to it, the machine needs to be programmed so as to make active use of its hardware c- ponents. This turns a machine into an autonomous robot. Since about the mid nineties of the past century, robot programming has made impressive progress. State-of-the-art robots are able to orient themselves and move around freely in indoor environments or negotiate di?cult outdoor terrains, they can use stereo vision to recognize objects, and they are capable of simple object manipulation with the help of arti?cial extremities. At a time where robots perform these tasks more and more reliably,weare ready to pursue the next big step, which is to turn autonomous machines into reasoning robots.Areasoning robot exhibits higher cognitive capabilities like following complex and long-term strategies, making rational decisions on a high level, drawing logical conclusions from sensor information acquired over time, devising suitable plans, and reacting sensibly in unexpected situations. All of these capabilities are characteristics of human-like intelligence and ultimately distinguish truly intelligent robots from mere autonomous machines.

Metareasoning for Robots
Metareasoning for Robots

Author: Jeffrey W. Herrmann

Publisher: Springer Nature

Published: 2023-05-12

Total Pages: 102

ISBN-13: 3031322371

DOWNLOAD EBOOK

This book is a state of the art resource that robotics researchers and engineers can use to make their robots and autonomous vehicles smarter. Readers will be able to describe metareasoning, select an appropriate metareasoning approach, and synthesize metareasoning policies. Metareasoning for Robots adopts a systems engineering perspective in which metareasoning is an approach that can improve the overall robot or autonomous system, not just one component or subsystem. This book introduces key concepts, discusses design options for metareasoning approaches and policies, and presents approaches for testing and evaluation of metareasoning policies. After considering the conceptual design phase, it discusses how to implement metareasoning in the robot’s software architecture and how to synthesize metareasoning policies. Every chapter has references to valuable works on robotics and metareasoning, and the book uses examples from the author’s own research and from other research groups to illustrate these ideas. In addition, this book provides links to books and papers for readers who wish to investigate these topics further.

Cognitive Reasoning for Compliant Robot Manipulation
Cognitive Reasoning for Compliant Robot Manipulation

Author: Daniel Sebastian Leidner

Publisher: Springer

Published: 2018-12-08

Total Pages: 211

ISBN-13: 3030048586

DOWNLOAD EBOOK

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

Toward Robots That Reason: Logic, Probability & Causal Laws
Toward Robots That Reason: Logic, Probability & Causal Laws

Author: Vaishak Belle

Publisher: Springer Nature

Published: 2023-02-20

Total Pages: 201

ISBN-13: 3031210034

DOWNLOAD EBOOK

This book discusses the two fundamental elements that underline the science and design of artificial intelligence (AI) systems: the learning and acquisition of knowledge from observational data, and the reasoning of that knowledge together with whatever information is available about the application at hand. It then presents a mathematical treatment of the core issues that arise when unifying first-order logic and probability, especially in the presence of dynamics, including physical actions, sensing actions and their effects. A model for expressing causal laws describing dynamics is also considered, along with computational ideas for reasoning with such laws over probabilistic logical knowledge.

Springer Handbook of Robotics
Springer Handbook of Robotics

Author: Bruno Siciliano

Publisher: Springer Science & Business Media

Published: 2008-05-20

Total Pages: 1626

ISBN-13: 354023957X

DOWNLOAD EBOOK

With the science of robotics undergoing a major transformation just now, Springer’s new, authoritative handbook on the subject couldn’t have come at a better time. Having broken free from its origins in industry, robotics has been rapidly expanding into the challenging terrain of unstructured environments. Unlike other handbooks that focus on industrial applications, the Springer Handbook of Robotics incorporates these new developments. Just like all Springer Handbooks, it is utterly comprehensive, edited by internationally renowned experts, and replete with contributions from leading researchers from around the world. The handbook is an ideal resource for robotics experts but also for people new to this expanding field.

Logic Programming and Nonmonotonic Reasoning
Logic Programming and Nonmonotonic Reasoning

Author: Esra Erdem

Publisher: Springer Science & Business Media

Published: 2009-09-07

Total Pages: 670

ISBN-13: 3642042376

DOWNLOAD EBOOK

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.

Inductive Logic Programming
Inductive Logic Programming

Author: Elena Bellodi

Publisher: Springer Nature

Published: 2023-12-21

Total Pages: 190

ISBN-13: 3031492994

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 32nd International Conference on Inductive Logic Programming, ILP 2023, held in Bari, Italy, during November 13–15, 2023. The 11 full papers and 1 short paper included in this book were carefully reviewed and selected from 18 submissions. They cover all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches.

Social Robotics
Social Robotics

Author: Michael Beetz

Publisher: Springer

Published: 2014-10-17

Total Pages: 427

ISBN-13: 3319119737

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 6th International Conference on Social Robotics, ICSR 2014, held in Sydney, NSW, Australia, in October 2014. The 41 revised full papers presented in this book were carefully reviewed and selected from numerous submissions. Amongst others, topics covered are such as interaction and collaboration among robots, humans, and environments; robots to assist the elderly and persons with disabilities; socially assistive robots to improve quality of life; affective and cognitive sciences for socially interactive robots; personal robots for the home; social acceptance and impact in the society; robot ethics in human society and legal implications; context awareness, expectation, and intention understanding; control architectures for social robotics; socially appealing design methodologies; safety in robots working in human spaces; human augmentation, rehabilitation, and medical robots; robot applications in education, entertainment, and gaming; knowledge representation and reasoning frameworks for robot social intelligence; cognitive architectures that support social intelligence for robots; robots in the workplace; human-robot interaction; creative and entertaining robots.

Applied AI and Humanoid Robotics for the Ultra-Smart Cyberspace
Applied AI and Humanoid Robotics for the Ultra-Smart Cyberspace

Author: Babulak, Eduard

Publisher: IGI Global

Published: 2024-06-04

Total Pages: 329

ISBN-13:

DOWNLOAD EBOOK

In the rapidly transforming landscape of fast-paced technology evolution, the fusion of artificial intelligence (AI) and humanoid robotics is set to redefine academia as we know it. From advancements in AI, humanoid robotics, nano and bio technologies, and smart medicine, the vision of an ultra-smart cyberspace is becoming a tangible reality. Yet, amid this transformative potential, scholars face a pressing challenge – how to navigate the complexities of these cutting-edge technologies to drive impactful research and innovation. Applied AI and Humanoid Robotics for the Ultra-Smart Cyberspace beckons scholars to harness the full potential of applied AI and humanoid robotics in academia. This book illuminates the most effective applications of these technologies across various disciplines such as industry, business, health, government, military, and critical cyber infrastructure. Through rigorously peer-reviewed chapters, the book addresses key issues, provides technical solutions, and guides future research directions, fostering a collaborative bridge between academia and industry.