The problem of choosing the representation,inference rule,and strategy |
| |
Authors: | Larry Wos |
| |
Affiliation: | (1) Argonne National Laboratory, 9700 South Cass Ave., 60439-4801 Argonne, IL, U.S.A. |
| |
Abstract: | This article is the nineteenth of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research asks one to find guidelines for simultaneously choosing the most effective representation, inference rule, and strategy. Since the three areas are tightly coupled, formulation of such guidelines requires understanding the precise nature of this coupling. For evaluating a proposed solution to this research problem, we suggest possible test problems from group theory, Gödel's finite axiomatization of set theory, and program verification.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 inference rule metarules representation strategy unsolved research problem |
本文献已被 SpringerLink 等数据库收录! |
|