Services on Demand
Journal
Article
Indicators
- Cited by SciELO
Related links
- Similars in SciELO
Share
Interdisciplinaria
On-line version ISSN 1668-7027
Abstract
LOPEZ ALONSO, Alfredo O. and DEL REY, María Herminia. Essaying the prolog language to obtain the computational evaluation of the coherence of reasoning. Interdisciplinaria [online]. 2004, n.esp, pp.183-192. ISSN 1668-7027.
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.
Keywords : Test of Reasoning Coherence; tests automated evaluation; cognitive test; test of isomorphism between personal reasoning and formal logic.