• Embed Doc
  • Copy Link
  • Readcast
  • Collections
  • CommentGo Back
Download
 
D
EDUCCIÓN
 A 
UTOMÁTICA EN
G
RÁFICOS
E
XISTENCIALES
 D
 ANIEL
B
 ARAJAS
H
IGUERA 
 
dl0n60@yahoo.com
Trabajo de grado para optar por el título deMatemáticoDirector: Pervys Rengifo Rengifo
Ingeniero Civil Universidad Nacional de ColombiaDocente Facultad de Matemáticas
F
UNDACIÓN
U
NIVERSITARIA 
K 
ONRAD
L
ORENZ
 
Bogotá, 2003
 
  Agradecimientos
 Al profesor Schweitzer Rocuts quien me animó a poner enmacha la idea y colaboró en la fase inicial del proyecto. Al profesor José Joaquín Valderrama por leer mi trabajo y hacerme algunas valiosas sugerencias para organizar mejorla estructura del mismo. A Arnold Oostra y Yuri Poveda quienes meproporcionaron algunos de sus documentos acerca de lalógica de Peirce e igualmente al Decano de la facultad Antonio Velazco quien además de creer en el proyecto,facilitó que dichos documentos llegaran a mis manos.Por ultimo obviamente le agradezco por sus sabiosconsejos al director del trabajo, el profesor Pervys Rengifo,responsable también de que en el documento incluyeradetalles que pueden hacer más interesante su lectura.
 
3
Resumen
Se ha desarrollado una herramienta didáctica computacional para el manejo de lasección alfa de los gráficos existenciales. En este documento se presenta inicialmente,una introducción a los enfoques semántico y sintáctico del cálculo proposicional,luego se explica un sistema formal de gráficos existenciales alfa; finalmente se muestracómo la representación del problema y algunos conceptos de inteligencia artificialfueron utilizados para que dicho programa de computador pueda generar deduccionesde forma automática.
 Abstract
 Automated deduction in existential graphs:
 Tool didactic software has been developed for the handling of the alpha section of existential graphs. In this document it is presented initially, an introduction to thesemantic and syntactic focuses for proposicional calculus, then, a formal system foralpha existential graphs is explained; finally, it is shown how the problem’srepresentation and some Artificial Intelligence concepts were used making thiscomputer program able to generate deductions in an automatic way.
of 00

Leave a Comment

You must be to leave a comment.
Submit
Characters: ...
You must be to leave a comment.
Submit
Characters: ...