Re: [Logica-l] Ontologia SUMO, ATP, ITP e Explicação de provas

Alexandre Rademaker escreve: > Prezados, Olá, Alexandre. > 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 >

[Logica-l] Ontologia SUMO, ATP, ITP e Explicação de provas

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