Revista de Filosofía de la Universidad de Costa Rica ISSN Impreso: 0034-8252 ISSN electrónico: 2215-5589

OAI: https://revistas.ucr.ac.cr/index.php/filosofia/oai
Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza. Un algoritmo de Inteligencia Artificial para probar teoremas de lógica de cuantificación uniforme
PDF
HTML

Palabras clave

variante de orientación empírica
inteligencia artificial
filosofía costarricense
lógica
cibernética
empirical orientation variant
artificial intelligence
Costa-Rican philosophy
Logics
cybernetics

Cómo citar

Rojas Romero, J. Ángel. (2024). Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza. Un algoritmo de Inteligencia Artificial para probar teoremas de lógica de cuantificación uniforme. Revista De Filosofía De La Universidad De Costa Rica, 63(165), 211–227. https://doi.org/10.15517/revfil.2024.58416

Resumen

Además de un recorrido por el pensamiento filosófico de Claudio Gutiérrez, el presente artículo se presenta una aplicación de un algoritmo para prueba automática de teoremas que fue realizada como parte del curso Lógica y Cibernética, impartido por Claudio Gutiérrez en 1971 y cuyo propósito de aplicación era probar el teorema denominado Holiday Venture. Gutiérrez, en Un algoritmo de inteligencia artificial describe el mencionado algoritmo con tres variantes, pero una de esas variantes, llamada de Orientación Empírica, no fue implementada en un programa.  En el presente artículo se muestra la aplicación de dicha variante.

https://doi.org/10.15517/revfil.2024.58416
PDF
HTML

Comentarios

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Reconocimiento-NoComercial-SinObraDerivada 3.0.

Derechos de autor 2024 Revista de Filosofía de la Universidad de Costa Rica

Descargas

Los datos de descargas todavía no están disponibles.