Desarrollo de Programas
Ingeniería de
Software
Ingeniería de Conocimiento
Inteligencia Artificial
Procesamiento de Lenguajes
Comprensión L. Natural
Sistemas Operativos
Bases de Datos
Lógica y Bases de Datos
Nombre Cargo Cuotas Fecha Nacim. Fecha Ingreso
Paloma Presidenta 1000 3/1/94 3/1/94
Claudia Secretaria 1000 12/11/99 12/11/99
Gonzalo Tesorero 1000 12/11/99 12/11/99
MODELO RELACIONAL = REPRESENTACION POR TABLAS
Club(Paloma, Presidenta, 1000, 3/1/94, 3/1/94)
Club(Claudia, Secretaria, 1000, 12/11/99, 12/11/99)
Club(Gonzalo,Tesorero, 1000, 12/11/99, 12/11/99)
Lenguaje de Definición de Datos
Lenguaje de Actualización
Lenguaje de Interrogación
Comprobación de Restricciones de Integridad
Nombre Cargo Cuotas Fecha Nacim. Fecha Ingreso
Paloma Presidenta 1000 3/1/94 3/1/94
Claudia Secretaria 1000 12/11/99 12/11/99
Gonzalo Tesorero 1000 12/11/99 12/11/99
Nombre Calle Número Ciudad
Paloma Dr. Palos 7 Sagunto Claudia Dr. Palos 7 Sagunto Gonzalo Vechia 7 Pisa
Tramvia
Club
Dirección
?- Club(x,y,z,u,v), Dirección(x,Dr. Palos,n,c)
(? Cálculo Relacional de Tuplas)
LENGUAJES DE CONSULTA RELACIONAL =
SIMBOLISMO DEL CP 1 Orden
BD = Interpretación de una teoría lógica
BD Deductiva = Teoría lógica
Club(Paloma, Presidenta, 3/1/94)
Club(Claudia, Secretaria, 12/11/99)
Club(Gonzalo,Tesorero, 12/11/99)
Cuota(x,1000) ? Club(x,y,z)
Ingreso_Club(x,z) ? Club(x,y,z)
Desarrollo de Programas
Ingeniería de
Software
Ingeniería de Conocimiento
Inteligencia Artificial
Procesamiento de Lenguajes
Comprensión L. Natural
Sistemas Operativos
Bases de Datos
Lógicas para Aplicaciones Software
La lógica proporciona una formulación simbólica e independiente del dominio de las leyes del pensamiento humano
Este doble carácter de la lógica hace posible mecanizar sus técnicas y métodos
Lógicas para Aplicaciones Software (cont.)
PROBLEMA:
La lógica clásica se desarrolló para estudiar objetos matemáticos bien definidos, consistentes e inmutables -carácter estático-
Sus nuevas aplicaciones requieren formas más dinámicas
(y menos perfectas) de lógica
Los métodos de la lógica, en general, resultan caros en términos computacionales -> es necesario reducir sus costes sin perder sus buenas propiedades lógicas
Lógicas para Aplicaciones Software (cont.)
SOLUCIÓN: Lógica Computacional
(Lógicas para Aplicaciones Software)
Lógicas con la expresividad y la potencia computacional adecuadas para:
Modelar el conocimiento impreciso, incompleto, contradictorio, revisable, dinámico, distribuido…
Razonamiento no monótono, aproximado, probabilístico…
Página siguiente |