Use this URL to cite or link to this record in EThOS:
Title: Using features for automated problem solving
Author: Heneveld, Alex
Awarding Body: University of Edinburgh
Current Institution: University of Edinburgh
Date of Award: 2009
Availability of Full Text:
Access from EThOS:
Full text unavailable from EThOS. Please try the link below.
Access from Institution:
We motivate and present an architecture for problem solving where an abstraction layer of “features” plays the key role in determining methods to apply. The system is presented in the context of theorem proving with Isabelle, and we demonstrate how this approach to encoding control knowledge is expressively different to other common techniques. We look closely at two areas where the feature layer may offer benefits to theorem proving – semi-automation and learning – and find strong evidence that in these particular domains, the approach shows compelling promise. The system includes a graphical user interface for Eclipse ProofGeneral.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available