A new direction for research in automated deduction is the development of mathematical tools for the analysis and evaluation of theorem-proving strategies. We propose the name strategy analysis, by analogy with algorithm analysis. In the following, we give some motivation, mention some of the difficulties of this research, describe briefly current and future work, and comment on its impact on the field.
Future directions of automated deduction: Strategy analysis for theorem proving (Position paper)
BONACINA, Maria Paola
1996-01-01
Abstract
A new direction for research in automated deduction is the development of mathematical tools for the analysis and evaluation of theorem-proving strategies. We propose the name strategy analysis, by analogy with algorithm analysis. In the following, we give some motivation, mention some of the difficulties of this research, describe briefly current and future work, and comment on its impact on the field.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
FDAD-NSF1996sa.pdf
accesso aperto
Descrizione: Articolo
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
59.97 kB
Formato
Adobe PDF
|
59.97 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
