Monografias.com > Computación > Software
Descargar Imprimir Comentar Ver trabajos relacionados

Lógicas para aplicaciones software




Enviado por Pablo Turmero



Partes: 1, 2

    Monografias.com

    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

    Monografias.com

    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

    Monografias.com

    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

    Monografias.com

    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)

    Monografias.com

    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

    Monografias.com

    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

    Monografias.com

    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

    Monografias.com

    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…

    Partes: 1, 2

    Página siguiente 

    Nota al lector: es posible que esta página no contenga todos los componentes del trabajo original (pies de página, avanzadas formulas matemáticas, esquemas o tablas complejas, etc.). Recuerde que para ver el trabajo en su versión original completa, puede descargarlo desde el menú superior.

    Todos los documentos disponibles en este sitio expresan los puntos de vista de sus respectivos autores y no de Monografias.com. El objetivo de Monografias.com es poner el conocimiento a disposición de toda su comunidad. Queda bajo la responsabilidad de cada lector el eventual uso que se le de a esta información. Asimismo, es obligatoria la cita del autor del contenido y de Monografias.com como fuentes de información.

    Categorias
    Newsletter