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 ________________________ Em 18/12/2013, à(s) 20:09, Adolfo Neto <[email protected]> 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 > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
