Está en la página 1de 9

EL PROCESO DE RAZONAMIENTO SEGÚN LA LOGICA

(AXIOMAS, TEOREMAS, DEMOSTRACION).

Inteligencia Artificial

Rodríguez Pérez José Israel

Ramos Yañes Fatima

Contreras Vitales Gema

García Escobar Héctor Manuel

Uriel Enrique Lule García

Instituto Tecnológico de Ciudad Valles.


Que es la inteligencia artificial

En el ámbito de las ciencias de la computación se denomina como inteligencia


artificial a la facultad de razonamiento que ostenta un agente que no está vivo, tal
es el caso de un robot, por citar uno de los ejemplos más populares, y que le fue
conferida gracias al diseño y desarrollo de diversos procesos gestados por los seres
humanos. Cabe destacarse que además del poder de razonar, estos dispositivos
son capaces de desarrollar muchas conductas y actividades especialmente
humanas como puede ser resolver un problema dado, practicar un deporte, entre
otros.
Podemos entender una inteligencia artificial como aquellos algoritmos que se
materializan en programas informáticos que, a su vez, corren sobre un hardware
determinado, y que persiguen imitar el modo de funcionamiento del cerebro
humano.
Básicamente, una inteligencia artificial, que actúa imitando lo que hace una mente
humana, debe ser capaz de “percatarse” de lo que pasa a su alrededor, procesar
esa información, y sacar conclusiones de ella, inferir nuevas conclusiones que no
se le han preprogramado. En tendiendo esto se debe de seguir con la lógica tal y
como un humano lo hace para tomar decisiones.

El Proceso de Razonamiento Según la Lógica


La práctica de los razonamientos deductivos en el proceso de desarrollo del
pensamiento lógico matemático es muy importante. Constituye una herramienta
fundamental para el trabajo en la matemática y otras ciencias.

Que es la lógica
La lógica es aquella ciencia que va en búsqueda de las formas de los razonamientos
correctos, es decir, de las leyes del deducir correctamente. En este sentido es
legítimo afirmar que la lógica es la teoría de la deducción, en cuanto estudia las
reglas de las inferencias correctas.
La lógica hace explícitas estas leyes, las ordena en sistemas axiomáticos y prueba
sus capacidades y límites.
Teoría deductiva
Designamos bajo este nombre toda teoría que se fundamenta en dos principios:
 Definiciones y demostraciones.
 En su desarrollo debe cumplir básicamente las siguientes condiciones:
Enunciar explícitamente los términos primitivos con ayuda de los cuales se propone
definir los demás términos de la teoría. Enunciar explícitamente las relaciones
primitivas. Con la misma esencia anterior, son relaciones que el hombre pone en la
base de su conocimiento.
Enunciar explícitamente las proposiciones primitivas, con ayuda de las cuales se
propone demostrar otras proposiciones de la teoría. Estas proposiciones primeras
se denominan Axiomas y relacionan entre sí los términos primitivos y las relaciones
primitivas.
Que las relaciones enunciadas entre los términos sean únicamente relaciones
lógicas, permaneciendo independientes del sentido concreto o interpretación que
pueda darse a los términos.

El proceso de razonamiento en un sistema basado en reglas es una progresión


desde un conjunto inicial de afirmaciones y reglas hacia una solución, respuesta o
conclusión. Como se llega a obtener el resultado, sin embargo, puede variar
significativamente:
 Se puede partir considerando todos los datos conocidos y luego ir
progresivamente avanzando hacia la solución. Este proceso se lo denomina
guiado por los datos o de encadenamiento progresivo (forward chainning).

 Se puede seleccionar una posible solución y tratar de probar su validez


buscando evidencia que la apoye. Este proceso se denomina guiado por el
objetivo o de encadenamiento regresivo (backward chainning).

Razonamiento progresivo
En el caso del razonamiento progresivo, se empieza a partir de un conjunto de datos
colectados a través de observación y se evoluciona hacia una conclusión. Se
chequea cada una de las reglas para ver si los datos observados satisfacen las
premisas de alguna de las reglas. Si una regla es satisfecha, es ejecutada derivando
nuevos hechos que pueden ser utilizados por otras reglas para derivar hechos
adicionales. Este proceso de chequear reglas para ver si pueden ser satisfechas se
denomina interpretación de reglas.
La interpretación de reglas es realizada por una máquina de inferencia en un
sistema basado en conocimiento. La interpretación de reglas, o inferencia, en el
razonamiento progresivo involucra la repetición de los pasos que se indican en la
siguiente figura.

Redes Asociativas
Las redes semánticas, fueron originalmente desarrolladas para representar el
significado o semántica de oraciones en inglés, en términos de objetos y relaciones.
Actualmente, el término redes asociativas es más ampliamente utilizado para
describirlas ya que no sólo se las usa para representar relaciones semánticas, sino
también para representar asociaciones físicas o causales entre varios conceptos u
objetos.
Las redes asociativas se caracterizan por representar el conocimiento en forma
gráfica. Agrupan una porción de conocimiento en dos partes: objetos y relaciones
entre objetos. Los objetos se denominan también nodos (elementos del
conocimiento) y las relaciones entre nodos se denominan enlaces o arcos. Cada
nodo y cada enlace en una red semántica, deben estar asociados con objetos
descriptivos.
Son muy apropiadas para representar conocimiento de naturaleza jerárquica. Su
concepción se basa en la asociación de conocimientos que realiza la memoria
humana. Las principales aplicaciones son: comprensión de lenguaje natural, bases
de datos deductivos, visión por computadora, sistemas de aprendizaje.

Ventajas de las Redes Asociativas


Las redes asociativas tienen dos ventajas sobre los sistemas basados en reglas y
sobre los basados en lógica:
Permiten la declaración de importantes asociaciones, en forma explícita y sucinta.
Debido a que los nodos relacionados están directamente conectados, y no se
expresan las relaciones en una gran base de datos, el tiempo que toma el proceso
de búsqueda por hechos particulares puede ser significativamente reducido.

Desventajas de las Redes Asociativas.


Entre las desventajas de las redes asociativas, se pueden mencionar:
 No existe una interpretación normalizada para el conocimiento expresado por
la red. La interpretación de la red depende exclusivamente de los programas
que manipulan la misma.
 La dificultad de interpretación a menudo puede derivar en inferencias
inválidas del conocimiento contenido en la red.
 La exploración de una red asociativa puede derivar en una explosión
combinatoria del número de relaciones que deben ser examinadas para
comprobar una relación.

Axiomas
Es una proposición primitiva que se admite como cierta. En la construcción de una
teoría axiomática se ha de partir de un conjunto de axiomas, escogidos de tal forma
que dicho conjunto ha de ser: compatible, suficiente, independiente.
Analicemos estas características:
 Compatibilidad: Dos axiomas no pueden formular en ellos, ni producir en sus
resultados derivados, relaciones contradictorias.
 Suficiencia: Toda proposición verdadera ha de ser deducible dentro del
sistema.
 Independencia: Ningún axioma ha de poderse deducir de otros.
Estableciendo el sistema de axiomas (que por cierto, no tienen por qué ser
"evidentes"), se comienza a construir la teoría enunciando y demostrando los
teoremas.
Es una “verdad evidente” que no requiere demostración. Algunos ejemplos
 1+1=2
 A es hermano de B, C es hijo de A, Entonces podemos decir que B es tío de
C, o bien C es sobrino de B

Teorema
Proposición demostrable lógicamente partiendo de axiomas o de otros teoremas ya
demostrados, mediante reglas de inferencia aceptadas.
Axiomas sobre alumno:
— Estudia
— Realiza tareas
— Participa
— Programa
Es una afirmación que puede ser demostrada como verdadera dentro de un marco
lógico. Demostrar teoremas es el asunto central en la matemática.
Ejemplo: Si dos rectas paralelas se cortan con una recta secante se cumple la
relación de ángulos siguiente:

1 – Los ángulos alternos/internos son iguales.


2 – Los ángulos alternos/externos son iguales.
3 – Los ángulos correspondientes son iguales.
4 – Los ángulos colaterales internos son suplementarios.
5 – Los ángulos colaterales externos son suplementarios.
COROLARIO: Es una afirmación lógica que sea consecuencia inmediata de un
teorema, pudiendo ser demostrada usando las propiedades del teorema
previamente demostrada.

Demostración
El proceso demostrativo consiste básicamente en: A partir de unas proposiciones
dadas que llamaremos premisas, obtener otra proposición que llamaremos
conclusión mediante la aplicación de unas reglas lógicas. Para demostrar que una
proposición específica es un teorema en una teoría deductiva dada procedemos así:
1.-Se enuncian explícitamente los axiomas de la teoría.
2.-Se fijan las reglas que validan el proceso demostrativo, estas reglas se
denominan reglas de validez y se reducen a las siguientes:
Regla de validez 1: Todo axioma puede figurar en cualquier paso de una
demostración.
Regla de validez 2: Si P=>Q figura en una demostración y P también figura en la
misma demostración, entonces se puede concluir Q en la demostración. Esta regla
universal se conoce con el nombre de Modus Ponens.
Regla de validez 3: Si dos proposiciones son equivalentes se puede sustituir la una
por la otra en cualquier parte de una demostración. Esta regla se conoce con el
nombre de sustitución por equivalencia.
3. Efectuar una demostración de una proposición específica Q, consiste en obtener
la proposición Q como la última en el proceso demostrativo por aplicación reiterada
de las reglas de validez 1, 2 y 3.
Dicho sencillamente
Sucesión coherente de pasos que, tomando como verdadero un conjunto de
premisas llamado hipótesis, permite asegurar la veracidad de una tesis
Estos pasos deben estar fundamentados en la aplicación de reglas de deducción
(fundadas ya sea en axiomas o en teoremas anteriormente demostrados o en reglas
básicas de deducción del sistema en cuestión). El hecho de no conocer ninguna
demostración de un teorema no implica su no veracidad; sólo la demostración de la
negación de este resultado implica que es falso.
Dinámicas

7.3.1. Analice cada una de las argumentaciones que se presentan a continuación e indique si
son válidas o no válidas.

7.3.1.1. Si deja de llover, entonces, jugaremos fútbol.

Deja de llover.

Conclusión: Jugaremos fútbol.

7.3.1.2. Si llueve mucho, entonces, el patio se inunda.

Conclusión: Si el patio se inunda, entonces, llueve mucho.

7.3.1.3. Si madrugo, entonces, salgo a trotar.

No madrugo.

Conclusión: No salgo a trotar.

7.3.1.4. Si vendo todas las boletas de la rifa, entonces, completaré el dinero de la


excursión.

No completé el dinero de la excursión.

Conclusión: No vendí todas las boletas de la rifa.

7.3.1.5. Voy al colegio o me quedo en casa.

Si voy al colegio, entonces, asistiré al laboratorio de química.

Si me quedo en casa, entonces, estudiaré matemáticas.

Conclusión: Estudiaré matemáticas.

7.3.1.6. Si ganamos el partido, entonces, pasaremos a la final.

Si pasamos a la final, entonces, jugaremos en la capital.

Conclusión: Si ganamos el partido, entonces, jugaremos en la capital.

7.3.1.7. Si se inician los diálogos, hay una posibilidad de paz.


Si no se inician los diálogos, el futuro del país es incierto.

No hay una posibilidad de paz.

Conclusión: El futuro del país es incierto.