The problem of self-analytically choosing the weights |
| |
Authors: | Larry Wos |
| |
Affiliation: | (1) Argonne National Laboratory, 9700 South Cass Avenue, 60439-4801 Argonne, IL, U.S.A. |
| |
Abstract: | This article is the eighth of a series of articles discussing various open research problems in automated reasoning. Here we focus on self-analysis and the weighting strategy. The problem proposed for research asks one to find a means for an automated reasoning program to self-analytically determine which weights or priorities to give to clauses at various points during the program's attempt to complete a given assignment. 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 self-analysis unsolved research problem weighting strategy |
本文献已被 SpringerLink 等数据库收录! |
|