From Grammar Inference to Semantic Inference—An Evolutionary Approach

Željko Kovačević, Marjan Mernik, Miha Ravber and Matej Črepinšek
Additional contact information
Željko Kovačević: Faculty of Electrical Engineering and Computer Science, University of Maribor, 2000 Maribor, Slovenia
Marjan Mernik: Faculty of Electrical Engineering and Computer Science, University of Maribor, 2000 Maribor, Slovenia
Miha Ravber: Faculty of Electrical Engineering and Computer Science, University of Maribor, 2000 Maribor, Slovenia
Matej Črepinšek: Faculty of Electrical Engineering and Computer Science, University of Maribor, 2000 Maribor, Slovenia

Mathematics, 2020, vol. 8, issue 5, 1-24

Abstract: 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.

Keywords: grammatical inference; semantic inference; genetic programming; attribute grammars; domain-specific languages (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2020
References: View complete reference list from CitEc
Citations: View citations in EconPapers (2)

Downloads: (external link)
https://www.mdpi.com/2227-7390/8/5/816/pdf (application/pdf)
https://www.mdpi.com/2227-7390/8/5/816/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:8:y:2020:i:5:p:816-:d:359620

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().