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

ver descrição completa

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