Using contextual information in sequential search for grammatical optimization problems

Publikation: Beitrag in Buch/Bericht/TagungsbandKonferenzbeitragBegutachtung

Abstract

Automated synthesis of complex programs is still an unsolved problem even though some successes have been achieved recently for relatively contrived and specialized settings. One possible approach to automated programming is genetic programming, however, a diverse set of alternative techniques are possible which makes it rather difficult to make general assertions about characteristics or structure of automated programming tasks. We have therefore defined the concept of grammatical optimization problems for problems with an objective function and grammar constraint for valid solutions. The problem of synthesizing computer programs can be formulated as a grammatical optimization problem. In this contribution we describe our idea of using contextual information for guiding the search process. First, we describe how the search process can be described as a sequential decision process and show how Monte-Carlo tree search is one way to optimize this decision process. Based on the formulation as a sequential decision process we explain how lexical, syntactical, as well as program state can be used for guiding the search process. This makes it possible to learn problem structure in a way that goes beyond what is possible with simple Monte-Carlo tree search.

OriginalspracheEnglisch
TitelComputer Aided Systems Theory – EUROCAST 2015 - 15th International Conference, Revised Selected Papers
Redakteure/-innenFranz Pichler, Roberto Moreno-Díaz, Alexis Quesada-Arencibia
Herausgeber (Verlag)Springer Verlag
Seiten417-424
Seitenumfang8
ISBN (Print)9783319273396
DOIs
PublikationsstatusVeröffentlicht - 2015
Veranstaltung15th International Conference on Computer Aided Systems Theory, Eurocast 2015 - Las Palmas, Gran Canaria, Spanien
Dauer: 8 Feb 201513 Feb 2015
http://eurocast2015.fulp.ulpgc.es/

Publikationsreihe

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Band9520
ISSN (Print)0302-9743
ISSN (elektronisch)1611-3349

Konferenz

Konferenz15th International Conference on Computer Aided Systems Theory, Eurocast 2015
LandSpanien
OrtLas Palmas, Gran Canaria
Zeitraum08.02.201513.02.2015
Internetadresse

Fingerprint Untersuchen Sie die Forschungsthemen von „Using contextual information in sequential search for grammatical optimization problems“. Zusammen bilden sie einen einzigartigen Fingerprint.

Zitieren