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 |