Programa de Pós-Graduação em Sistemas e Computação
URI Permanente desta comunidadehttps://repositorio.ufrn.br/handle/123456789/11978
Navegar
Navegando Programa de Pós-Graduação em Sistemas e Computação por Assunto "-algebras"
Agora exibindo 1 - 1 de 1
- Resultados por página
- Opções de Ordenação
Dissertação Em direção a uma representação para equações algébricas :uma lógica equacional local(Universidade Federal do Rio Grande do Norte, 2001-07-17) Santos, José Medeiros dos; Santiago, Regivan Hugo Nunes; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4; ; Acióly, Benedito Melo; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781746T2; Bedregal, Benjamin René Callejas; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781417E7A 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 locais