Resumen
El presente trabajo se plantea con la finalidad de diseñar a implementar una estrategia de descarte cronológico de información, haciendo use de OTTER como programa razonador automático. El razonamiento automático forma parte de la inteligencia artificial y se podría sintetizar como el estudio de conceptos, métodos de inferencia lógica y representación simbólica del conocimiento para producir nueva información a partir de información ya existente, haciendo use del computador. Se define como el estudio de adquirir, representar y manipular el conocimiento en formalismos preposicionales similares a la lógica simbólica, para asistir en aquella parte de la solución de problemas que requieran razonamiento. Los problemas de razonamiento que aquí se plantean, son aquellos en los que por su naturaleza se hace necesario seguir la secuencia del tiempo, para descartar información que haya sido usada y proceder a otras etapas que avancen hacia la solución buscada. La estrategia consiste, en ordenar cronológicamente la conjugación de los verbos con los que se expresan los predicados en la lógica de primer orden. Para aplicar esta estrategia es necesario representar el problema en forma de cláusulas (lógica de predicados de primer orden); analizar semánticamente cada cláusula y asignarle el valor del tiempo que le corresponde según el esquema propuesto por Reichenbach y finalmente suministrar esta información a OTTER para resolver el problema. Para ejemplificar la aplicación de esta estrategia, se le suministro a OTTER un acertijo, el cual se corrió en dos versiones (OTTER normal y OTTER cronológico). Comparando los resultados en cuanto a tiempo de CPU, preprocesamiento, unidades de conflicto, etc., se demuestra la utilidad práctica del OTTER cronológico, donde la variable tiempo orienta la búsqueda para alcanzar la solución del problema en menor tiempo.

Resumen
Resumen El presente trabajo se plantea con la finalidad de diseñar a implementar una estrategia de descarte cronológico de información, haciendo use de OTTER como programa razonador automático. El razonamiento automático forma parte de la inteligencia artificial y se podría sintetizar como el estudio de conceptos, métodos de inferencia lógica y representación simbólica del conocimiento para producir nueva información a partir de información ya existente, haciendo use del computador. Se define como el estudio de adquirir, representar y manipular el conocimiento en formalismos preposicionales similares a la lógica simbólica, para asistir en aquella parte de la solución de problemas que requieran razonamiento. Los problemas de razonamiento que aquí se plantean, son aquellos en los que por su naturaleza se hace necesario seguir la secuencia del tiempo, para descartar información que haya sido usada y proceder a otras etapas que avancen hacia la solución buscada. La estrategia consiste, en ordenar cronológicamente la conjugación de los verbos con los que se expresan los predicado en la lógica de primer orden. Para aplicar esta estrategia es necesario representar el problema en forma de cláusulas (lógica de predicado de primer orden); analizar semánticamente cada cláusula y asignarle el valor del tiempo que le corresponde según el esquema propuesto por Reichenbach y finalmente suministrar esta información a OTTER para resolver el problema. Para ejemplificar la aplicación de esta estrategia, se le suministro a OTTER un acertijo, el cual se corrió en dos versiones (OTTER normal y OTTER cronológico). Comparando los resultados en cuanto a tiempo de CPU, preprocesamiento, unidades de conflicto, etc., se demuestra la utilidad práctica del OTTER cronológico, donde la variable tiempo orienta la búsqueda para alcanzar la solución del problema en menor tiempo.