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