Abstract
In this paper, reasoning by a robot relates to commands it receives in the natural language. The statements supplied by the master are considered to be incompletely stated arguments, i.e., enthymemes. An attempt is made by the robot to provide missing premises or conclusions to produce valid arguments. This is done on the basis of the inference rule, disjunctive syllogism. The analysis utilizes, in part, the results of work covering correct reasoning by robots based on the two inference rules of modus ponens and modus tollens [1]. The robot seeks out missing premises or conclusions from its knowledge structures for obeying commands and from the environment through its sensors. In the final analysis, the paper establishes composite plausible commands as enthymemes that can be supplied by the master and corresponding missing premises or conclusions that the robot must seek out in an attempt to achieve a primary goal.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
E. C. Koenig, “Analysis for correct reasoning by robots: modus ponens, modus toll ens,” Proceedings of the 1989 IEEE International Phoenix Conference on Computers and Communications. U.S.A., pp. 584–589,1989.
B. Schott and T. Whalen, “Modus ponens, modus tollens, and fuzzy relations in goal directed inferences,” Proceedings of the 1987 IEEE International Conference on SMC, Vol. 1, pp. 173–176, 1987.
E. Trillas and L. Valverde, “On mode and implication in approximate reasoning,” Approximate Reasoning in Expert Systems, edited by M. M. Gupta, A. Kandel, W. Bandler, and J. Kiszka. New York: North Holland, pp. 157–166, 1985.
E. C. Koenig, “Intelligent systems: knowledge association and related deductive processes,” Kybernetes, Vol. 7, pp. 99–106, 1978.
E. C. Koenig, “Generating inferences from knowledge structures based on general automata,” Cybernetica, Vol. XXVI, No. 2, pp. 80–97, 1983.
E. C. Koenig, “Analysis for correct reasoning by robots: hypothetical syllogism with modus ponens, modus tollens,” Proceedings of the 8th International Congress of Cybernetics and Systems. Hunter College, City University of New York, New York City, N.Y., June 11-15, 1990.
E. C. Koenig, “Some principles for robotics based on general automata,” Robotica, Vol. 4, pp. 43–46, 1986.
E. C. Koenig, “A model knowledge structure for robots,” Proceedings of the 1987 IEEE International Conference on SMC, U.S.A., Vol. 3, pp. 1154–1159, 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Koenig, E.C. (1995). Analysis for Correct Reasoning in Interactive Man-Robot Systems: Disjunctive Syllogism with Modus Ponens and Modus Tollens. In: Tzafestas, S.G., Verbruggen, H.B. (eds) Artificial Intelligence in Industrial Decision Making, Control and Automation. Microprocessor-Based and Intelligent Systems Engineering, vol 14. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-0305-3_4
Download citation
DOI: https://doi.org/10.1007/978-94-011-0305-3_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-4134-8
Online ISBN: 978-94-011-0305-3
eBook Packages: Springer Book Archive