Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza. Un algoritmo de Inteligencia Artificial para probar teoremas de lógica de cuantificación uniforme

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

Descripción completa

Detalles Bibliográficos
Autor principal:	Rojas Romero, José Ángel
Formato:	Online
Idioma:	spa
Publicado:	Universidad de Costa Rica 2024
Acceso en línea:	https://revistas.ucr.ac.cr/index.php/filosofia/article/view/58416

id	FILOSOFIA58416
record_format	ojs
spelling	FILOSOFIA584162024-01-26T19:10:20Z On dr. Claudio Gutierréz Carranza's thought. An algorithm of Artificial Inteligence to prove theorems of uniform cuantification logic Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza. Un algoritmo de Inteligencia Artificial para probar teoremas de lógica de cuantificación uniforme Rojas Romero, José Ángel 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 In addition to an overview of Claudio Gutiérrez's philosophical thought, this article presents an application of an algorithm for automatic theorem proof that was carried out as part of the Logic and Cybernetics course, taught by Claudio Gutiérrez in 1971 and whose purpose of application was to prove the theorem called Holiday Venture. Gutiérrez, in An Artificial Intelligence Algorithm, describes the aforementioned algorithm with three variants, but one of those variants, called Empirical Orientation, was not implemented in a program. This article shows the application of this variant. 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. Universidad de Costa Rica 2024-01-26 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion application/pdf text/html https://revistas.ucr.ac.cr/index.php/filosofia/article/view/58416 10.15517/revfil.2024.58416 Revista de Filosofía de la Universidad de Costa Rica; Vol. 63 No. 165 (2024): Revista de Filosofía ; 211-227 Revista de Filosofía de la Universidad de Costa Rica; Vol. 63 Núm. 165 (2024): Revista de Filosofía ; 211-227 2215-5589 0034-8252 10.15517/revfil.2024 spa https://revistas.ucr.ac.cr/index.php/filosofia/article/view/58416/58812 https://revistas.ucr.ac.cr/index.php/filosofia/article/view/58416/58862 Derechos de autor 2024 Revista de Filosofía de la Universidad de Costa Rica https://creativecommons.org/licenses/by-nc-nd/3.0/cr/
institution	Universidad de Costa Rica
collection	Revista de Filosofía de la Universidad de Costa Rica
language	spa
format	Online
author	Rojas Romero, José Ángel
spellingShingle	Rojas Romero, José Ángel Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza. Un algoritmo de Inteligencia Artificial para probar teoremas de lógica de cuantificación uniforme
author_facet	Rojas Romero, José Ángel
author_sort	Rojas Romero, José Ángel
description	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.
title	Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza. Un algoritmo de Inteligencia Artificial para probar teoremas de lógica de cuantificación uniforme
title_short	Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza. Un algoritmo de Inteligencia Artificial para probar teoremas de lógica de cuantificación uniforme
title_full	Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza. Un algoritmo de Inteligencia Artificial para probar teoremas de lógica de cuantificación uniforme
title_fullStr	Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza. Un algoritmo de Inteligencia Artificial para probar teoremas de lógica de cuantificación uniforme
title_full_unstemmed	Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza. Un algoritmo de Inteligencia Artificial para probar teoremas de lógica de cuantificación uniforme
title_sort	sobre el pensamiento del dr. claudio gutiérrez carranza. un algoritmo de inteligencia artificial para probar teoremas de lógica de cuantificación uniforme
title_alt	On dr. Claudio Gutierréz Carranza's thought. An algorithm of Artificial Inteligence to prove theorems of uniform cuantification logic
publisher	Universidad de Costa Rica
publishDate	2024
url	https://revistas.ucr.ac.cr/index.php/filosofia/article/view/58416
work_keys_str_mv	AT rojasromerojoseangel ondrclaudiogutierrezcarranzasthoughtanalgorithmofartificialinteligencetoprovetheoremsofuniformcuantificationlogic AT rojasromerojoseangel sobreelpensamientodeldrclaudiogutierrezcarranzaunalgoritmodeinteligenciaartificialparaprobarteoremasdelogicadecuantificacionuniforme
_version_	1810116517887475712

Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza. Un algoritmo de Inteligencia Artificial para probar teoremas de lógica de cuantificación uniforme

Ejemplares similares