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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Ashot Baghdasaryan, Hovhannes Bolibekyan
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!