Walter, O Marcelo já respondeu uma das questões. Queria me fixar em uma outra: >> "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"."
Algumas das características de Linguagens de Programação (o que pode haver de aplicação mais prática em Computação do que LPs?), até onde sei, surgiram de pesquisas. Por exemplo, a maioria das linguagens mais usadas ( http://www.tiobe.com/index.php/content/paperinfo/tpci/index.html ) são Orientadas a Objetos. A linguagem na posição 25 (Lua) foi criada no Brasil por professores da PUC-RJ. A 31 foi criada na Suiça por um professor da EPFL. Hoje há um certo reavivamento de linguagens funcionais (Clojure, Scala, Haskell) que foram muito estudadas na Academia por anos. É verdade que na Computação muita coisa interessante vem do mercado e depois nós estudamos. Exemplos: TDD, Programação Pareada, Métodos Ágeis, etc. Mas isto é melhor do que ficar inventando coisas que claramente não servem pra nada (o que já vi acontecer). Não que não se deva criar coisas novas, mas tem um limite. Um exemplo de aplicação real de algo ligado a Lógica para Computação é este aqui: SAT4J 2.0 to drive Eclipse next generation update manager http://forge.ow2.org/forum/forum.php?forum_id=1369 É este tipo de coisa que quero ver relacionado à paraconsistência. Talvez exista, mas eu não conheço. Já que você mencionou Fuzzy, alguns números que talvez não signifiquem nada. Neste ano foram publicados 3902 artigos com a palavra fuzzy no título. Destes, 2715 nas áreas de Computer Science e Engineering. Somando Paraconsistent (3), Paraconsistency (1), Inconsistent (138, sendo 16 em CS&E) e Inconsistency (125, sendo 23 em CS&E), não chega nem a 300. Em tempo, o artigo Fuzzy Sets de Zadeh (1965) foi citado 16840 vezes na base do ISI. Só em 2013 foram 1016 citações até agora. E já tem 20 pra 2014. No Google Scholar, 44312. O artigo On the Theory of Inconsistent Formal Systems (1975) do prof. Newton (ver Perfil de Newton da Costa no Scholar<http://scholar.google.com.br/citations?hl=en&user=xSlT2vsAAAAJ&view_op=list_works&citft=2&email_for_op=adolfo.usp%40gmail.com&gmla=AJsN-F7g5RRGRbWMZC5UITWubh5g0Su-Ehj7DWrF6VYyVq3RcjbS9NhTRVvmXt-AOn_B23JtBW_a6-yQXb39eicGzLyv6QtQ4u6pPO9_QMJkf2qwsj5udr5Y1JGmPtQl2nUaCkf6OU1kE_qAvITNj5VSYlmuWi7u6A4q9Cdyc8Z4L0k_RJi34jWqmn4Rv-UCqmp3oahceNh6z79x3bhLpdOX8h9JXD012K8kRHCQo6pElFJHV4EQdn1vFzPmB3BS4Vl9Od-oKwZl>) não está na base do ISI, infelizmente. No Google Scholar tem 621 citações. Maravilhoso. Vou procurar lá nas citações algo que talvez não conheça. Adolfo 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 > -- ================================================================== 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
