INTRODUCCIÓN
El fin de este proyecto es conocer mas sobre la programacion lógica que hace parte del Paradigma Declarativo y la cual se basa en la lógica como su mismo nombre lo dice y sabemos que la lógica es un método para la formacion de los procesos del pensamiento humano, basado en los axiomas (cada afirmacion que yo hago) de los cuales deducimos consecuencias o conclusiones.
Entonces la programacion lógica aplica la lógica de predicados a partir de expresiones conocidas (premisas) y atravez de esto se genera un nuevo conocimiento (una conclusión).
Un ejemplo:
Todo hombre es futbolista
Juan es hombre
Juan es futbolista
Un programa en programacion lógica se constituye mediante axiomas, reglas de inferencia y una hipótesis por demostrar.
la programacion lógica se utiliza en inteligencia artificial y el lenguaje mas representativo es el PROLOG
El fin de este proyecto es conocer mas sobre la programacion lógica que hace parte del Paradigma Declarativo y la cual se basa en la lógica como su mismo nombre lo dice y sabemos que la lógica es un método para la formacion de los procesos del pensamiento humano, basado en los axiomas (cada afirmacion que yo hago) de los cuales deducimos consecuencias o conclusiones.
Entonces la programacion lógica aplica la lógica de predicados a partir de expresiones conocidas (premisas) y atravez de esto se genera un nuevo conocimiento (una conclusión).
Un ejemplo:
Todo hombre es futbolista
Juan es hombre
Juan es futbolista
Un programa en programacion lógica se constituye mediante axiomas, reglas de inferencia y una hipótesis por demostrar.
la programacion lógica se utiliza en inteligencia artificial y el lenguaje mas representativo es el PROLOG
Felicitaciones, les sugiero visitar el sitio: http://infodis.espacioblog.com/post/2008/03/10/criterios-evaluacion-y-gestion-editorial, en el cual encontraran como se gestiona la informacion en un blog o sitio. Les puede ayudar bastante. Lo que socializaran el dia miercoles debe ser una sintesis sobre el Estado de Arte del Modelo de Programacion. Por favor colocar las fuentes o bibliografia. Exitos.
ResponderEliminarGracias por crear este blog, en mi trabajo de la agencia creativa me sirve un montón
ResponderEliminar