Inteligencia artificial en pro-log

Solo disponible en BuenasTareas
  • Páginas : 13 (3055 palabras )
  • Descarga(s) : 0
  • Publicado : 22 de septiembre de 2010
Leer documento completo
Vista previa del texto
Inteligencia Artificial y Sistemas Expertos.

Tema 2: Introducción al lenguaje de programación PROLOG. En este tema se presentan las principales características del lenguaje, como fundamento para analizar su potencialidad de acuerdo con diversos enfoques educativos, así como el manejo de los distintos comandos que presenta el lenguaje de programación Prolog. La programación lógica es unparadigma de los lenguajes de programación en el cual los programas se consideran como una serie de aserciones lógicas. De esta forma, el conocimiento se representa mediante reglas, tratándose de sistemas declarativos. Contenido: 2.1. Introducción a Prolog. 2.2. Historia. 2.3. Descripción. 2.4. Características del Lenguaje Prolog 2.5. Predicados en Prolog. 2.5.1. Variables. 2.5.2. Reglas. 2.5.3. Términosen Prolog . 2.6. Estructura de un programa Prolog. 2.7. Preguntas. 2.7.1. El mecanismo de unificación. 2.8. Tipos de datos en Prolog. 2.8.1. Operadores 2.9. Recursividad. 2.9.1. Definición de recursividad 2.10. Entrada y salida de datos. 2.10.1. Lectura y escritura de términos. 2.11. Ejercicios resueltos.

1

Inteligencia Artificial y Sistemas Expertos.

2.1.

Introducción a PrologProlog es un lenguaje de programación diseñado para representar y utilizar el conocimiento que se tiene sobre un determinado dominio. Los programas en Prolog responden preguntas sobre el tema del cual tienen conocimiento. Prolog es un lenguaje de programación especialmente indicado para modelar problemas que impliquen objetos y las relaciones entre ellos. Está basado en los siguientes mecanismosbásicos: unificación, estructuras de datos basadas en árboles y backtracking automático. La sintaxis del lenguaje incluye la declaración de hechos, preguntas y reglas. La popularidad de este lenguaje se debe a su capacidad de deducción y además es un lenguaje fácil de usar por su semántica y sintaxis. Sólo busca relaciones entre los objetos creados, las variables y las listas, que son su estructurabásica. 2.2. Historia

Los inicios de la programación lógica se dan gracias a los primeros trabajos de inteligencia artificial. Los cuales originaron el primer lenguaje de programación que contempla los mecanismos de inferencia necesarios para la demostración automática de teoremas. El lenguaje de programación Prolog se originó del trabajo hecho por Robert A. Kowalski en la Universidad de Edinburghy Alain Colmeraur en la Universidad de Aix-Marseille (Francia) en los años 70. La investigación de Kowolski en el área de deducción automatizada, llevó al desarrollo con Colmerauer al uso formal de lógica como un lenguaje de programación. Kowolski proporcionó la base teórica y Colmerauer inició la programación de Prolog. Colmeraur y Phillipe Roussel desarrollaron el primer intérprete, y DavidWarren de la Universidad de Edinburgh desarrolló el primer compilador Prolog. La mayoría de las implementaciones comerciales de Prolog usan la misma sintaxis desarrollada en Edinburgh. Su nombre proviene de las palabras en ingles “Programming in Logic”, que significa programación lógica. 2.3. Descripción

Prolog es un lenguaje de programación simple, pero poderoso. Se basa en nociones matemáticasde relaciones de inferencia. Es un lenguaje declarativo e interpretado, esto quiere decir que el lenguaje se usa para representar conocimientos sobre un determinado dominio y las relaciones entre objetos de ese dominio.

2

Inteligencia Artificial y Sistemas Expertos.

Un programa en Prolog consiste de una base de hechos de relaciones lógicas y detalles que se cumplen para la aplicación.Dicha base de datos no tiene una estructura impuesta, ni un procedimiento o clase principal. Escribir un programa en Prolog consiste en declarar el conocimiento disponible acerca de los objetivos, además de sus relaciones y sus reglas. En lugar de correr en un programa para obtener una solución, se hace una pregunta, el programa revisa la base de datos para encontrar la solución a la pregunta. Si...
tracking img