A lógica paraconsistente anotada de quatro valores - LPA4V aplicada em sistema de raciocínio baseado em casos para o restabelecimento de subestações elétricas
Autor(a) principal: | |
---|---|
Data de Publicação: | 2003 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Repositório Institucional da UNIFEI (RIUNIFEI) |
Texto Completo: | https://repositorio.unifei.edu.br/jspui/handle/123456789/3202 |
Resumo: | Nos sistemas de controle, a base teórica de funcionamento tem sido a lógica clássica, devido à estrutura binária destes sistemas (verdadeiro ou falso), de forma que o raciocínio é feito com simplificações, como deixar de considerar fatos ou situações de inconsistência ou então resumir grosseiramente as mesmas. As situações de inconsistências, indefinições e de conhecimentos parciais são descritas no mundo real com muita freqüência, de forma que se necessita de uma lógica que englobe todos esses comportamentos. Esta necessidade leva ao surgimento de uma lógica subjacente para os sistemas formais, denominada Lógica Paraconsistente. Muitos trabalhos apresentam a Lógica Paraconsistente como solução para tratar situações onde a Lógica Clássica se mostra ineficaz. Este trabalho tem a finalidade de estender a lógica paraconsistente anotada de dois valores - LPA2v para uma lógica paraconsistente anotada de quatro valores - LPA4v, permitindo-se que sistemas de controle possam efetuar tratamentos inconsistentes, indefinidos e no que se refere ao nível de especialidade no domínio em questão. A análise de sinais utilizando a LPA4v permite que vários problemas ocasionados por situações contraditórias e paracompletas possam ser tratados de maneira próxima da realidade, além de analisar o comportamento dos especialistas no decorrer do tempo. Este método deu origem ao algoritmo denominado “Para–Especialista”. O algoritmo implementado em linguagem computacional convencional proporciona a aplicação da Lógica Paraconsistente em sistemas de controle no mundo da inteligência artificial. É apresentado um projeto de aplicação de Sistema Híbrido de Controle, que faz junção da Lógica Paraconsistente e Sistema de Raciocínio Baseado em Casos (RBC), obtendo-se uma forma de tratamento das inconsistências, útil em sistemas de controle e aplicado em um Restabelecimento de Subestação Elétrica. Este projeto deu origem ao algoritmo "RBC-Para-Especialista". Os resultados obtidos neste trabalho servem para pesquisas em diversas áreas. |
id |
UFEI_108e9aa0d57e0ec214ce252aecb81f17 |
---|---|
oai_identifier_str |
oai:repositorio.unifei.edu.br:123456789/3202 |
network_acronym_str |
UFEI |
network_name_str |
Repositório Institucional da UNIFEI (RIUNIFEI) |
repository_id_str |
7044 |
spelling |
2003-11-262022-03-242022-03-24T19:39:54Z2022-03-24T19:39:54Zhttps://repositorio.unifei.edu.br/jspui/handle/123456789/3202Nos sistemas de controle, a base teórica de funcionamento tem sido a lógica clássica, devido à estrutura binária destes sistemas (verdadeiro ou falso), de forma que o raciocínio é feito com simplificações, como deixar de considerar fatos ou situações de inconsistência ou então resumir grosseiramente as mesmas. As situações de inconsistências, indefinições e de conhecimentos parciais são descritas no mundo real com muita freqüência, de forma que se necessita de uma lógica que englobe todos esses comportamentos. Esta necessidade leva ao surgimento de uma lógica subjacente para os sistemas formais, denominada Lógica Paraconsistente. Muitos trabalhos apresentam a Lógica Paraconsistente como solução para tratar situações onde a Lógica Clássica se mostra ineficaz. Este trabalho tem a finalidade de estender a lógica paraconsistente anotada de dois valores - LPA2v para uma lógica paraconsistente anotada de quatro valores - LPA4v, permitindo-se que sistemas de controle possam efetuar tratamentos inconsistentes, indefinidos e no que se refere ao nível de especialidade no domínio em questão. A análise de sinais utilizando a LPA4v permite que vários problemas ocasionados por situações contraditórias e paracompletas possam ser tratados de maneira próxima da realidade, além de analisar o comportamento dos especialistas no decorrer do tempo. Este método deu origem ao algoritmo denominado “Para–Especialista”. O algoritmo implementado em linguagem computacional convencional proporciona a aplicação da Lógica Paraconsistente em sistemas de controle no mundo da inteligência artificial. É apresentado um projeto de aplicação de Sistema Híbrido de Controle, que faz junção da Lógica Paraconsistente e Sistema de Raciocínio Baseado em Casos (RBC), obtendo-se uma forma de tratamento das inconsistências, útil em sistemas de controle e aplicado em um Restabelecimento de Subestação Elétrica. Este projeto deu origem ao algoritmo "RBC-Para-Especialista". Os resultados obtidos neste trabalho servem para pesquisas em diversas áreas.In the control systems, the working theoretical basis have been the classic logic, because of the binary structure of these systems (true or false), in such a way that the reasoning is made with simplifications like either not to take into consideration inconsistent facts and situations or roughly to resume the same. The inconsistent situations, non-definitions and partial knowledge are described in the real world quite frequently, so that a logic that comprises all these behaviors is required. This need drives to the arising of an underlying logic for the formal systems, named Para-consistent Logic. Several works present the Para-consistent Logic as a solution for dealing with situations where the Classic Logic seems to be ineffective. This work aims to extend the two-values noted para-consistent logic - LPA2v to four-values noted para-consistent logic - LPA4v allowing that control systems may perform non-consistent treatments, undefined and regarding the specialty level in the considered domain the signals analysis using the LPA4v allows that many problems generated by conflicting and para-complete situations may be treated in a way near to the reality, beside to analyze the specialists behavior along the time. This method originated the algorithm named “Para-Specialist”. The algorithm introduced in conventional computer language allows the application of the Para-Consistent Logic in control systems in the artificial intelligence world. An application project of Control Hybrid System is presented, which makes the connection of the Para-Consistent Logic and the Case Based Reasoning System (CBR) providing a non-consistent treatment form, useful in control systems and applied in an Electric Power Substation Restoring. This project originated the algorithm “CBR-Para Expert”. The results achieved in this work may be used for research in many areporUniversidade Federal de ItajubáPrograma de Pós-Graduação: Doutorado - Engenharia ElétricaUNIFEIBrasilIESTI - Instituto de Engenharia de Sistemas e Tecnologia da InformaçãoCNPQ::ENGENHARIAS::ENGENHARIA ELÉTRICALógica paraconsistente anotadaRaciocínio baseado em casos (RBC)Restabelecimento de subestações elétricasA lógica paraconsistente anotada de quatro valores - LPA4V aplicada em sistema de raciocínio baseado em casos para o restabelecimento de subestações elétricasinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisLAMBERT-TORRES, Germanohttp://lattes.cnpq.br/1173620785883814PONTIN, Luiz Franciscohttp://lattes.cnpq.br/0259888450882117MARTINS, Helga GonzagaMARTINS, Helga Gonzaga. A lógica paraconsistente anotada de quatro valores - LPA4V aplicada em sistema de raciocínio baseado em casos para o restabelecimento de subestações elétricas. 2003. 130 f. Tese (Doutorado em Engenharia Elétrica) – Universidade Federal de Itajubá, Itajubá, 2003.info:eu-repo/semantics/openAccessreponame:Repositório Institucional da UNIFEI (RIUNIFEI)instname:Universidade Federal de Itajubá (UNIFEI)instacron:UNIFEILICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://repositorio.unifei.edu.br/jspui/bitstream/123456789/3202/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52ORIGINALTese_200630095.pdfTese_200630095.pdfapplication/pdf1963170https://repositorio.unifei.edu.br/jspui/bitstream/123456789/3202/1/Tese_200630095.pdf48decd88104abc97989fd65c0f5b1806MD51123456789/32022022-03-24 16:39:57.141oai:repositorio.unifei.edu.br:123456789/3202Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório InstitucionalPUBhttps://repositorio.unifei.edu.br/oai/requestrepositorio@unifei.edu.br || geraldocarlos@unifei.edu.bropendoar:70442022-03-24T19:39:57Repositório Institucional da UNIFEI (RIUNIFEI) - Universidade Federal de Itajubá (UNIFEI)false |
dc.title.pt_BR.fl_str_mv |
A lógica paraconsistente anotada de quatro valores - LPA4V aplicada em sistema de raciocínio baseado em casos para o restabelecimento de subestações elétricas |
title |
A lógica paraconsistente anotada de quatro valores - LPA4V aplicada em sistema de raciocínio baseado em casos para o restabelecimento de subestações elétricas |
spellingShingle |
A lógica paraconsistente anotada de quatro valores - LPA4V aplicada em sistema de raciocínio baseado em casos para o restabelecimento de subestações elétricas MARTINS, Helga Gonzaga CNPQ::ENGENHARIAS::ENGENHARIA ELÉTRICA Lógica paraconsistente anotada Raciocínio baseado em casos (RBC) Restabelecimento de subestações elétricas |
title_short |
A lógica paraconsistente anotada de quatro valores - LPA4V aplicada em sistema de raciocínio baseado em casos para o restabelecimento de subestações elétricas |
title_full |
A lógica paraconsistente anotada de quatro valores - LPA4V aplicada em sistema de raciocínio baseado em casos para o restabelecimento de subestações elétricas |
title_fullStr |
A lógica paraconsistente anotada de quatro valores - LPA4V aplicada em sistema de raciocínio baseado em casos para o restabelecimento de subestações elétricas |
title_full_unstemmed |
A lógica paraconsistente anotada de quatro valores - LPA4V aplicada em sistema de raciocínio baseado em casos para o restabelecimento de subestações elétricas |
title_sort |
A lógica paraconsistente anotada de quatro valores - LPA4V aplicada em sistema de raciocínio baseado em casos para o restabelecimento de subestações elétricas |
author |
MARTINS, Helga Gonzaga |
author_facet |
MARTINS, Helga Gonzaga |
author_role |
author |
dc.contributor.advisor1.fl_str_mv |
LAMBERT-TORRES, Germano |
dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/1173620785883814 |
dc.contributor.advisor-co1Lattes.fl_str_mv |
PONTIN, Luiz Francisco |
dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/0259888450882117 |
dc.contributor.author.fl_str_mv |
MARTINS, Helga Gonzaga |
contributor_str_mv |
LAMBERT-TORRES, Germano |
dc.subject.cnpq.fl_str_mv |
CNPQ::ENGENHARIAS::ENGENHARIA ELÉTRICA |
topic |
CNPQ::ENGENHARIAS::ENGENHARIA ELÉTRICA Lógica paraconsistente anotada Raciocínio baseado em casos (RBC) Restabelecimento de subestações elétricas |
dc.subject.por.fl_str_mv |
Lógica paraconsistente anotada Raciocínio baseado em casos (RBC) Restabelecimento de subestações elétricas |
description |
Nos sistemas de controle, a base teórica de funcionamento tem sido a lógica clássica, devido à estrutura binária destes sistemas (verdadeiro ou falso), de forma que o raciocínio é feito com simplificações, como deixar de considerar fatos ou situações de inconsistência ou então resumir grosseiramente as mesmas. As situações de inconsistências, indefinições e de conhecimentos parciais são descritas no mundo real com muita freqüência, de forma que se necessita de uma lógica que englobe todos esses comportamentos. Esta necessidade leva ao surgimento de uma lógica subjacente para os sistemas formais, denominada Lógica Paraconsistente. Muitos trabalhos apresentam a Lógica Paraconsistente como solução para tratar situações onde a Lógica Clássica se mostra ineficaz. Este trabalho tem a finalidade de estender a lógica paraconsistente anotada de dois valores - LPA2v para uma lógica paraconsistente anotada de quatro valores - LPA4v, permitindo-se que sistemas de controle possam efetuar tratamentos inconsistentes, indefinidos e no que se refere ao nível de especialidade no domínio em questão. A análise de sinais utilizando a LPA4v permite que vários problemas ocasionados por situações contraditórias e paracompletas possam ser tratados de maneira próxima da realidade, além de analisar o comportamento dos especialistas no decorrer do tempo. Este método deu origem ao algoritmo denominado “Para–Especialista”. O algoritmo implementado em linguagem computacional convencional proporciona a aplicação da Lógica Paraconsistente em sistemas de controle no mundo da inteligência artificial. É apresentado um projeto de aplicação de Sistema Híbrido de Controle, que faz junção da Lógica Paraconsistente e Sistema de Raciocínio Baseado em Casos (RBC), obtendo-se uma forma de tratamento das inconsistências, útil em sistemas de controle e aplicado em um Restabelecimento de Subestação Elétrica. Este projeto deu origem ao algoritmo "RBC-Para-Especialista". Os resultados obtidos neste trabalho servem para pesquisas em diversas áreas. |
publishDate |
2003 |
dc.date.issued.fl_str_mv |
2003-11-26 |
dc.date.available.fl_str_mv |
2022-03-24 2022-03-24T19:39:54Z |
dc.date.accessioned.fl_str_mv |
2022-03-24T19:39:54Z |
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 |
https://repositorio.unifei.edu.br/jspui/handle/123456789/3202 |
url |
https://repositorio.unifei.edu.br/jspui/handle/123456789/3202 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.references.pt_BR.fl_str_mv |
MARTINS, Helga Gonzaga. A lógica paraconsistente anotada de quatro valores - LPA4V aplicada em sistema de raciocínio baseado em casos para o restabelecimento de subestações elétricas. 2003. 130 f. Tese (Doutorado em Engenharia Elétrica) – Universidade Federal de Itajubá, Itajubá, 2003. |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.publisher.none.fl_str_mv |
Universidade Federal de Itajubá |
dc.publisher.program.fl_str_mv |
Programa de Pós-Graduação: Doutorado - Engenharia Elétrica |
dc.publisher.initials.fl_str_mv |
UNIFEI |
dc.publisher.country.fl_str_mv |
Brasil |
dc.publisher.department.fl_str_mv |
IESTI - Instituto de Engenharia de Sistemas e Tecnologia da Informação |
publisher.none.fl_str_mv |
Universidade Federal de Itajubá |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UNIFEI (RIUNIFEI) instname:Universidade Federal de Itajubá (UNIFEI) instacron:UNIFEI |
instname_str |
Universidade Federal de Itajubá (UNIFEI) |
instacron_str |
UNIFEI |
institution |
UNIFEI |
reponame_str |
Repositório Institucional da UNIFEI (RIUNIFEI) |
collection |
Repositório Institucional da UNIFEI (RIUNIFEI) |
bitstream.url.fl_str_mv |
https://repositorio.unifei.edu.br/jspui/bitstream/123456789/3202/2/license.txt https://repositorio.unifei.edu.br/jspui/bitstream/123456789/3202/1/Tese_200630095.pdf |
bitstream.checksum.fl_str_mv |
8a4605be74aa9ea9d79846c1fba20a33 48decd88104abc97989fd65c0f5b1806 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UNIFEI (RIUNIFEI) - Universidade Federal de Itajubá (UNIFEI) |
repository.mail.fl_str_mv |
repositorio@unifei.edu.br || geraldocarlos@unifei.edu.br |
_version_ |
1801863231332941824 |