Caros Colegas,
Eu concordo com o Marcelo e com a Valéria que é sempre de interesse
científico saber quais as aplicações que uma teoria pode ajudar. Afinal
tais investigações ligam a ciência com a engenharia.
Contudo, eu iria até um pouco mais longe: Um pesquisador em Lógica
Computacional deve ter a motivação de sua pesquisa fundada em possíveis
aplicações, sejam teorias que ajudem a explicar comportamentos
computacionais, ou que ajudem a construir sistemas corretos, etc, ou que
criem novos produtos.
Isso me lembra um pouco Jean-Pierre Jouannaud que nas apresentações da
conferência Logic in Computer Science (LICS) sempre perguntava aos
palestrantes com pesquisas mais teóricas:
"Tudo bem, mas para que serve essa teoria?"
Acho que pesquisadores em Lógica Computacional devem ter essa visão quando
fazem a sua pesquisa.
Abraços e Boas Festas!
Vivek
-------------------------------------------------
Vivek Nigam
Computer Science Department
Federal University of Paraíba
http://www.nigam.info/
--------------------------------------------------------
2013/12/22 Valeria de Paiva <valeria.depa...@gmail.com>
> 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
>
_______________________________________________
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
