Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redes

Detalhes bibliográficos
Autor(a) principal: Scarpelli, Heloisa de Arruda Camargo
Data de Publicação: 1993
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1580740
Resumo: Orientador: Fernando Antonio Campos Gomide
id UNICAMP-30_d49035615bdfd1311d3886e934fd38db
oai_identifier_str oai::65286
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redesRedes de PetriConjuntos fuzzyOrientador: Fernando Antonio Campos GomideTese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia EletricaResumo: Neste trabalho são propostos dois modelos formais para a representação de regras de produção nebulosas, como base em teoria de redes. A proposta desses modelos tem o objetivo de oferecer um mecanismo de representação onde os problemas relativos ao projeto, execução e verificação de bases de conhecimento nebulosas possam ser tratados de maneira uniforme e integrada. O modelo de Redes de Petri Nebulosas representa detalhadamente a execução da regra de inferência principal do raciocínio aproximado, chamada de regra composicional. O modelo de Redes de Petri Nebulosas de Alto Nível permite representar as regras nebulosas de um nível de abstração mais alto, gerando representações mais compactas e tratáveis. Os componentes de cada um desses dois modelos guardam uma relação bastante próxima, possibilitando que as informações sejam acessadas a partir do nível mais conveniente a cada fase do desenvolvimento de sistemas. A modelagem de vários tipos de regras como regras com múltiplos antecedentes, regras quantificadas e qualificadas, regras paralelas, regras conflitantes e fontes parciais de informação é discutida. Dois algoritmos de raciocínio aproximado são apresentados, utilizando as estratégias de encadeamento para frente e encadeamento para trás. A questão de verificação de inconsistência entre regras de produção nebulosas é discutida. Procedimentos para verificação da existência de conflitos em potencial, tanto a nível local como a nível global, são apresentadosAbstract: This work presents two formal models for the representation of fuzzy production rules, based on net theory. The proposal of the models aims at offering a mechanism where problems concerning design, execution and verification of fuzzy knowledge bases can be faced in an uniform and integrated manner. The Fuzzy Petri Net model represents in details the numerical components underlying the main inference rule in approximate reasoning, called compositional rule. The High LeveI Fuzzy Petri Net model allows to represent fuzzy rules in a higher leveI of abstraction, yielding more compact and manageable representations. The components of both systems are dosely related, allowing the accessing of information from the most convenient leveI in each phase of systems development. The modeling of several rule types like rules with multiple antecedent, quantified and qualified rules, par alIeI rules, conflicting rules and partial sources of information has been discussed. Two different fuzzy reasoning algorithms have been presented, using forward chaining and backward chaining strategies. The issue of inconsistency checking among fuzzy production rules has also been approached. Procedures for verifying the existence of potencial conflicts, both at local and globallevels are included.DoutoradoDoutor em Engenharia Elétrica[s.n.]Gomide, Fernando Antonio Campos, 1951-Universidade Estadual de Campinas. Faculdade de Engenharia ElétricaPrograma de Pós-Graduação em Engenharia ElétricaUNIVERSIDADE ESTADUAL DE CAMPINASScarpelli, Heloisa de Arruda Camargo19931993-08-27T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf167f. : il.(Broch.)https://hdl.handle.net/20.500.12733/1580740SCARPELLI, Heloisa de Arruda Camargo. Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redes. 1993. 167f. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1580740. Acesso em: 14 mai. 2024.https://repositorio.unicamp.br/acervo/detalhe/65286porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2022-05-03T11:36:26Zoai::65286Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2022-05-03T11:36:26Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redes
title Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redes
spellingShingle Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redes
Scarpelli, Heloisa de Arruda Camargo
Redes de Petri
Conjuntos fuzzy
title_short Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redes
title_full Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redes
title_fullStr Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redes
title_full_unstemmed Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redes
title_sort Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redes
author Scarpelli, Heloisa de Arruda Camargo
author_facet Scarpelli, Heloisa de Arruda Camargo
author_role author
dc.contributor.none.fl_str_mv Gomide, Fernando Antonio Campos, 1951-
Universidade Estadual de Campinas. Faculdade de Engenharia Elétrica
Programa de Pós-Graduação em Engenharia Elétrica
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Scarpelli, Heloisa de Arruda Camargo
dc.subject.por.fl_str_mv Redes de Petri
Conjuntos fuzzy
topic Redes de Petri
Conjuntos fuzzy
description Orientador: Fernando Antonio Campos Gomide
publishDate 1993
dc.date.none.fl_str_mv 1993
1993-08-27T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch.)
https://hdl.handle.net/20.500.12733/1580740
SCARPELLI, Heloisa de Arruda Camargo. Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redes. 1993. 167f. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1580740. Acesso em: 14 mai. 2024.
identifier_str_mv (Broch.)
SCARPELLI, Heloisa de Arruda Camargo. Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redes. 1993. 167f. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1580740. Acesso em: 14 mai. 2024.
url https://hdl.handle.net/20.500.12733/1580740
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/65286
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
167f. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1799138303862112256

Registros relacionados