Evaluating knowledge representations for program characterization
Autor(a) principal: | |
---|---|
Data de Publicação: | 2017 |
Outros Autores: | , |
Tipo de documento: | Artigo de conferência |
Idioma: | eng |
Título da fonte: | Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) |
Texto Completo: | http://repositorio.utfpr.edu.br/jspui/handle/1/2788 http://dx.doi.org/10.5220/0006333605820590 |
Resumo: | 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. |
id |
UTFPR-12_237548c142f0dff65e5fe7a1405913dd |
---|---|
oai_identifier_str |
oai:repositorio.utfpr.edu.br:1/2788 |
network_acronym_str |
UTFPR-12 |
network_name_str |
Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) |
repository_id_str |
|
spelling |
2017-12-18T20:16:04Z2017-12-18T20:16:04Z2017-04FABRÍ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/2788http://dx.doi.org/10.5220/0006333605820590Knowledge 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.engInternational Conference on Enterprise Information Systemshttp://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0006333605820590The 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.info:eu-repo/semantics/openAccessCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAORepresentação do conhecimento (Teoria da informação)Compiladores (Programas de computador)Processamento eletrônico de dadosKnowledge representation (Information theory)Compilers (Computer programs)Electronic data processingEvaluating knowledge representations for program characterizationinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/conferenceObjectCampo MouraoPortugal19Fabrício Filho, JoãoRodriguez, Luis Gustavo AraujoSilva, Anderson Faustino dareponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))instname:Universidade Tecnológica Federal do Paraná (UTFPR)instacron:UTFPRLICENSElicense.txtlicense.txttext/plain; charset=utf-81748http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/2788/3/license.txt8a4605be74aa9ea9d79846c1fba20a33MD53TEXTknowledgerepresentationsprogramcharacterization.pdf.txtknowledgerepresentationsprogramcharacterization.pdf.txtExtracted texttext/plain33411http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/2788/4/knowledgerepresentationsprogramcharacterization.pdf.txtd99ef31d3b9376937ff47bf1e22b8947MD54THUMBNAILknowledgerepresentationsprogramcharacterization.pdf.jpgknowledgerepresentationsprogramcharacterization.pdf.jpgGenerated Thumbnailimage/jpeg1561http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/2788/5/knowledgerepresentationsprogramcharacterization.pdf.jpg801b41a9c5056279afe17d8e45707ef8MD55ORIGINALknowledgerepresentationsprogramcharacterization.pdfknowledgerepresentationsprogramcharacterization.pdfapplication/pdf208676http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/2788/2/knowledgerepresentationsprogramcharacterization.pdf298b9479f5eacbf8b0d258c6dcd7e119MD521/27882017-12-18 18:16:14.76oai:repositorio.utfpr.edu.br:1/2788Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório de PublicaçõesPUBhttp://repositorio.utfpr.edu.br:8080/oai/requestopendoar:2017-12-18T20:16:14Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR)false |
dc.title.pt_BR.fl_str_mv |
Evaluating knowledge representations for program characterization |
title |
Evaluating knowledge representations for program characterization |
spellingShingle |
Evaluating knowledge representations for program characterization Fabrício Filho, João CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO 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 |
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 |
author |
Fabrício Filho, João |
author_facet |
Fabrício Filho, João Rodriguez, Luis Gustavo Araujo Silva, Anderson Faustino da |
author_role |
author |
author2 |
Rodriguez, Luis Gustavo Araujo Silva, Anderson Faustino da |
author2_role |
author author |
dc.contributor.author.fl_str_mv |
Fabrício Filho, João Rodriguez, Luis Gustavo Araujo Silva, Anderson Faustino da |
dc.subject.cnpq.fl_str_mv |
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
topic |
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO 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 |
dc.subject.por.fl_str_mv |
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 |
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. |
publishDate |
2017 |
dc.date.accessioned.fl_str_mv |
2017-12-18T20:16:04Z |
dc.date.available.fl_str_mv |
2017-12-18T20:16:04Z |
dc.date.issued.fl_str_mv |
2017-04 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/conferenceObject |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.citation.fl_str_mv |
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. |
dc.identifier.uri.fl_str_mv |
http://repositorio.utfpr.edu.br/jspui/handle/1/2788 |
dc.identifier.doi.pt_BR.fl_str_mv |
http://dx.doi.org/10.5220/0006333605820590 |
identifier_str_mv |
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 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.ispartof.pt_BR.fl_str_mv |
International Conference on Enterprise Information Systems |
dc.relation.uri.pt_BR.fl_str_mv |
http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0006333605820590 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.publisher.none.fl_str_mv |
Campo Mourao |
dc.publisher.country.fl_str_mv |
Portugal |
publisher.none.fl_str_mv |
Campo Mourao |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) instname:Universidade Tecnológica Federal do Paraná (UTFPR) instacron:UTFPR |
instname_str |
Universidade Tecnológica Federal do Paraná (UTFPR) |
instacron_str |
UTFPR |
institution |
UTFPR |
reponame_str |
Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) |
collection |
Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) |
bitstream.url.fl_str_mv |
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/2788/3/license.txt http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/2788/4/knowledgerepresentationsprogramcharacterization.pdf.txt http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/2788/5/knowledgerepresentationsprogramcharacterization.pdf.jpg http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/2788/2/knowledgerepresentationsprogramcharacterization.pdf |
bitstream.checksum.fl_str_mv |
8a4605be74aa9ea9d79846c1fba20a33 d99ef31d3b9376937ff47bf1e22b8947 801b41a9c5056279afe17d8e45707ef8 298b9479f5eacbf8b0d258c6dcd7e119 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR) |
repository.mail.fl_str_mv |
|
_version_ |
1797044072131592192 |