Em direção a uma representação para equações algébricas :uma lógica equacional local
Autor(a) principal: | |
---|---|
Data de Publicação: | 2001 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFRN |
Texto Completo: | https://repositorio.ufrn.br/jspui/handle/123456789/18000 |
Resumo: | The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras |
id |
UFRN_cf8a5f1093d71af8c5667af6a56fe5c4 |
---|---|
oai_identifier_str |
oai:https://repositorio.ufrn.br:123456789/18000 |
network_acronym_str |
UFRN |
network_name_str |
Repositório Institucional da UFRN |
repository_id_str |
|
spelling |
Santos, José Medeiros doshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4Acióly, Benedito Melohttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781746T2Bedregal, Benjamin René Callejashttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781417E7Santiago, Regivan Hugo Nunes2014-12-17T15:47:50Z2007-06-282014-12-17T15:47:50Z2001-07-17SANTOS, José Medeiros dos. Em direção a uma representação para equações algébricas :uma lógica equacional local. 2001. 172 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2001.https://repositorio.ufrn.br/jspui/handle/123456789/18000The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebrasA aritmética intervalar conhecida como aritmética de Moore, não possui as mesmas propriedades dos números reais, e por este motivo, defrontase com um problema de natureza operatória, quando se deseja resolver equações intervalares como extensão de equações reais através da igualdade usual e da aritmética intervalar, por esta não possuir o inverso aditivo, como também, a propriedade da distributividade da multiplicação pela soma não ser válida para qualquer terno de intervalos. A falta dessas propriedades impossibilita a utilização da lógica equacional, tanto para a resolução de uma equação intervalar usando a mesma, como para uma representação de uma equação real, e ainda, para a verificação algébrica de propriedades de um sistema computacional, cujos dados sejam números reais representados através de intervalos. Entretanto, com a noção de ordem de informação e de aproximação sobre intervalos, introduzida por Acióly[6] em 1991, surge a idéia de uma equação intervalar representar satisfatoriamente uma equação real, já que os termos da equação intervalar carregam a informação sobre a solução da equação real. Em 1999, Santiago propôs a noção de igualdade simples e, posteriormente, igualdade local para intervalos [8] e [33]. Baseado nessa idéia, esta dissertação estende os conjuntos locais de Santiago para álgebras locais, seguindo a idéia de Σ-álgebras contidas em (Hennessy[31], 1988) e (Santiago[7], 1995). Uma das contribuições desta dissertação é o teorema 5.1.3.2 que garante que, ao se deduzir uma Σ-equação local ⊢ E t t no sistema SDedLoc(E) proposto, as interpretações de t e t serão localmente iguais em qualquer Σ-álgebra local que satisfaça o conjunto de equações locais E fixado, sempre que t e t tiverem significado em A. Isto garante um tipo de segurança entre a lógica equacional local e as álgebras locaisapplication/pdfporUniversidade Federal do Rio Grande do NortePrograma de Pós-Graduação em Sistemas e ComputaçãoUFRNBRCiência da ComputaçãoMatemática intervalarEquação intervalarLógica equacional localΣ-ÁlgebraLógica equacionalSistemas dedutivosIntervalar mathematicsIntervalar equationLocal equacional logicΣ-algebrasEquacional logicDeductive systemsCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAOEm direção a uma representação para equações algébricas :uma lógica equacional localinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRNinstname:Universidade Federal do Rio Grande do Norte (UFRN)instacron:UFRNORIGINALJoseMS.pdfapplication/pdf1057927https://repositorio.ufrn.br/bitstream/123456789/18000/1/JoseMS.pdf2fb0b885cdff7c8f9e8f9d1d07d2627fMD51TEXTJoseMS.pdf.txtJoseMS.pdf.txtExtracted texttext/plain300313https://repositorio.ufrn.br/bitstream/123456789/18000/6/JoseMS.pdf.txt1c45a962910142d31446b29f04e01086MD56THUMBNAILJoseMS.pdf.jpgJoseMS.pdf.jpgIM Thumbnailimage/jpeg3986https://repositorio.ufrn.br/bitstream/123456789/18000/7/JoseMS.pdf.jpg35f5de58e82a552d7088ada5acfb06c2MD57123456789/180002017-11-04 10:28:59.731oai:https://repositorio.ufrn.br:123456789/18000Repositório de PublicaçõesPUBhttp://repositorio.ufrn.br/oai/opendoar:2017-11-04T13:28:59Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)false |
dc.title.por.fl_str_mv |
Em direção a uma representação para equações algébricas :uma lógica equacional local |
title |
Em direção a uma representação para equações algébricas :uma lógica equacional local |
spellingShingle |
Em direção a uma representação para equações algébricas :uma lógica equacional local Santos, José Medeiros dos Matemática intervalar Equação intervalar Lógica equacional local Σ -Álgebra Lógica equacional Sistemas dedutivos Intervalar mathematics Intervalar equation Local equacional logic Σ -algebras Equacional logic Deductive systems CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO |
title_short |
Em direção a uma representação para equações algébricas :uma lógica equacional local |
title_full |
Em direção a uma representação para equações algébricas :uma lógica equacional local |
title_fullStr |
Em direção a uma representação para equações algébricas :uma lógica equacional local |
title_full_unstemmed |
Em direção a uma representação para equações algébricas :uma lógica equacional local |
title_sort |
Em direção a uma representação para equações algébricas :uma lógica equacional local |
author |
Santos, José Medeiros dos |
author_facet |
Santos, José Medeiros dos |
author_role |
author |
dc.contributor.authorID.por.fl_str_mv |
|
dc.contributor.advisorID.por.fl_str_mv |
|
dc.contributor.advisorLattes.por.fl_str_mv |
http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4 |
dc.contributor.referees1.pt_BR.fl_str_mv |
Acióly, Benedito Melo |
dc.contributor.referees1ID.por.fl_str_mv |
|
dc.contributor.referees1Lattes.por.fl_str_mv |
http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781746T2 |
dc.contributor.referees2.pt_BR.fl_str_mv |
Bedregal, Benjamin René Callejas |
dc.contributor.referees2ID.por.fl_str_mv |
|
dc.contributor.referees2Lattes.por.fl_str_mv |
http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781417E7 |
dc.contributor.author.fl_str_mv |
Santos, José Medeiros dos |
dc.contributor.advisor1.fl_str_mv |
Santiago, Regivan Hugo Nunes |
contributor_str_mv |
Santiago, Regivan Hugo Nunes |
dc.subject.por.fl_str_mv |
Matemática intervalar Equação intervalar Lógica equacional local Σ -Álgebra Lógica equacional Sistemas dedutivos |
topic |
Matemática intervalar Equação intervalar Lógica equacional local Σ -Álgebra Lógica equacional Sistemas dedutivos Intervalar mathematics Intervalar equation Local equacional logic Σ -algebras Equacional logic Deductive systems CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO |
dc.subject.eng.fl_str_mv |
Intervalar mathematics Intervalar equation Local equacional logic Σ -algebras Equacional logic Deductive systems |
dc.subject.cnpq.fl_str_mv |
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO |
description |
The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras |
publishDate |
2001 |
dc.date.issued.fl_str_mv |
2001-07-17 |
dc.date.available.fl_str_mv |
2007-06-28 2014-12-17T15:47:50Z |
dc.date.accessioned.fl_str_mv |
2014-12-17T15:47:50Z |
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.citation.fl_str_mv |
SANTOS, José Medeiros dos. Em direção a uma representação para equações algébricas :uma lógica equacional local. 2001. 172 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2001. |
dc.identifier.uri.fl_str_mv |
https://repositorio.ufrn.br/jspui/handle/123456789/18000 |
identifier_str_mv |
SANTOS, José Medeiros dos. Em direção a uma representação para equações algébricas :uma lógica equacional local. 2001. 172 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2001. |
url |
https://repositorio.ufrn.br/jspui/handle/123456789/18000 |
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 |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidade Federal do Rio Grande do Norte |
dc.publisher.program.fl_str_mv |
Programa de Pós-Graduação em Sistemas e Computação |
dc.publisher.initials.fl_str_mv |
UFRN |
dc.publisher.country.fl_str_mv |
BR |
dc.publisher.department.fl_str_mv |
Ciência da Computação |
publisher.none.fl_str_mv |
Universidade Federal do Rio Grande do Norte |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFRN instname:Universidade Federal do Rio Grande do Norte (UFRN) instacron:UFRN |
instname_str |
Universidade Federal do Rio Grande do Norte (UFRN) |
instacron_str |
UFRN |
institution |
UFRN |
reponame_str |
Repositório Institucional da UFRN |
collection |
Repositório Institucional da UFRN |
bitstream.url.fl_str_mv |
https://repositorio.ufrn.br/bitstream/123456789/18000/1/JoseMS.pdf https://repositorio.ufrn.br/bitstream/123456789/18000/6/JoseMS.pdf.txt https://repositorio.ufrn.br/bitstream/123456789/18000/7/JoseMS.pdf.jpg |
bitstream.checksum.fl_str_mv |
2fb0b885cdff7c8f9e8f9d1d07d2627f 1c45a962910142d31446b29f04e01086 35f5de58e82a552d7088ada5acfb06c2 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN) |
repository.mail.fl_str_mv |
|
_version_ |
1802117587989954560 |