Inteligencia Artificial Ii

EJEMPLOS EN PROLOG
INTRODUCTION
Prolog es un lenguaje de programación compuesto por hechos, reglas y lista estas pueden ser aplicado artificial intelligence en diversos tipos de ejercicios para ello es primordial que se realice la práctica correspondiente.
Se tiene como objetivo primordial en este apartado poder resolver ejercicios de diversos tipos empleando: hechos, reglas y listas.
A medida que se vaya viendo los ejemplos se podrá obtener una visión más clara de cómo funciona en si el lenguaje Prolog.
MARCO TÉORICO
1) EJEMPLOS CON -> HECHOS EN PROLOG
Estos ejemplos consisten en hechos que son las sentencias más sencillas que verifican la relación (predicado) sobre los objetos (términos).
El siguiente ejemplo que veremos esta en realizado en Prolog, mismo que puede responder consultas sobre qué tipos de movimiento puede hacer un determinado animal.
Todos los hechos de este programa son hechos sin variables como axiomas, for example: suma (zero, X, X). En ellos, las variables se consideran cuantificadas universalmenteEs decir al igual que el hecho pueden(fido, correr) establece la verdad de la sentencia fido puede correr”, el hecho suma(zero,X,X) establece la verdad para cualquier valor que pueda tomar la variable, es decir que para todo termino X, la suma de 0 con X es X ”.Equivale a un conjunto de hechos de base como serían : suma(zero,1,1), suma(0,3,three), and so on.
Una vez que se tiene el programa describiendo una situación, se pueden hacer las respectivas preguntas para así obtener la debida información acerca de él. For example:
Haciendo la respectiva consulta en Prolog , se puede observar en la primera imagen que en el primer hecho fido puede correr” pero no puede volar porque no hay ningún hecho que lo afirme.
Ya que lo que puede hacer fido” es caminar y correr.
2) EJEMPLOS CON -> REGLAS EN PROLOG
Las reglas son sentencias condicionales. Por ejemplo Si el León como carne entonces es carnívoro”. La siguiente imagen no muestra con son interpretados el símbolo:- la coma (,) and (;).
Example:
La regla es: le_gusta (juan, X) :- le_gusta(tomas, X).
Que corresponde a regla lógica: a tomas le gusta X => a juan le gusta X equivalentemente: a juan le gusta X si a tomas le gusta X.
Las variables anónimas también pueden ser usadas en hechos, for example: le_gusta (_,tenis). Se lee “a toda persona le gusta el tenis”.
EXAMPLE: ÁRBOL GENEALÓGICO
three) EJEMPLOS CON -> LISTAS EN PROLOG
Lists are a simple data structure, used in numerical programming.
Practice in handling lists with Prolog is basic for learning the language. That is the goal of this section.
To be able to solve a list problem with Prolog, For this, we will first look at some examples of its operation, To determine the arguments that are necessary in defining the relation and Prolog's response in different cases.
Examples of Operations with Lists
1. This is a predicate that obtains the sum of the elements of a list:
to) The sum S is zero if the list is empty
b) The sum of a list with E1 at the head and L in the tail is S if S1 is the sum of the
elements of the tail and S is S1 + E1 /
Consulta en Prolog.
2. Predicado que obtiene el promedio de valores almacenados en una lista.
Consulta en Prolog
three. Insertar un elemento a una lista, concatenar y eliminar
CONCLUSIONES
Prolog es un lenguaje de programación que nos habré un camino muy amplio en el que se puede programar fácilmente ya que este revisa toda la base de datos para poder encontrar las soluciones a las preguntas planteadas. Para poder entender de cierto modo el manejo básico de las listas se debe estudiar primeramente los hechos y las reglas. Los hechos son aplicados cuando algo es verdadero mientras que las reglas conllevan a la unión de los hechos.
Se debe tener en cuenta que la teoría es importante pero la práctica es quien nos facilita entender mucho más y si se practica lo suficiente los resultados se verán reflejados en las consultas que se le realicen a Prolog porque este nos devolverá el resultado dependiendo de lo que nosotros hagamos.
BIBLIOGRAPHY
Rodríguez,2010. Programación Lógica Prolog. (Online).Consultado, 25 de ene. 2016. PDF Format. Available in:
Posted by