Oi Marcelo, mais uma vez, obrigado pela dica.
Muita coisa tem sido feita se pensando em métricas que são valoradas em reticulados (Generalized Metrics), que são inspiradas na mudança da noção de desigualdade triangular para uma expressão que envolva "máximo" e portanto supremo. Essa estrutura tem sido usada para dar semântica denotacional a programação Lógica, por exemplo. Nesse trabalho, o Fagner propõe uma estrutura mais fraca, baseada em pré-ordens, que é munida de uma generalização da noção de way-below (Teoria dos Domínios). Com isso, já conseguimos algumas coisas, como por exemplo propor uma métrica cujos valores são intervalos fechados, fazendo com que se tenha a noção da distância entre a e b está num intervalo [c,d] e com erro máximo de d-a, como também aplicações em topologia fuzzy (Fuzz-IEEE 2011). O legal dessa estrutura é que apesar da abstração da valoração, o sabor geométrico das bolas abertas permanece, onde a noção de raio não necessita ter mais natureza numérica; ou seja não se apela para a abstração de abertos topológicos, mas se mantém a linguagem de bolas abertas de centro c e raio r. Uma das motivações desse trabalho, que não é nova, é poder se modelar, por exemplo, fenômenos como a distância entre Brasil e Alemanha pode ser medida pelo seu IDH e o resultado também é uma função. Obviamente, como tudo, não se tem uma estrutura de valoração universal, na verdade estamos tentando delinear os limites dessa proposta bem como o seu campo de aplicação. Regivan 2011/6/20 Marcelo Finger <[email protected]> > Olá. > > O Carlos Gonzalez em vários de seus trabalhos se utiliza de uma métrica > valorada em elementos de uma álgebra de boole. > > []s > > 2011/6/20 Samir Gorsky <[email protected]> > >> Prezado Regivan, >> >> achei muito interessante o tema de seu seminário. >> >> Atualmente estou estudando alguns tópicos referentes à teoria da >> informação >> >> Será que você poderia me enviar algumas referências acerca da i-métrica? >> >> Abs >> >> Samir >> Doutorando em Filosofia (Lógica) >> CLE-UNICAMP >> >> _______________________________________________ >> Logica-l mailing list >> [email protected] >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > > > > -- > Marcelo Finger > Departamento de Ciencia da Computacao > Instituto de Matematica e Estatistica > Universidade de Sao Paulo > Rua do Matao, 1010 > 05508-090 Sao Paulo, SP Brazil > Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) > http://www.ime.usp.br/~mfinger > > -- ****************************************************************************** Prof. Dr. Regivan Hugo Nunes Santiago Group of Logic, Language, Information, Theory and Applications - LoLITA Department of Informatics and Applied Mathematics - DIMAp Federal University of Rio Grande do Norte - UFRN Avenida Senador Salgado Filho, 3000, Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil Caixa Postal: 1679 Phone: +55 84 3215-3814 Ext. 211 Fax: +55 84 3215-3813 http://www.dimap.ufrn.br/~regivan e-mail: regivan AT DOMAIN=dimap,ufrn,br. ****************************************************************************** _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
