Pergunta ao Newton. P.e. em sistemas especialistas. Sent from my iPhone
> On 11/10/2013, at 22:23, Adolfo Neto <[email protected]> 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 <[email protected]> > >>> 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 <[email protected]>: >>>>> 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 >>>> [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 > > > > -- > > > ================================================================== > 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
