Sim. Na minha opinião, que expresso sempre, as lógicas anotadas fornecem um modo de "fuzzificar" a coisa, e tudo que eu conheço que as utiliza pode ser feito com a matemática fuzzy. Mas é um outro modo…. Em todo caso, Adolfo, você deveria dar uma olhada nos japoneses (no trabalho deles, óbvio…). Abraço Décio
________________________________ Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause ________________________________ Em 12/10/2013, às 21:23, Adolfo Neto <ado...@dainf.ct.utfpr.edu.br> escreveu: > Bem, > > A questão é que em teses e artigos muitas vezes "inventam-se" aplicações. > Eu queria ver na prática mesmo. > Uma busca rápida pelos termos "paraconsistent" ou "paraconsistency" no > IEEEXplore retorna quase nada. E os artigos que aparecem são pouqíssimos > citados. > > Já a busca por "fuzzy" retorna inúmeros artigos, alguns com mais de 1000 > citações. > > Até no Google Trends (que significa muito pouco), fuzzy dá de lavada em > Paraconsistency/t > http://www.google.com/trends/explore?q=fuzzy%2C+paraconsistent%2C+paraconsistency#q=fuzzy%2C%20paraconsistent%2C%20paraconsistency&cmpt=q > <2013_10_12_fuzzypara_1.png> > > > Um artigo bem novo que ver é este: > Agile requirements engineering via paraconsistent reasoning > http://www.sciencedirect.com/science/article/pii/S030643791300077X > Mas, até onde sei, é só mais um artigo propondo algo novo que talvez ninguém > nunca use. > > E, não me entendam mal. Não estou dizendo que lógica paraconsistente é > inútil. Apenas parece ser inútil em aplicações na minha área (Computação). > Quero muito encontrar uma aplicação. Já tentei pensar em algo mas não > consegui. > > Adolfo > > > > 2013/10/12 Décio Krause <deciokra...@gmail.com> > Adolfo > Há muitas aplicações feitas por pesquisadores japoneses que usam lógica > paraconsistente anotada em robótica, sistemas especialistas, fabricação de > cerveja (ôba), em medicina, tráfego, etc. Procure por "annotated > paraconsistent logic". Anos atrás, o Mamede fez uma tese na França sobre > aplicações em tráfego aéreo, se não me engano. Pelo que sei, ele está na UnB > agora. > Se quiser algo em física, tenho alguma coisa com o conceito de > complementaridade e com a presença de contradições em vários níveis na > elaboração de uma teoria científica. > Há um artigo meu com Newton e Otávio Bueno no Handbook of Philosophical Logic > que você baixa no libgen.info. > Chama-se "Paraconsistent logic and paraconsistency", e nele há indicações > (até 2006) dos trabalhos da japonezada mencionados acima, dentre outras > coisas. > Uma moça de Itajubá fez uma tese de Dr em engenharia que usou as l.p. > anotadas em engenharia, lidando com energia. Eu precisaria resgatar tudo > isso. Se quiser detalhes, me escreva que eu procuro. > Abraço > Décio > > > ________________________________ > > Décio Krause > Departamento de Filosofia > Universidade Federal de Santa Catarina > www.cfh.ufsc.br/~dkrause > ________________________________ > > > > > > Em 12/10/2013, às 18:48, Famadoria <famado...@gmail.com> escreveu: > >> Já vi aplicações em sistemas especialistas feitas acho que pelo Nakamatsu. >> >> Sent from my iPhone >> >>> On 12/10/2013, at 10:32, Adolfo Neto <ado...@dainf.ct.utfpr.edu.br> wrote: >>> >>> Quando ele veio aqui (2008) eu perguntei. Tudo que ele falou que procurei e >>> encontrei não estava sendo aplicado na vida real. Não estou dizendo que o >>> princípio da paraconsistência não seja aplicado, mas alguma lógica >>> paraconsistente em si. >>> >>> Encontrei, por exemplo: >>> - robôs com paraconsistencia http://dl.acm.org/citation.cfm?id=1565916 >>> - ontologias com paraconsistência >>> http://www.igi-global.com/article/ontology-merging-reasoning-using-paraconsistent/72339 >>> - programação em lógica paraconsistente >>> http://www.sciencedirect.com/science/article/pii/0304397589901266 >>> http://www.sciencedirect.com/science/article/pii/S0888613X06001307 >>> - bancos de dados paraconsistentes >>> http://link.springer.com/chapter/10.1007%2F3-540-44399-1_42 >>> >>> Mas, como disse, nada disso sendo usado em uma aplicação real. >>> >>> >>> 2013/10/12 Famadoria <famado...@gmail.com> >>>> Pergunta ao Newton. P.e. em sistemas especialistas. >>>> >>>> Sent from my iPhone >>>> >>>>> On 11/10/2013, at 22:23, Adolfo Neto <ado...@dainf.ct.utfpr.edu.br> wrote: >>>>> >>>>> Olá. >>>>> >>>>> Eu já perguntei isso aqui na lista anos atrás. Estou perguntando de novo >>>>> porque pode ter pessoas novas e porque podem ter aparecido respostas >>>>> novas. >>>>> >>>>> A pergunta é: >>>>> >>>>> Alguém sabe de alguma aplicação concreta (isto é, num sistema >>>>> computacional/físico) de lógica paraconsistente que esteja sendo realmente >>>>> usado (isto é, que não seja apenas o fruto de um projeto de pesquisa)? >>>>> >>>>> Adolfo >>>>> >>>>> >>>>> 2013/10/11 Umberto Rivieccio <umberto.riviec...@unige.it> >>>>> >>>>>>> Hi Joao (and Brazilian logicians), >>>>>>> >>>>>>> I have recently been working on modal paraconsistent logics as well, >>>>>> here is a preprint that might be of interest for you: >>>>>>> >>>>>>> http://www.cs.bham.ac.uk/%7Erivieccu/pub/kri.pdf >>>>>>> >>>>>>> We are going to submit a longer journal version soon. All comments >>>>>> welcome. >>>>>>> >>>>>>> Tudo de bom, >>>>>>> >>>>>>> Umberto >>>>>>> >>>>>>> >>>>>>> >>>>>>>> Tenho pena de não poder estar presente... De todo modo, sobre o tema >>>>>>>> das lógicas paraconsistentes modais, envio abaixo o link para um paper >>>>>>>> no qual axiomatizamos (em cálculo de sequentes) a lógica modal minimal >>>>>>>> (e algumas de suas extensões) com conjunção, disjunção, e duas >>>>>>>> negações paranormais (uma notavelmente paraconsistente e outra >>>>>>>> paracompleta) acompanhadas de seus respectivos conectivos de >>>>>>>> restauração: >>>>>>>> >>>>>>>> Negative modalities, consistency and determinedness >>>>>>>> (to appear in ENTCS) >>>>>>>> http://goo.gl/b59x1C >>>>>>>> >>>>>>>> Os resultados fazem parte da dissertação de mestrado de Adriano Dodó, >>>>>>>> a ser defendida no fim deste mês. >>>>>>>> JM >>>>>>>> >>>>>>>> >>>>>>>> 2013/10/11 Walter Carnielli <walter.carnie...@gmail.com>: >>>>>>>>> Caros colegas e estudantes: >>>>>>>>> >>>>>>>>> Convido a todos para a palestra do colega Professor Jean-Yves Beziau >>>>>>>>> do >>>>>>>>> Departamento de Filosofia da UFRJ na terça-feira, 15 de outubro, aas >>>>>> 11:00, >>>>>>>>> na Sala de Seminários do CLE: >>>>>>>>> >>>>>>>>> TITULO: "Logpica Paraconsistente de A a Z". >>>>>>>>> >>>>>>>>> Att., >>>>>>>>> >>>>>>>>> Walter Carnielli >>>>>>>> >>>>>>>> -- >>>>>>>> http://sequiturquodlibet.googlepages.com/ >>>>>>>> _______________________________________________ >>>>>>>> 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 >>>>> >>>>> >>>>> >>>>> -- >>>>> >>>>> >>>>> ================================================================== >>>>> 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 > > > > > -- > > > ================================================================== > 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
