Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more ➡
Download
Standard view
Full view
of .
Add note
Save to My Library
Sync to mobile
Look up keyword or section
Like this
5Activity
×
0 of .
Results for:
No results containing your search query
P. 1
Deducción automática en Gráficos Existenciales

Deducción automática en Gráficos Existenciales

Ratings: (0)|Views: 7,448|Likes:
Se ha desarrollado una herramienta didáctica computacional para el manejo de la sección alfa d 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; y finalmente se muestra cómo se representó el problema y algunos conceptos de inteligencia artificial, para que dicha herramienta pueda generar deducciones de forma automática
Se ha desarrollado una herramienta didáctica computacional para el manejo de la sección alfa d 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; y finalmente se muestra cómo se representó el problema y algunos conceptos de inteligencia artificial, para que dicha herramienta pueda generar deducciones de forma automática

More info:

Published by: Programa Ingeniería de Sistemas on Jul 12, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See More
See less

11/13/2012

pdf

text

original

 
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 
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.

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->