Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Inteligencia Artificial
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.
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.
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:
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.
Deja de llover.
No madrugo.