Inteligencia Artificial Ii

EJEMPLOS EN PROLOG
INTRODUZIONE
Prolog es un lenguaje de programación compuesto por hechos, reglas y listas estas pueden ser aplicado intelligenza artificiale en divers tipos de ejercicios para ello es primordial que se realice la práctica correspondiente.
Se tiene como obiettivo primordial en este apartado poder resolver ejercicios de diversi tipi empleando: hechos, reglas y listas.
A mesure que se vaya viendo los ejemplos se podrá ottenere una vision más clara de come funziona 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).
Il seguente esempio che veremos está 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, per esempio: suma (zero, X, X). In essi, 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,tre), 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. Per esempio:
Haciendo la respectiva consulta en Prolog , si può osservare nella prima immagine che nel primo fatto Fido può correre” ma non può volare perché non c'è alcun fatto che lo affermi.
dato che ciò che Fido può fare” è camminare e correre.
2) ESempi CON -> REGOLE IN PROLOG
Le regole sono affermazioni condizionali. Per esempio Se il leone mangia carne allora è carnivoro”. L'immagine seguente non mostra come sono interpretati i simboli:- la virgola (,) y (;).
Ejemplo:
La regola è: le_piace (giovanni, X) :- le_piace(tomaso, X).
Che corrisponde a una regola logica: a tomaso piace X => a giovanni piace X equivalentemente: a giovanni piace X se a tomaso piace X.
Le variabili anonime possono anche essere usate nei fatti, per esempio: le_piace (_,tennis). Si legge “a tutte le persone piace il tennis”.
EJEMPLO: ALBERO GENEALOGICO
tre) ESempi CON -> LISTE IN PROLOG
Le liste sono una struttura dati semplice, usata nella programmazione numerica.
La pratica nella gestione delle liste con Prolog è basilare per l'apprendimento del linguaggio. Questo è l'obiettivo di questa sezione.
Per poter risolvere un problema di liste con Prolog, Per questo vedremo prima alcuni esempi del suo funzionamento, Per determinare gli argomenti necessari nella definizione della relazione e la risposta di Prolog nei diversi casi.
Esempi di Operazioni con le Liste
1. Questo è un predicato che ottiene la somma degli elementi di una lista:
A) La somma S è zero se la lista è vuota
b) La somma di una lista con E1 in testa e L in coda è S se S1 è la somma degli
elementi della coda e S è S1 + E1
Consulta en Prolog.
2. Predicado que obtiene el promedio de valores almacenados en una lista.
Consulta en Prolog
tre. 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 programmar facilmente ya che este revisa toda la base de datos para poter trovare las soluzioni a las questions planteadas. Para poter entender de cierto modo el manejo básico de las listas se debe studiare primeramente los hechos y las reglas. Los hechos son aplicados cuando algo es vero mientras que las reglas conllevan a la unión de los hechos.
Si deve tenere presente che la teoria è importante ma la pratica è quella che ci permette di capire molto di più e se si pratica abbastanza i risultati si rifletteranno nelle query che si effettuano a Prolog perché questo ci restituirà il risultato a seconda di ciò che facciamo.
BIBLIOGRAFIA
Rodríguez,2010. Programmazione Logica Prolog. (Online).Consultato, 25 gennaio. 2016. Formato PDF. Disponible en:
Publicado por