The problem of strategy and hyperresolution |
| |
Authors: | Larry Wos |
| |
Affiliation: | (1) Argonne National Laboratory, 9700 South Cass Ave., 60439-4801 Argonne, IL, USA |
| |
Abstract: | This article is the thirty-first of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research asks one to find a strategy that can be coupled with the inference rule hyperresolution to control the behavior of an automated reasoning program as effectively as does paramodulation.This work was supported by the Office of Scientific Computing, U.S. Department of Energy, under Contract W-31-109-Eng-38. |
| |
Keywords: | Automated reasoning hyperresolution paramodulation strategy unsolved research problem |
本文献已被 SpringerLink 等数据库收录! |
|