oi Adolfo, Chegando atrasada nessa conversa, eu queria dizer que tambem concordo com o Marcelo que podemos e devemos falar de aplicacoes de logicas sim. E' claro que, a existencia ou nao de aplicacoes nao determina o tipo de pesquisa que fazemos, mas e' um ponto importante a ser considerado pelos cientistas, independentemente dos processos de avaliacao usados pelos orgaos de financiamento--ou assim me parece.
Nao sei se voce conhece o paper On the Unusual Effectiveness of Logic in Computer Science www.cs.cmu.edu/~rwh/papers/*unreasonable*/basl.ps *se nao conhece, deve gostar, e e' um tanto mais amplo do que os dois exemplos de sucesso que o Marcelo indicou.* e os outros dois, dos quais 'e uma brincadeira-continuacao, o famoso do Wigner e do Hamming tambem valem muito a pena serem lidos. eu tenho umas outras sugestoes em termos de "pratical uses of functional programming" e de "Computational Thinking" da Jeanette Wing que talvez te interessem tb, mas minha internet de ferias nas 'e das melhores. Te mando depois do Ano Novo. Boas Festas a todos, Valeria 2013/12/19 Marcelo Finger <mfin...@ime.usp.br> > 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 <walter.carnie...@gmail.com>: > > 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 > > <ado...@dainf.ct.utfpr.edu.br> 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 <deciokra...@gmail.com> > >> > >>> 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 <ado...@dainf.ct.utfpr.edu.br> > >>> 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 > >>> Logica-l@dimap.ufrn.br > >>> 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 > >> Logica-l@dimap.ufrn.br > >> 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: walter.carnie...@cle.unicamp.br > > Website: http://www.cle.unicamp.br/prof/carnielli > > _______________________________________________ > > Logica-l mailing list > > Logica-l@dimap.ufrn.br > > 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 > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
