Caro Walter. Discordo do seu ponto de vista, se é que eu o entendi, de que não se pode falar de aplicações de lógica, ou aplicações de lógica paraconsistentes.
Porque podemos, sim, falar de aplicações de Álgebra Linear, que são muitas e sempre crescente. É claro que se v for ver as implementações dos operadores da álgebra linear, estas implementações também fazem uma série de concessões que as distanciam da teoria. Por exemplo, todas as implementações sofrem de problemas de instabilidade numérica devido à representação de números em ponto flutuante, são eminentemente aproximações dos resultados teóricos, etc. Idem no caso da LPO. As implementações do PROLOG seguem a semântica da negação clássica apenas em casos limitados, utiliza-se negação por falha que, em analogia às instabilidades numéricas, pode-se dizer que apresenta instabilidades semânticas. E existem, sim, ao menos duas indústrias que movimentam da ordem de vários BILHÕES de dólares por ano e são baseadas em Lógica Clássica. A saber, Bancos de Dados (com seus cálculos e álgebras relacionais) e os circuitos eléticos digitais. Acontece que a pesquisa nestas áreas já há muito abandonou a lógica, e vai por outros lados. []s Marcelo 2013/12/19 Walter Carnielli <[email protected]>: > Caro Adolfo, acho que sua pergunta ( e outras do gênero) estão > completa e totalmente enganadas. > > Primeiro, porque se incomodam tanto com "aplicações " de lógica > paraconsistente? Existe alguma outra lógica que tenha "aplicações"? > Não vale dizer que as lógicas fuzzy têm aplicações-- o que tem > aplicação é um ponto de vista sobre > graus de pertinência difusa (assim como ocorre com as multivalentes). > Alias, isso concorda com o que o Zadeh me havia dito em Berkeley há > 25 anos atrás. > > Segundo, todas as ditas "aplicações" são apenas pontos de contato > entre uma teoria e outra. Não há nada que não possa passar sem as > ditas lógicas. Assim como as "aplicações reais" de quase tudo o que > se faz em computação são rigorosamente igual a zero no que tange a > "aplicações práticas". > > O que se aplica (se por "aplicar" entende-se "gerar lucros para as > empresas" ) são as coisas da Google (veja-se o centro de pesquisa > da Google em BH, que produz ideias relevantes sobre mecanismos de > busca, e tanto quanto eu saiba não usam uma vírgula de lógica > no sentido formal) . Fora isso há o PROLOG que usa um simulacro da > FOL para escrever programas, a maior parte deles ideais e > "detraqués" da realidade do dia-a-dia. > > Abs > > Walter > > > Em 18 de dezembro de 2013 20:36, Adolfo Neto > <[email protected]> escreveu: >> Décio, >> >> Como já disse em outros emails, estou procurando aplicações reais (isto é, >> que sejam usadas mesmo -- que não sejam apenas exemplos em artigos) e em >> Computação. >> >> Não encontrei nenhuma até hoje. >> Quero muito encontrar. >> >> Quanto ao Kazumi ( >> http://www.informatik.uni-trier.de/~ley/pers/hd/n/Nakamatsu:Kazumi), >> procurei por ele no ISI. >> O artigo mais citado dele tem 17 citações. A maioria absoluta são >> auto-citações. Os que não são auto-citações não são citados. >> Enfim, tudo indica desinteresse por parte de quem aplica. >> >> >> []s >> Adolfo >> >> >> 2013/12/18 Décio Krause <[email protected]> >> >>> Puxa, Adolfo, você não conhece as aplicações em robótica, tráfego aéreo, >>> fabricação de cerveja, engenharia elétrica, medicina, etc? >>> No artigo em anexo há alguma referência, mas a coisa está rolando desde >>> então. Basicamente, são aplicações das lógicas anotadas, e são bem >>> interessantes. Procure por Kazumi Nakamatsu. >>> Abraço >>> Décio >>> >>> ________________________ >>> >>> *Décio Krause* >>> *Departamento de Filosofia* >>> *Universidade Federal de Santa Catarina* >>> *www.cfh.ufsc.br/~dkrause <http://www.cfh.ufsc.br/~dkrause>* >>> ________________________ >>> >>> >>> >>> >>> >>> Em 18/12/2013, à(s) 20:09, Adolfo Neto <[email protected]> >>> escreveu: >>> >>> Questão no Quora: >>> >>> http://www.quora.com/Logic/Is-Paraconsistent-Logic-useful-or-at-least-meaningful >>> >>> Gostei desta resposta, de Robert J. Kolker< >>> http://www.quora.com/Robert-J-Kolker> >>> >>> "Meaningful yes. I have not seen a slam bang useful application of a truly >>> paraconsistent logic. Perhaps you can provide some examples." >>> >>> Eu continuo procurando... >>> Claro, só estou interessado em aplicações "concretas" em Computação. >>> >>> Se alguém souber de algo, me avise. >>> >>> >>> >>> >>> ================================================================== >>> Adolfo Neto >>> Assistant Professor - Federal University of Technology, Paraná >>> Web: http://www.dainf.ct.utfpr.edu.br/~adolfo >>> Twitter: http://twitter.com/adolfont >>> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br >>> ================================================================== >>> >>> -------------------------------------------- >>> Q: Why is this email three sentences or less? >>> A: http://three.sentenc.es >>> _______________________________________________ >>> Logica-l mailing list >>> [email protected] >>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >>> >>> >>> >> >> >> -- >> >> >> ================================================================== >> Adolfo Neto >> Assistant Professor - Federal University of Technology, Paraná >> Web: http://www.dainf.ct.utfpr.edu.br/~adolfo >> Twitter: http://twitter.com/adolfont >> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br >> ================================================================== >> >> -------------------------------------------- >> Q: Why is this email three sentences or less? >> A: http://three.sentenc.es >> _______________________________________________ >> Logica-l mailing list >> [email protected] >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > -- > ----------------------------------------------- > Prof. Dr. Walter Carnielli > Director > Centre for Logic, Epistemology and the History of Science – CLE > State University of Campinas –UNICAMP > 13083-859 Campinas -SP, Brazil > Phone: (+55) (19) 3521-6517 > Fax: (+55) (19) 3289-3269 > Institutional e-mail: [email protected] > Website: http://www.cle.unicamp.br/prof/carnielli > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
