Exportação concluída — 

Um gerador de programas para sistemas de regras de produção visando a eficiencia na execução

Detalhes bibliográficos
Ano de defesa: 1991
Autor(a) principal: Paladino, Alvaro Daniel Arioni
Orientador(a): Garnousset, Herve Eric
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Link de acesso: http://repositorio.ufsc.br/xmlui/handle/123456789/75804
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico
id UFSC_f5a0648ca7ab5ec10780ff53949c26ea
oai_identifier_str oai:repositorio.ufsc.br:123456789/75804
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str
spelling Universidade Federal de Santa CatarinaPaladino, Alvaro Daniel ArioniGarnousset, Herve Eric2012-10-16T04:34:10Z2012-10-16T04:34:10Z1991199181858http://repositorio.ufsc.br/xmlui/handle/123456789/75804Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro TecnologicoEsta dissertação apresenta o SPP, um Sistema de Produção Proporcional desenvolvido com características adequadas para sua utilização em aplicações de tempo real, embora possa ser igualmente usado para outro tipo de aplicações. O SPP é implementado como um gerador de programa, têmuma sintaxe lisp-like e uma boa capacidade matemática. Requer a declaração explícita de atributos e funções, está baseado na lógica proporcional e sua máquina de inferência trabalha sem backtracking, com raciocínio não monotônico, em encadeamento para frente e atendendo as estratégias clássicas de resolução de conflitos. Para conseguir uma boa eficiência de execução, a linguagem C foi escolhida como base do desenvolvimento, sendo usada tanto para o sistema especialista gerado como para o programa gerador. Por outro lado, uma interface ampla e flexível entre SPP e a linguagem C insere o sistema num contexto de programação híbrida (mistura de procedural e não procedural), necessário para compatibilizar o tempo real com os sistemas especialistas.ix, 89f.| ilporSistemas de controleTesesGeradores (Programas de computador)TesesUm gerador de programas para sistemas de regras de produção visando a eficiencia na execuçãoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL81858.pdfapplication/pdf3496250https://repositorio.ufsc.br/bitstream/123456789/75804/1/81858.pdfbf2b2e2779b9860cdbc472f7d9b3c56cMD51123456789/758042016-03-07 15:53:11.413oai:repositorio.ufsc.br:123456789/75804Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestsandra.sobrera@ufsc.bropendoar:23732016-03-07T18:53:11Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.fl_str_mv Um gerador de programas para sistemas de regras de produção visando a eficiencia na execução
title Um gerador de programas para sistemas de regras de produção visando a eficiencia na execução
spellingShingle Um gerador de programas para sistemas de regras de produção visando a eficiencia na execução
Paladino, Alvaro Daniel Arioni
Sistemas de controle
Teses
Geradores (Programas de computador)
Teses
title_short Um gerador de programas para sistemas de regras de produção visando a eficiencia na execução
title_full Um gerador de programas para sistemas de regras de produção visando a eficiencia na execução
title_fullStr Um gerador de programas para sistemas de regras de produção visando a eficiencia na execução
title_full_unstemmed Um gerador de programas para sistemas de regras de produção visando a eficiencia na execução
title_sort Um gerador de programas para sistemas de regras de produção visando a eficiencia na execução
author Paladino, Alvaro Daniel Arioni
author_facet Paladino, Alvaro Daniel Arioni
author_role author
dc.contributor.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Paladino, Alvaro Daniel Arioni
dc.contributor.advisor1.fl_str_mv Garnousset, Herve Eric
contributor_str_mv Garnousset, Herve Eric
dc.subject.classification.pt_BR.fl_str_mv Sistemas de controle
Teses
Geradores (Programas de computador)
Teses
topic Sistemas de controle
Teses
Geradores (Programas de computador)
Teses
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico
publishDate 1991
dc.date.submitted.pt_BR.fl_str_mv 1991
dc.date.issued.fl_str_mv 1991
dc.date.accessioned.fl_str_mv 2012-10-16T04:34:10Z
dc.date.available.fl_str_mv 2012-10-16T04:34:10Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://repositorio.ufsc.br/xmlui/handle/123456789/75804
dc.identifier.other.pt_BR.fl_str_mv 81858
identifier_str_mv 81858
url http://repositorio.ufsc.br/xmlui/handle/123456789/75804
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv ix, 89f.| il
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/75804/1/81858.pdf
bitstream.checksum.fl_str_mv bf2b2e2779b9860cdbc472f7d9b3c56c
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv sandra.sobrera@ufsc.br
_version_ 1851759254325690368