Automated Reasoning and Robotics
AbstractA 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:https://doi.org/10.1080/00029890.1985.11971545
Copyright (c) 2019 American Scientific Research Journal for Engineering, Technology, and Sciences (ASRJETS)
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Authors who submit papers with this journal agree to the following terms:
- Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).
- By submitting the processing fee, it is understood that the author has agreed to our terms and conditions which may change from time to time without any notice.
- It should be clear for authors that the Editor In Chief is responsible for the final decision about the submitted papers; have the right to accept\reject any paper. The Editor In Chief will choose any option from the following to review the submitted papers:A. send the paper to two reviewers, if the results were negative by one reviewer and positive by the other one; then the editor may send the paper for third reviewer or he take immediately the final decision by accepting\rejecting the paper. The Editor In Chief will ask the selected reviewers to present the results within 7 working days, if they were unable to complete the review within the agreed period then the editor have the right to resend the papers for new reviewers using the same procedure. If the Editor In Chief was not able to find suitable reviewers for certain papers then he have the right to accept\reject the paper.B. sends the paper to a selected editorial board member(s). C. the Editor In Chief himself evaluates the paper.
- Author will take the responsibility what so ever if any copyright infringement or any other violation of any law is done by publishing the research work by the author
- Before publishing, author must check whether this journal is accepted by his employer, or any authority he intends to submit his research work. we will not be responsible in this matter.
- If at any time, due to any legal reason, if the journal stops accepting manuscripts or could not publish already accepted manuscripts, we will have the right to cancel all or any one of the manuscripts without any compensation or returning back any kind of processing cost.
- The cost covered in the publication fees is only for online publication of a single manuscript.