Prezados, Estamos fazendo vários experimentos com a SUMO [1], sua tradução para TPTP/FOL [2] e verificação automática em provadores como E, Vampire etc. Estamos reportando várias inconsistencias [3] e dificuldades de obter provas que deveriam ser simples como o exemplo de Banana Slug [4].
Em especial, estou procurando agora boas ferramentas interativas que aceitei como entrada TPTP, debugar provas longas de refutação não é tarefa fácil... Dicas? Alguém conhece algo pronto?! [1] http://ontologyportal.org [2] https://github.com/own-pt/cl-krr [3] https://github.com/ontologyportal/sumo/issues [4] http://www.adampease.org/professional/CASC.pdf Ab., Alexandre Rademaker http://arademaker.github.com/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGkfTgb%3D%2BADHML05sJu4pEFiHtFJg030DbiWLVWLGty3dbYrww%40mail.gmail.com.
