出版社：Centro Interamericano de Investigaciones Psicológicas y Ciencias Afines
摘要：Se presenta una descripción de la automatización intentada para evaluar el Test de Coherencia de Razonamiento (TCR, López Alonso, 1981, 1988, 1996, 2000) a través de programas lógicos. En primer lugar, se presentan las aplicaciones hechas utilizando el programa Prolog. Si bien no es secuencial, Prolog es un programa que provee hechos y reglas de derivación de conclusiones y procedimientos que son propios del razonamiento deductivo y que son utilizados para resolver problemas de programación. Sus características operativas surgen de cláusulas que son propias de la lógica de predicados. Esta lógica utiliza los mismos caminos inferenciales que el razonamiento expresado en términos lingüísticos. En consideración a estas características se llevaron a cabo muchos ensayos para automatizar la evaluación del TCR. Algunos de estos ensayos empíricos y sus resultados se exponen y discuten brevemente. También se analizan sucintamente los ajustes y desajustes de programa, encontrados hasta la fecha entre el lenguaje Prolog y los supuestos básicos del TCR.
其他摘要：Automation in evaluating the Test of Reasoning Coherence (TRC, López Alonso, 1981, 1988, 1996, 2000) is attempted by using logical programs. First in being applied is the Prolog program. Although non-sequential, Prolog provides facts, and rules deriving into conclusions and uses deductive reasoning to solve programming problems. Its working characteristics stem from clauses of predicate logic. This logic uses the same paths as reasoning when linguistically carried out. Considering these characteristics many essays were attempted to automate the TRC evaluation. Some empirical essays and results are briefly exposed and discussed. Program adjustments, and maladjustment found up-to-date between Prolog language, and TRC basic assumptions are succinctly analyzed.
关键词：METHODOLOGICAL ISSUES - Test of Reasoning Coherence - tests automated evaluation - cognitive test - test of isomorphism between personal reasoning and formal logic;Test de Coherencia de Razonamiento - evaluación automatizada de tests - tests cognitivos - test de isomorfismo entre el razonamiento personal y la lógica formal
