Algunos Modelos Sobre Programas Lógicos Mediante Operadores

Ponente(s): Erick Salgado Matias, Dr. Alejandro Ramírez Páramo & Dr. Iván Martínez Rúiz

La programación lógica inició a principios de los años 70 como consecuencia directa de trabajos anteriores sobre demostradores automáticos de teoremas e inteligencia artificial (IA), donde una de las ideas principales de la programación lógica (debido a Kowalski) es que un algoritmo consiste de dos componentes disjuntos; la lógica y el control. La lógica declara cúal es el problema que tiene que ser resuelto, mientras que el control se encarga de declarar cómo será esto resuelto. Así, en este trabajo nos encargaremos de estudiar la semántica declarativa de un programa lógico, la cual es dada, de manera usual, por la asignación de intended models (modelos adecuados) a estos programas, lo cual se hace seleccionando del conjunto de todos los modelos para un programa lógico, un subcobjunto que contiene aquellos modelos con ciertas propiedades que se consideran deseables para el objetivo del programa, así como su aplicación. Además, otro de los puntos importantes que habrá de considerarse es que toda la semántica que se discutirá puede ser descrita en términos de puntos-fijos de ciertos operadores asociados a algún programa lógico.