Abstract
This article is the twenty-sixth of a series of articles discussing various open research problems in automated reasoning. The problem posed for research asks one to find criteria for choosing from among previously answered questions a question that dictates the approach to take for attacking the problem of current interest. Especially because the better automated reasoning programs often offer a wide range of choices for representation, inference rule, and strategy, a solution to the proposed problem would materially reduce the difficulty of using these powerful aids for research.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Smith, B.Reference Manual for the Environmental Theorem Prover: An Incarnation of AURA, Argonne National Laboratory report ANL-88-2 (March 1988).
Winker, S., Wos, L., and Lusk, E., ‘Semigroups, antiautomorphisms, and involutions: A computer solution to an open problem, I’,Mathematics of Computation 37, 533–545 (1981).
Wos, L.,Automated Reasoning: 33 Basic Research Problems, Prentice-Hall, Englewood Cliffs, New Jersey (1988).
Wos, L., ‘Meeting the challenge of fifty years of logic’,J. Automated Reasoning 6, 213–232 (1990).
Wos, L., Overbeek, R., Lusk, E., and Boyle, J.,Automated Reasoning: Introduction and Applications, 2nd edn, McGraw-Hill, New York (1992).
Wos, L., Winker, S., Veroff, R., Smith, B., and Henschen, L., ‘A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domains’,Artificial Intelligence 22, 303–356 (1984).
Author information
Authors and Affiliations
Additional information
This work was supported by the Office of Scientific Computing, U.S. Department of Energy, under Contract W-31-109-Eng-38.
Rights and permissions
About this article
Cite this article
Wos, L. The problem of selecting an approach based on prior success. J Autom Reasoning 10, 283–284 (1993). https://doi.org/10.1007/BF00881839
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00881839