On dr. Claudio Gutierréz Carranza's thought: An algorithm of Artificial Inteligence to prove theorems of uniform cuantification logic
Αποθηκεύτηκε σε:
| Συγγραφέας: | |
|---|---|
| Μορφή: | artículo original |
| Κατάσταση: | Versión publicada |
| Ημερομηνία έκδοσης: | 2025 |
| Περιγραφή: | 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. |
| Χώρα: | Portal de Revistas UCR |
| Ίδρυμα: | Universidad de Costa Rica |
| Repositorio: | Portal de Revistas UCR |
| Γλώσσα: | Español |
| OAI Identifier: | oai:portal.revistas.ucr.ac.cr:article/1815 |
| Διαθέσιμο Online: | https://revistas.ucr.ac.cr/index.php/rfilosofia/article/view/1815 |
| Λέξη-Κλειδί : | orientation variant artificial intelligence Costa-Rican philosophy Logics cybernetics variante de orientación empírica inteligencia artificial filosofía costarricense lógica cibernética empirical |