The problem of definition expansion and contraction |
| |
Authors: | Larry Wos |
| |
Affiliation: | (1) Argonne National Laboratory, 9700 South Cass Ave., 60439-4844 Argonne, IL, U.S.A. |
| |
Abstract: | This article is the fourth of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research focuses on finding criteria that would enable an automated reasoning program to expand or contract definitions wisely. For evaluating a proposed solution to this research problem, we include suggestions concerning possible test problems.This work was supported by the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Department of Energy, under contract W-31-109-Eng-38. |
| |
Keywords: | Automated reasoning automated reasoning programs definition contraction definition expansion unsolved research problem |
本文献已被 SpringerLink 等数据库收录! |
|