dc.creator |
MARTINS, Helga Gonzaga |
|
dc.date.issued |
2003-11-26 |
|
dc.identifier.uri |
https://repositorio.unifei.edu.br/jspui/handle/123456789/3202 |
|
dc.description.abstract |
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 are |
pt_BR |
dc.language |
por |
pt_BR |
dc.publisher |
Universidade Federal de Itajubá |
pt_BR |
dc.rights |
Acesso Aberto |
pt_BR |
dc.subject |
Lógica paraconsistente anotada |
pt_BR |
dc.subject |
Raciocínio baseado em casos (RBC) |
pt_BR |
dc.subject |
Restabelecimento de subestações elétricas |
pt_BR |
dc.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 |
pt_BR |
dc.type |
Tese |
pt_BR |
dc.date.available |
2022-03-24 |
|
dc.date.available |
2022-03-24T19:39:54Z |
|
dc.date.accessioned |
2022-03-24T19:39:54Z |
|
dc.creator.Lattes |
http://lattes.cnpq.br/0259888450882117 |
pt_BR |
dc.contributor.advisor1 |
LAMBERT-TORRES, Germano |
|
dc.contributor.advisor1Lattes |
http://lattes.cnpq.br/1173620785883814 |
pt_BR |
dc.contributor.advisor-co1Lattes |
PONTIN, Luiz Francisco |
pt_BR |
dc.description.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. |
pt_BR |
dc.publisher.country |
Brasil |
pt_BR |
dc.publisher.department |
IESTI - Instituto de Engenharia de Sistemas e Tecnologia da Informação |
pt_BR |
dc.publisher.program |
Programa de Pós-Graduação: Doutorado - Engenharia Elétrica |
pt_BR |
dc.publisher.initials |
UNIFEI |
pt_BR |
dc.subject.cnpq |
CNPQ::ENGENHARIAS::ENGENHARIA ELÉTRICA |
pt_BR |
dc.relation.references |
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. |
pt_BR |