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 _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
