Paradigma Lógico René Mac Kinney Romero. ¿ Qué es ? Programas basados en relaciones. El cálculo...
-
Upload
emiliana-cajigas -
Category
Documents
-
view
216 -
download
0
Transcript of Paradigma Lógico René Mac Kinney Romero. ¿ Qué es ? Programas basados en relaciones. El cálculo...
![Page 1: Paradigma Lógico René Mac Kinney Romero. ¿ Qué es ? Programas basados en relaciones. El cálculo se realiza por medio de la deducción. El alfabeto es el.](https://reader036.fdocuments.mx/reader036/viewer/2022082821/5665b45c1a28abb57c90de78/html5/thumbnails/1.jpg)
Paradigma LógicoParadigma Lógico
René Mac Kinney RomeroRené Mac Kinney Romero
![Page 2: Paradigma Lógico René Mac Kinney Romero. ¿ Qué es ? Programas basados en relaciones. El cálculo se realiza por medio de la deducción. El alfabeto es el.](https://reader036.fdocuments.mx/reader036/viewer/2022082821/5665b45c1a28abb57c90de78/html5/thumbnails/2.jpg)
¿ Qué es ?¿ Qué es ?
Programas basados en relaciones. El cálculo se realiza por medio de la
deducción. El alfabeto es el de la lógica de
primer orden. El programa es un modelo del
usuario.
![Page 3: Paradigma Lógico René Mac Kinney Romero. ¿ Qué es ? Programas basados en relaciones. El cálculo se realiza por medio de la deducción. El alfabeto es el.](https://reader036.fdocuments.mx/reader036/viewer/2022082821/5665b45c1a28abb57c90de78/html5/thumbnails/3.jpg)
¿ Para qué ?¿ Para qué ?
Manejo de símbolos.Manejo de símbolos. Se encuentran varias soluciones.Se encuentran varias soluciones. Paradigma Paradigma declarativo.declarativo. Backtrack.Backtrack. Inteligencia Artificial.Inteligencia Artificial.
![Page 4: Paradigma Lógico René Mac Kinney Romero. ¿ Qué es ? Programas basados en relaciones. El cálculo se realiza por medio de la deducción. El alfabeto es el.](https://reader036.fdocuments.mx/reader036/viewer/2022082821/5665b45c1a28abb57c90de78/html5/thumbnails/4.jpg)
Lógica ProposicionesLógica Proposiciones
Tablas de verdadTablas de verdad
A BB A A B B A A B B AA AABB
VV VV VV VV FF VV
VV FF VV FF FF
FF VV VV FF VV VV
FF FF FF FF VV
![Page 5: Paradigma Lógico René Mac Kinney Romero. ¿ Qué es ? Programas basados en relaciones. El cálculo se realiza por medio de la deducción. El alfabeto es el.](https://reader036.fdocuments.mx/reader036/viewer/2022082821/5665b45c1a28abb57c90de78/html5/thumbnails/5.jpg)
Lógica Predicados Lógica Predicados
Predicado: Función booleana. Utilizamos a los predicados para expresar
propiedades de objetos. Unario: es un predicado unario sobre X. pato(X):
X es pato Binario: amistad (X,Y ) es un predicado binario
sobre X y Y , X es amigo de Y Infijo: M < N es un predicado infijo sobre M y N M menor que N Aridad: Número de parametros del predicado.
![Page 6: Paradigma Lógico René Mac Kinney Romero. ¿ Qué es ? Programas basados en relaciones. El cálculo se realiza por medio de la deducción. El alfabeto es el.](https://reader036.fdocuments.mx/reader036/viewer/2022082821/5665b45c1a28abb57c90de78/html5/thumbnails/6.jpg)
Lógica de Predicados (sigue)Lógica de Predicados (sigue)
CuantificadoresCuantificadores X pato(X): todos somos patos X Y • amistad (X, Y ): todo X tiene un amigo Y
ClausulasClausulas pajaro(X) alas(X)
Clausulas de HornClausulas de Horn p(X) q(X),r(X),s(X) p(X) t(X).
![Page 7: Paradigma Lógico René Mac Kinney Romero. ¿ Qué es ? Programas basados en relaciones. El cálculo se realiza por medio de la deducción. El alfabeto es el.](https://reader036.fdocuments.mx/reader036/viewer/2022082821/5665b45c1a28abb57c90de78/html5/thumbnails/7.jpg)
¿ Cómo funciona ?¿ Cómo funciona ?
S |- A. S se deriva de A. S |= A. A es consecuencia lógica de S. Un sistema formal es completo con
respecto a una semantica si S |= A implica S |- A.
Un sistema formal es solido con respecto a un modelo semántico si S |- A implica S |= A
![Page 8: Paradigma Lógico René Mac Kinney Romero. ¿ Qué es ? Programas basados en relaciones. El cálculo se realiza por medio de la deducción. El alfabeto es el.](https://reader036.fdocuments.mx/reader036/viewer/2022082821/5665b45c1a28abb57c90de78/html5/thumbnails/8.jpg)
Elementos.Elementos.
Variables, libres o cuantificadas.Variables, libres o cuantificadas. abuelo(X,Z) papa(X,Y), papa(Y,Z)
Atomos.Atomos. juan, 5, [1,2,3],juan, 5, [1,2,3],
Predicados.Predicados. abuelo(X,Z)
Clausulas.Clausulas. member(X,[X|Z]) member(X,[X|Z]) member(X,[Y|Z])
![Page 9: Paradigma Lógico René Mac Kinney Romero. ¿ Qué es ? Programas basados en relaciones. El cálculo se realiza por medio de la deducción. El alfabeto es el.](https://reader036.fdocuments.mx/reader036/viewer/2022082821/5665b45c1a28abb57c90de78/html5/thumbnails/9.jpg)
Unificación y Resolución.Unificación y Resolución.
Unificación.Unificación. Encuentra una sustitución para hacer Encuentra una sustitución para hacer
iguales dos terminos.iguales dos terminos. MGU el unificador mas general.MGU el unificador mas general.
Resolución.Resolución. Mecanismo para derivar Mecanismo para derivar
(sintacticamente) y decidir si algo es (sintacticamente) y decidir si algo es verdad o falso (semánticamente)verdad o falso (semánticamente)
![Page 10: Paradigma Lógico René Mac Kinney Romero. ¿ Qué es ? Programas basados en relaciones. El cálculo se realiza por medio de la deducción. El alfabeto es el.](https://reader036.fdocuments.mx/reader036/viewer/2022082821/5665b45c1a28abb57c90de78/html5/thumbnails/10.jpg)
UnificaciónUnificación
Dados dos términos Dados dos términos ss y y tt encontrar una encontrar una substitución substitución tal que tal que ss = t = t..
En breveEn breve Verifica que terminos sean compatibles Verifica que terminos sean compatibles
(Variable y cualquier cosa o átomos iguales).(Variable y cualquier cosa o átomos iguales). Si es una función que sean del mismo nombre Si es una función que sean del mismo nombre
y aridad.y aridad. Encuentra el unificador para cada parámetro.Encuentra el unificador para cada parámetro. Haz sustitución en el resto de la fórmula.Haz sustitución en el resto de la fórmula.
Chequeo de ocurre.Chequeo de ocurre.
![Page 11: Paradigma Lógico René Mac Kinney Romero. ¿ Qué es ? Programas basados en relaciones. El cálculo se realiza por medio de la deducción. El alfabeto es el.](https://reader036.fdocuments.mx/reader036/viewer/2022082821/5665b45c1a28abb57c90de78/html5/thumbnails/11.jpg)
ResoluciónResolución
Dada una meta (pregunta) decide si Dada una meta (pregunta) decide si es verdad o no.es verdad o no.
En breve:En breve: Unifica meta con cabeza de clausula.Unifica meta con cabeza de clausula. Sustituye cuerpo por meta.Sustituye cuerpo por meta. Termina cuando cuerpo es nulo o no se Termina cuando cuerpo es nulo o no se
puede unificar.puede unificar. Proceso que puede no tener fin.Proceso que puede no tener fin.
![Page 12: Paradigma Lógico René Mac Kinney Romero. ¿ Qué es ? Programas basados en relaciones. El cálculo se realiza por medio de la deducción. El alfabeto es el.](https://reader036.fdocuments.mx/reader036/viewer/2022082821/5665b45c1a28abb57c90de78/html5/thumbnails/12.jpg)
PrologProlog
ProProgramming in gramming in LogLogicic Utilizado en sistemas inteligentes.Utilizado en sistemas inteligentes. Azúcar sintactica.Azúcar sintactica. Negación por fallo.Negación por fallo. pseudo-pseudo-Unificación (rápida).Unificación (rápida). Lenguaje estable por mas de 20 Lenguaje estable por mas de 20
años.años.