• search hit 8 of 0
Back to Result List

Flexible Re-enactment of Proofs

  • We present a method for making use of past proof experience called flexiblere-enactment (FR). FR is actually a search-guiding heuristic that uses past proofexperience to create a search bias. Given a proof P of a problem solved previouslythat is assumed to be similar to the current problem A, FR searches for P andin the "neighborhood" of P in order to find a proof of A.This heuristic use of past experience has certain advantages that make FRquite profitable and give it a wide range of applicability. Experimental studiessubstantiate and illustrate this claim.This work was supported by the Deutsche Forschungsgemeinschaft (DFG).

Download full text files

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author:Matthias Fuchs
URN:urn:nbn:de:hbz:386-kluedo-3722
Series (Serial Number):ZRI Report (1,97)
Document Type:Preprint
Language of publication:English
Year of Completion:1997
Year of first Publication:1997
Publishing Institution:Technische Universität Kaiserslautern
Date of the Publication (Server):2000/04/03
Faculties / Organisational entities:Kaiserslautern - Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011