On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic
There are three main problems for theorem proving with a standard cut-free system for the first order minimal logic. The first problem is the possibility of looping. Secondly, it might generate proofs which are permutations of each other. Finally, during the proof some choice should be made to decid...
Guardado en:
Autores principales: | , |
---|---|
Formato: | article |
Lenguaje: | EN |
Publicado: |
Graz University of Technology
2021
|
Materias: | |
Acceso en línea: | https://doaj.org/article/f2205cc247654498bf82c2913f53472a |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|