Oi pessoal, Ressuscitei recentemente um provador de teoremas para a lógica paraconsistente C1, que foi implementado por Arthur Buchsbaum usando o muLISP.
Tentei, com meu pouco conhecimento de CLISP (na minha graduação só trabalhei com muLISP e depois nunca mais trabalhei com LISP) traduzir o código para o CLISP, mas não consegui. Alguém quer ajudar a ciência brasileira e traduzir o código no link em anexo para o CLISP (ou pelo menos me dar umas dicas do que há em muLISP (e que é usado no código do provador) que não há em CLISP? Outra coisa, estou pensando traduzir o código para CLISP porque está disponível para Windows e Linux. Existe algum outro sabor de LISP que não seja muito diferente do muLISP, que também esteja disponível para Win e Linux e que seja bem melhor do que o CLISP? Lembro que neste ano de 2009, Newton da Costa ( http://en.wikipedia.org/wiki/Newton_da_Costa ), um dos pesquisadores brasileiros de maior renome internacional por ter sido um dos criadores das lógicas paraconsistentes, está completando 80 anos. Haverá grande comemoração em Campinas em agosto. Gostaria de levar o provador para lá e mostrá-lo à comunidade internacional de lógica. Agradeço qualquer ajuda, []s Adolfo ========================================== Adolfo Neto Departamento Acadêmico de Informática Universidade Tecnológica Federal do Paraná Fone: (41) 3310-4644 / Fax: (41) 3310-4646 Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Blog: http://professoradolfo.blogspot.com ========================================== ------- Um provador automático por tablôs para os cálculos C1 e C1* de Newton da Costa, de Arthur Buchsbaum Da Dissertação de Mestrado “Um Método Automático de Prova para a Lógica Paraconsistente”, defendida em 1988. Código recuperado em 2009, a partir da digitalização em djvu, graças ao professor Adolfo Neto e seus alunos, pois o trabalho original tinha sido atacado por vírus. Fonte: http://wwwexe.inf.ufsc.br/~arthur/index.php?page=software&lang=pt --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Lisp-br" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/lisp-br?hl=en -~----------~----~----~----~------~----~------~--~---
