Título
Programación lógica y su semántica en espacios métricos generalizados
Autor
ERICK SALGADO MATIAS
Colaborador
IVAN MARTINEZ RUIZ (Asesor de tesis)
ALEJANDRO RAMIREZ PARAMO (Asesor de tesis)
Nivel de Acceso
Acceso Abierto
Materias
Programación lógica--Investigación - (LCC) Lenguajes de programación (Computadoras)--Semántica - (LCC) Lógica de primer orden - (LCC) Lenguajes de programación lógica - (LCC) Prolog (Lenguaje de programación para computadora) - (LCC) Topología - (LCC) Teoría del punto fijo - (LCC) CIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA - (CTI)
Resumen o descripción
“La programación lógica inicio a principios de los años 70 como consecuencia directa de trabajos anteriores sobre demostradores automáticos de teoremas e inteligencia artificial (IA). La construcción de sistemas deductivos automáticos es, por supuesto, un pilar central dentro de los trabajos que tienen como objetivo el desarrollo de la inteligencia artificial. Basándose en el trabajo de Herbrand [66] en 1930, hubo mucha actividad en los demostradores automáticos a principios de los 60’s por Prawitz [49], Gilmore [27], Davis, Putnam [15] y otros. Este esfuerzo culmino en 1965 con la publicación del artículo emblemático hecho por Robinson [53], en el cual introduce el principio de resolución. El principio de resolución es una regla de inferencia, la cual es en particular bien comportada para la automatización sobre una computadora. El crédito por la introducci´on de la programación lógica se le atribuye principalmente a Kowalski [41] y Colmerauer [14], aunque Green [28] y Heyes [31] también deberían compartir dicho m´erito. En 1972, Kowalski y Colmerauer fueron los que establecieron la idea (fundamental) de que la l´ogica puede ser usada como un lenguaje de programación.”
Benemérita Universidad Autónoma de Puebla
Fecha de publicación
6 de diciembre de 2018
Tipo de publicación
Tesis de maestría
Recurso de información
Formato
application/pdf
Idioma
Español
Audiencia
Público en general
Repositorio Orígen
Repositorio Institucional de Acceso Abierto RIAA-BUAP
Descargas
0