Décio, Estou procurando aplicações em robôs e/ou sistemas computacionais que estejam em operação (produção), com usuários reais. Das referências no "Paraconsistent logics and paraconsistency"<http://www.cfh.ufsc.br/%7Edkrause/pg/papers/CosKraBue2005.pdf>, que vasculhei em 2008, não encontrei nada em produção (ao menos em que isso fosse público).
Gostaria de links para estes sistemas e não a descrição dos sistemas (acadêmicos) em papers. Sei que a descrição em papers é interessante mas na maioria dos casos estes sistemas quase nunca são utilizados (sei disso por experiência própria pois acontece com meus sistemas). De todo modo, obrigado. []s Adolfo 2013/10/12 Décio Krause <[email protected]> > Adolfo > Há muitas aplicações das lógicas paraconsistentes anotadas em várias áreas > da engenharia, robótica, sistemas especialistas (medicina, etc), energia, > ….. > Procure as referências no texto e na Bibliografia em > [2007] da Costa, N. C. A., Krause, D. and Bueno, O., "Paraconsistent > logics and > paraconsistency"<http://www.cfh.ufsc.br/~dkrause/pg/papers/CosKraBue2005.pdf>, > in D. Jacquette, editor of the volume on Philosophy of Logic; D.M.Gabbay, > P.Thagard and J.Woods (eds.), *Philosophy of > Logic*<http://www.elsevier.com/wps/find/bookdescription.cws_home/708409/description#description>, > Elsevier, 2006, in the series Handbook of the Philosophy of Science, v. 5, > p. 655-781. > > Você baixa este livro via libgen.info. Se quiser um pre-print, eu mando. > > Há alguma coisa em física nos artigos em anexo. Com mais tempo, posso dar > mais informações, mas a lista deve funcionar melhor. > Veja em [2006] da Costa, N. C. A. and Krause, D. "The logic of > complementarity"<http://www.springer.com/west/home/philosophy/logic?SGWID=4-40392-22-173662116-0>, > in J. van Benthem, G. Heinzmann, M. Rebushi and H. Visser (eds.),* The > Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics > Today*, Springer 2006, 103-120. > > > A > > > > ________________________________ > > Se quiser a referência, eu passo. > Décio Krause > Departamento de Filosofia > Universidade Federal de Santa Catarina > www.cfh.ufsc.br/~dkrause > ________________________________ > > > > > > Em 11/10/2013, às 22:23, Adolfo Neto <[email protected]> > escreveu: > > 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 > > > > -- ================================================================== 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
