IDEAS home Printed from https://ideas.repec.org/a/gam/jmathe/v8y2020i5p816-d359620.html
   My bibliography  Save this article

From Grammar Inference to Semantic Inference—An Evolutionary Approach

Author

Listed:
  • Ž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)

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.

Suggested Citation

  • Željko Kovačević & Marjan Mernik & Miha Ravber & Matej Črepinšek, 2020. "From Grammar Inference to Semantic Inference—An Evolutionary Approach," Mathematics, MDPI, vol. 8(5), pages 1-24, May.
    • Handle: RePEc:gam:jmathe:v:8:y:2020:i:5:p:816-:d:359620
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/2227-7390/8/5/816/pdf
    Download Restriction: no
    File URL: https://www.mdpi.com/2227-7390/8/5/816/
    Download Restriction: no
    ---><---

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Tomaž Kosar & Željko Kovačević & Marjan Mernik & Boštjan Slivnik, 2023. "The Impact of Code Bloat on Genetic Program Comprehension: Replication of a Controlled Experiment on Semantic Inference," Mathematics, MDPI, vol. 11(17), pages 1-20, August.
    2. Boštjan Slivnik & Željko Kovačević & Marjan Mernik & Tomaž Kosar, 2022. "On Comprehension of Genetic Programming Solutions: A Controlled Experiment on Semantic Inference," Mathematics, MDPI, vol. 10(18), pages 1-17, September.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:gam:jmathe:v:8:y:2020:i:5:p:816-:d:359620. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: MDPI Indexing Manager (email available below). General contact details of provider: https://www.mdpi.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.