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