O generování důkazů

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F06%3A00003300" target="_blank" >RIV/61989592:15310/06:00003300 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
On generating of proofs.
Popis výsledku v původním jazyce
The paper introduces an approach to automated deduction. Described is a method for generating of proofs which are considered as finite sequences of formulas. Unlike the most common approaches to automated deduction which are based mainly on the resolution principle, our method resembles principles of generating of programs which are usually used in genetic programming. We present an overview of the method and present two case studies. We argue that even in its preliminary stage, our method can be helpful to experts who need to find proofs or counterexamples.
Název v anglickém jazyce
On generating of proofs.
Popis výsledku anglicky
The paper introduces an approach to automated deduction. Described is a method for generating of proofs which are considered as finite sequences of formulas. Unlike the most common approaches to automated deduction which are based mainly on the resolution principle, our method resembles principles of generating of programs which are usually used in genetic programming. We present an overview of the method and present two case studies. We argue that even in its preliminary stage, our method can be helpful to experts who need to find proofs or counterexamples.

Rok uplatnění
2006
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)