Automated Reasoning and Robotics

Abstract

A most important quality in robotics is the work done in the development of automated reasoning techniques. This model of reasoning works on the assistance of computer programs and just as it is in other fields, it has worked to aid in the answering of certain open questions. The aim of this survey is to study the applications of automated reasoning in the field of robotics and to evaluate its efficiency as a reasoning technique when applied. It is based generally on research into reasoning techniques applied to robotics and running an evaluation in contrast to automated reasoning to determine the rates of effectiveness between them. This process involves a basic understanding of how reasoning is implemented in relation to robotics, after which varying reasoning techniques and applications are discussed and compared in relation to automated reasoning and how automated reasoning would work to enhance results retrieved. The primary objective in this study is to identify the effectiveness of automated reasoning techniques to other techniques available and it begins with an introduction providing an overview of the concepts discussed before proceeding to examine the technicalities involved and which level of technicality is best.