Costumo dizer que se o Newton da Costa (o mais citado lógico brasileiro) tivesse interesse no *concreto*, ele teria permanecido como Engenheiro Civil. E eu também.
JM PS: Infelizmente, a preocupação da CAPES e do CNPq com *impacto* é quase nula. Só importa mesmo a ^quantidade^ de papers publicados "nos lugares certos". 2013/12/18 Adolfo Neto <[email protected]>: > Não descarto trabalho nenhum. A utilidade deles pode ser descoberta no > futuro. > > Minha preocupação é que cedo ou tarde (e imagino que será bem cedo) nós e > nossos programas seremos julgados por CAPES e CNPq baseado na quantidade de > citações a nossos trabalhos (se é que já não somos). > Portanto tenho interesse em saber qual o real interesse em lógicas > paraconsistentes, para o caso de voltar a trabalhar com elas. > > > > > 2013/12/18 Décio Krause <[email protected]> > >> Adolfo >> Bom, eu não sei o que quer dizer “aplicação real”, mas entendo seu ponto. >> O que eles fazem, no meu entender, é encontrar um modo alternativo de >> “fuzzificar” algo. Isso é o que parece interessar. Mas veja que o fato das >> pessoas não usarem ou não entenderem não implica que a coisa não seja boa. >> Seria preciso que alguém se debruçasse sobre o que fizeram e analisasse >> realmente as vantagens. Mas sabemos que isso é difícil, pois cada um fica >> ocupado com seus botões…paciência. Mas eu não descartaria o trabalho deles >> em princípio. >> Abraço >> D >> >> ________________________ >> >> *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: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 >> >> >> > > > -- > > > ================================================================== > 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 -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
