Evaluating knowledge representations for program characterization
Knowledge representation attempts to organize the knowledge of a context in order for automated systems to utilize it to solve complex problems. Among several difficult problems, one worth mentioning is called code-generation, which is undecidable due to its complexity. A technique to mitigate this...
Principais autores: | Fabrício Filho, João, Rodriguez, Luis Gustavo Araujo, Silva, Anderson Faustino da |
---|---|
Formato: | Trabalho Apresentado em Evento |
Idioma: | Inglês |
Publicado em: |
Campo Mourao
2017
|
Assuntos: | |
Acesso em linha: |
http://repositorio.utfpr.edu.br/jspui/handle/1/2788 http://dx.doi.org/10.5220/0006333605820590 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
id |
riut-1-2788 |
---|---|
recordtype |
dspace |
spelling |
riut-1-27882017-12-18T20:16:14Z Evaluating knowledge representations for program characterization Fabrício Filho, João Rodriguez, Luis Gustavo Araujo Silva, Anderson Faustino da Representação do conhecimento (Teoria da informação) Compiladores (Programas de computador) Processamento eletrônico de dados Knowledge representation (Information theory) Compilers (Computer programs) Electronic data processing CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO Knowledge representation attempts to organize the knowledge of a context in order for automated systems to utilize it to solve complex problems. Among several difficult problems, one worth mentioning is called code-generation, which is undecidable due to its complexity. A technique to mitigate this problem is to represent the knowledge and use an automatic reasoning system to infer an acceptable solution. This article evaluates knowledge representations for program characterization for the context of code-generation systems. The experimental results prove that program Numerical Features as knowledge representation can achieve 85% near to the best possible results. Furthermore, such results demonstrate that an automatic code-generating system, which uses this knowledge representation is capable to obtain performance better than others codegenerating systems. 2017-12-18T20:16:04Z 2017-12-18T20:16:04Z 2017-04 conferenceObject FABRÍCIO FILHO, João; RODRIGUEZ, Luis Gustavo Araujo; SILVA, Anderson Faustino da. Evaluating knowledge representations for program characterization. In: INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, 19., 2017, Porto, Portugal. Anais eletrônicos… Porto, Portugal: SCITEPRESS, 2017. Disponível em: <http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0006333605820590>. Acesso em: 23 ago. 2017. http://repositorio.utfpr.edu.br/jspui/handle/1/2788 http://dx.doi.org/10.5220/0006333605820590 eng International Conference on Enterprise Information Systems http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0006333605820590 openAccess The Author retains the rights to publish the contribution in his/her own website or in his/her employer’s website, as long as it is clearly stated in which publication or event it was originally published in and a link to the original publication or event is made. Disponível em: <http://www.insticc.org/portal/Publications/AuthorResources/Copyright.aspx>. Acesso em: 17 set. 2017. application/pdf Campo Mourao Portugal |
institution |
Universidade Tecnológica Federal do Paraná |
collection |
RIUT |
language |
Inglês |
topic |
Representação do conhecimento (Teoria da informação) Compiladores (Programas de computador) Processamento eletrônico de dados Knowledge representation (Information theory) Compilers (Computer programs) Electronic data processing CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
spellingShingle |
Representação do conhecimento (Teoria da informação) Compiladores (Programas de computador) Processamento eletrônico de dados Knowledge representation (Information theory) Compilers (Computer programs) Electronic data processing CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO Fabrício Filho, João Rodriguez, Luis Gustavo Araujo Silva, Anderson Faustino da Evaluating knowledge representations for program characterization |
description |
Knowledge representation attempts to organize the knowledge of a context in order for automated systems to utilize it to solve complex problems. Among several difficult problems, one worth mentioning is called code-generation, which is undecidable due to its complexity. A technique to mitigate this problem is to represent the knowledge and use an automatic reasoning system to infer an acceptable solution. This article evaluates knowledge representations for program characterization for the context of code-generation systems. The experimental results prove that program Numerical Features as knowledge representation can achieve 85% near to the best possible results. Furthermore, such results demonstrate that an automatic code-generating system, which uses this knowledge representation is capable to obtain performance better than others codegenerating systems. |
format |
Trabalho Apresentado em Evento |
author |
Fabrício Filho, João Rodriguez, Luis Gustavo Araujo Silva, Anderson Faustino da |
author_sort |
Fabrício Filho, João |
title |
Evaluating knowledge representations for program characterization |
title_short |
Evaluating knowledge representations for program characterization |
title_full |
Evaluating knowledge representations for program characterization |
title_fullStr |
Evaluating knowledge representations for program characterization |
title_full_unstemmed |
Evaluating knowledge representations for program characterization |
title_sort |
evaluating knowledge representations for program characterization |
publisher |
Campo Mourao |
publishDate |
2017 |
citation |
FABRÍCIO FILHO, João; RODRIGUEZ, Luis Gustavo Araujo; SILVA, Anderson Faustino da. Evaluating knowledge representations for program characterization. In: INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, 19., 2017, Porto, Portugal. Anais eletrônicos… Porto, Portugal: SCITEPRESS, 2017. Disponível em: <http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0006333605820590>. Acesso em: 23 ago. 2017. |
url |
http://repositorio.utfpr.edu.br/jspui/handle/1/2788 http://dx.doi.org/10.5220/0006333605820590 |
_version_ |
1805319284279214080 |
score |
10,814766 |