Automated Reasoning and Robotics

  • Zainab Al Kashari Faculty of Engineering and Information Technology, The British University in Dubai , Dubai, United Arab Emirates
  • Fatma Al Taheri Faculty of Engineering and Information Technology, The British University in Dubai , Dubai, United Arab Emirates
Keywords: Automated Reasoning, Robotics, Knowledge Representation, Cognitive Robotics


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.


Constable, R. L. (1986). Implementing Mathematics with the Nuprl Proof Development System. Prentice Hall.

Craig Schlenoff, E. P. (N. D.). An IEEE Standard Ontology for Robotics and Automation. IEEE. Retrieved January 22, 2019

Fitting, M. (1990). First-order Logic and Automated Theorem Proving. Springer.

Kowalski, T. H. (1997). The IFF proof procedure for abductive logic programming. 33(2):151–165.

Kreitz, C. (N. D.). Automated Reasoning.

Lakemeyer, H. J. (2007). Cognitive Robotics. In N. A., & V. L. Frank van Harmelen (Ed.), Handbook of Knowledge Representation (pp. Chapter 23, pp. 869–886). Elsevier.

Lifschitz, M. G. (1991). Classical negation in logic programs and disjunctive databases.

Marcello Balduccini, C. B. (n.d.). Knowledge Representation and Question Answering. In HandBook on Knowledge Representation.

Marco Alberti, D. D. (2004). Specification and verification of agent interaction protocols in a logic-based System. SAC, 72–78.

Martelli, M. P. (N. D.). Automated Reasoning.

Massimo Benerecetti, F. G. (1998). Model checking multiagent systems.

Olivetti, D. M. (2000). Goal-Directed Proof Theory. Kluwer Academic Publishers.

P. B. Andrews, M. B. (1996). TPS: a theorem proving system for classical type theory. 16(3):321–353.

Wos, L. (2018, February 05). Automater Reasoning. The American Mathematical Monthly, 92(2), 85-92. doi: