4 |
From Grammar Inference to Semantic Inference—An Evolutionary Approach
|
|
|
|
In: Mathematics ; Volume 8 ; Issue 5 (2020)
|
|
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.
|
|
Keyword:
attribute grammars; domain-specific languages; genetic programming; grammatical inference; semantic inference
|
|
URL: https://doi.org/10.3390/math8050816
|
|
BASE
|
|
Hide details
|
|
5 |
Silver-ableC: a Silver extension for writing ableC specifications ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Silver-ableC: a Silver extension for writing ableC specifications
|
|
|
|
BASE
|
|
Show details
|
|
7 |
Extending bison with attribute grammars ... : Eine Erweiterung von Bison um Attributierte Grammatiken ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
Applying Attribute Grammars to Teach Linguistic Rules
|
|
Henriques, Pedro Rangel. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. : OASIcs - OpenAccess Series in Informatics. 6th Symposium on Languages, Applications and Technologies (SLATE 2017), 2017
|
|
BASE
|
|
Show details
|
|
11 |
Automatically Representing TExt Meaning via an Interlingua-based System (ARTEMIS). A further step towards the computational representation of RRG
|
|
|
|
BASE
|
|
Show details
|
|
13 |
Interprocedural query extraction for transparent persistence
|
|
|
|
In: http://www.cs.utexas.edu/~ben/research/publications/QE_OOPSLA08.pdf (2008)
|
|
BASE
|
|
Show details
|
|
14 |
Interprocedural query extraction for transparent persistence
|
|
|
|
In: http://www.cs.utexas.edu/~wcook/Drafts/2008/PLQ-2008.pdf (2008)
|
|
BASE
|
|
Show details
|
|
15 |
Incremental Semantic Evaluation for Interactive Systems: Inertia, Pre-emption, and Relations
|
|
|
|
BASE
|
|
Show details
|
|
16 |
Circular Attribute Grammars with Remote Attribute References and their Evaluators
|
|
|
|
In: http://www.is.titech.ac.jp/~sassa/papers-written/sasaki-sassa-newgeneration04.ps (2002)
|
|
BASE
|
|
Show details
|
|
18 |
Circular Attribute Grammars with Remote Attribute References
|
|
|
|
In: http://www.is.titech.ac.jp/~sassa/papers-written/sasaki-sassa-newgeneration04.pdf (2000)
|
|
BASE
|
|
Show details
|
|
19 |
Reconstruction of paradigm shifts
|
|
|
|
In: http://www.cwi.nl/~ralf/waga99.pdf (1999)
|
|
BASE
|
|
Show details
|
|
20 |
SSCC: A Sufficiently Smart Compiler-Compiler
|
|
|
|
In: http://www.cis.nctu.edu.tw/~wuuyang/./papers/SSCCics96.ps (1996)
|
|
BASE
|
|
Show details
|
|
|
|