Bases de datos deductivas

Solo disponible en BuenasTareas
  • Páginas : 131 (32722 palabras )
  • Descarga(s) : 0
  • Publicado : 2 de marzo de 2011
Leer documento completo
Vista previa del texto
Bases de datos deductivas y programación lógica
SUBRATA KUMBAR DAS

Queen mary and Westfield College, University of London
ADDISON-WESLEY PUBLISHING COMPANY

PARTE I
INTRODUCCIÓN

CAPITULO I HISTORIA Y VISIÓN GENERAL
Este capítulo presenta una breve historia del desarrollo de la programación lógica y bases de datos deductivas y examina sus raíces en la lógica matemática. Esto esseguido por una descripción informal de los principales temas tratados en el resto del texto.

1.1 Historia
La lógica matemática tiene una historia (la Iglesia et al., 1978; Jorgenses, 1931; Nidditch, 1962) de más de dos mil años. Aristóteles (384-322 aC) la teoría del razonamiento silogístico en la antigüedad fue la fundación y el crecimiento temprano de la lógica matemática (la Iglesia,1952; Hodges, 1988; Kleene, 1967). Silogismo (Keynes, 1928) es una teoría de la clase particular de implicación con dos condiciones y un resultado. El trabajo de Megara, Stonic y Philo en la lógica de la conexión a la declaración (sobre todo en tipo de conexiones si-entonces), aproximadamente en el mismo período que Aristóteles, también influyeron en el desarrollo de la lógica matemáticamoderna. Desde entonces hasta el siglo XVII poco de cualquier significado real sucedido en el campo de la lógica matemática.
La lógica moderna matemática entonces se inició con la obra de Descartes (1596-1650) y Leinbniz (1646-1716) en lo que se llamó un lenguaje universal, un cálculo general para el razonamiento.Doscientos años después, (1815-1864) de Boole trabajar en el análisis matemático de la lógica(Boole, 1948) fue un paso importante hacia el cambio de razonamiento silogístico de Aristóteles. Esto implicó el desarrollo de una lógica basada en el álgebra. Este cuerpo de trabajo forma la base de uno de los dos principales aspectos de la lógica matemática, a saber, las matemáticas de la lógica. álgebra de Boole fue modificada posteriormente y enriquecido por el trabajo de varios lógicos ymatemáticos. Esto incluye (1835-1882) la teoría deductiva de Jevon, (1839-1914) la teoría de Peirce cuantificador, (1841-1902) de Schroeder álgebra de la lógica, (1861-1947) álgebra universal Whitchead y (1874-1952) la teoría de Huntington de segundo orden.
Pasando al otro lado de la lógica matemática, la lógica de las matemáticas se basa principalmente en trabajos sobre los sistemas axiomáticos y laaritmética por Frege (1848-1925), Cantor (1845-1914) y Peano (1858-1932). Los tres volúmenes de Principia Mathematica (1910, 1912, 1913) por Whitehead y Russell (1925-1927) unidos estos dos aspectos de la lógica y formó un hito importante en la historia de la lógica matemática.
Después de la evolución de los Principia Mathematica, importante en la década de 1920 y 1930 fueron los trabajos de Hilbert,Post, Ackerman y Godel sobre la coherencia e integridad del sistema de Principia Mathematica axión, seguido por las contribuciones de Brouner y Godel como prueba de la incompletud de la aritmética. La teoría de la computabilidad (Boolos y Jeffrey: 1988; Cohen, 1989) surgió de una rama importante de la lógica matemática llamada teoría de funciones recursivas (Goodstein, 1971; Kleene, 1967), juntocon su relación con máquinas y automática de teoremas de fermentación ( Chang y Lee, 1973; Gallier, 1987; Loveland, 1978; Prawits, 1969). El desarrollo de las máquinas y el teorema de mecánica demostrando comenzó en la década de 1930 y fue en gran parte debido a los trabajos de Godel, Skolem, Church, Kleene, Turing, Herbrand y Lówenheim. Herbrand propuso un método mecánico muy importante(Herbrand, 1930, 1931) para demostrar teoremas y esto fue la base para facilitarnos automática de teoremas más modernos procedimientos de la prueba.
El teorema de resolución de métodos de pruebas ha sido desarrollado por Robinson (1965b). Este enfoque evita el obstáculo principal a la eficiencia combinatoria inherente a demostrar el teorema de earliner procedimientos (Davis y Putnam, 1960; Gilmore,...
tracking img