Tehničko veleučilište u Zagrebu · Zagreb

From Grammar Inference to Semantic Inference—An Evolutionary Approach

izvorni znanstveni rad

izvorni znanstveni rad

From Grammar Inference to Semantic Inference—An Evolutionary Approach

Vrsta prilog u časopisu
Tip izvorni znanstveni rad
Godina 2020
Časopis Mathematics
Volumen 8
Svesčić 5
Stranice str. 1-24
DOI 10.3390/math8050816
EISSN 2227-7390
Status objavljeno

Sažetak

This paper describes a research work on Semantic Inference, which can be regarded as an extension of Grammar Inference. The main task of Grammar Inference is to induce a grammatical structure from a set of positive samples (programs), which can sometimes also be accompanied by a set of negative samples. Successfully applying Grammar Inference can result only in identifying the correct syntax of a language. With the Semantic Inference a further step is realised, namely, towards inducing language semantics. When syntax and semantics can be inferred, a complete compiler/interpreter can be generated solely from samples. In this work Evolutionary Computation was employed to explore and exploit the enormous search space that appears in Semantic Inference. For the purpose of this research work the tool LISA.SI has been developed on the top of the compiler/interpreter generator tool LISA. The first results are encouraging, since we were able to infer the semantics only from samples and their associated meanings for several simple languages, including the Robot language.

Ključne riječi

grammatical inference; semantic inference; genetic programming; attribute grammars; domain-specific languages