Bruno, >> Há demonstradores automáticos de teoremas (automated theorem provers) para lógicas paraconsistentes? Se sim, onde posso obtê-los?
O site do KEMS, provador de teoremas que desenvolvemos (eu orientado pelo Marcelo) no meu doutorado é: http://www.dainf.ct.utfpr.edu.br/~adolfo/KEMS Todas as publciações relacionadas e instruções de uso estão neste site. A versão mais recente do KEMS trabalha com C1, mbC e mCi, além de lógica clássica. Todas proposicionais. É um programa em Java. Portanto, necessita instalação no computador tanto do próprio software quanto do Java. Se quiser executar o provador sem instalá-lo, o link é http://bit.ly/bMMzXX(ainda assim precisa ter o Java instalado na máquina). Se quiser olhar o código-fonte, está no GitHub em http://github.com/adolfont/KEMS O Arthur Buchsbaum também fez um provador que está em http://wwwexe.inf.ufsc.br/~arthur/index.php?page=software&lang=en e http://github.com/adolfont/C1-Prover-in-LISP Disponíveis, só conheço estes dois. >> Eles já foram usados em aplicações concretas (e.g. reasoning with inconsistent data)? Até onde sei não. Durante meu doutorado enviei email para alguns autores de artigos relacionados. Ninguém tinha usado em aplicações concretas. []s Adolfo ============================================================ Adolfo Neto 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 ============================================================ 2010/8/12 Marcelo Finger <mfin...@ime.usp.br> > Oi Bruno. > > Sim, a tese do Adolfo Neto é exatamente sobre provadores de teoremas > para lógicas paraconsistentes e existe software livre para realizar > esta tarefa em diversas lógicas paraconsistentes proposicionais. > > Ninguém melhor que o próprio Adolfo para falar do assunto. > > []s > > Marcelo > > 2010/8/12 Bruno Woltzenlogel Paleo <bruno.wp.mailingl...@googlemail.com>: > > Olá, > > > > Aproveitando a discussão sobre lógicas paraconsistentes, gostaria de > fazer algumas perguntas simples (e provavelmente até óbvias pra quem é da > área) aos lógicos paraconsistentistas (o adjetivo é esse mesmo?) de plantão: > > > > Há demonstradores automáticos de teoremas (automated theorem provers) > para lógicas paraconsistentes? Se sim, onde posso obtê-los? Eles já foram > usados em aplicações concretas (e.g. reasoning with inconsistent data)? > > > > Obrigado por qualquer informação! > > > > Bruno Woltzenlogel Paleo > > http://www.logic.at/people/bruno/ > > http://www.loria.fr/~woltzenl/ > > _______________________________________________ > > Logica-l mailing list > > Logica-l@dimap.ufrn.br > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > > > -- > Marcelo Finger > Departamento de Ciencia da Computacao > Instituto de Matematica e Estatistica > Universidade de Sao Paulo > Rua do Matao, 1010 > 05508-090 Sao Paulo, SP Brazil > Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) > http://www.ime.usp.br/~mfinger > _______________________________________________ > 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
