PROLOG 1.3 REGLAS

1.3 REGLAS

Sabias que...
a) Las cláusulas son de tres tipos : hechos, reglas y preguntas.
b) Los hechos declaran cosas que siempre son incondicionalmente verdaderas.
c) Las reglas declaran cosas que son verdaderas dependiendo de una condición dada.
d) Por medio de preguntas, el usuario puede preguntar al programa cuáles cosas son
verdaderas

Utilizando el SWI-Prolog-Editor.

Fig.1 Muestra mas relaciones unarias de las cuales indican el sexo de cada nombre.

A continuación las preguntas.

Fig.2 En esta figura se observa la pregunta si ana y patricia son hermanas.

PROLOG 1.2 CONJUNCIONES DE CLAUSULAS

1.2 Conjunciones de Cláusulas

Ahora queremos preguntar ¿quien es el grandfather (abuelo) de jaime?
Si se han dado cuenta el programa solo tiene la relación "progenitor", para realizar dicha pregunta tendremos que formularla en dos partes:

1). Quién es el progenitor de jaime, creemos  que es algún Y.
2). Quién es el progenitor de este Y, asumimos que es algún X.

Fig.1 Muestra como se realizo la pregunta ¿quién es el abuelo de jaime?

Si se invierten las clausulas quedaría;
Podemos preguntar quienes son los nietos de tomas:

Fig.2 La imagen muestra el resultado de invertir las clausulas.

¿Tienen ana y patricia un progenitor común?

Fig.3 Muestra el resultado de la pregunta formulada arriba.

I.-PREGUNTAS A PROLOG, CHECA LAS RESPUESTAS...

Fig.4 Respuestas de prolog.

2. Formule en Prolog las siguientes preguntas acerca de la relación progenitor:

a). ¿ cómo se llama el progenitor de patricia ?

b). ¿ tiene elizabeth algún hijo ?

c). ¿ cómo se llama el abuelo de patricia ?

Fig.5 Clausulas para responder las preguntas a), b) y c).

PROLOG 1.1 CONCEPTOS BÁSICOS

Significado de prolog.

1.1 Conceptos Básicos

 Cláusulas:

El hecho de que tomás es progenitor (padre o madre) de Roberto se puede representar en

Prolog como:

progenitor( tomas, roberto).

El árbol familiar seria:

Fig.1 Esquema del árbol genealógico.

Quedando en prolog, así:

Fig.2 Muestra como quedaría en el programa de prolog.

Después de ejecutar el programa en swipl-win, podemos hacer las siguientes preguntas:

Fig.3 Se observa claramente como el programa nos contesta, con un si (true) o falso (false).

INSTALACIÓN DE IDE SWI-PROLOG

Que tal el día de hoy aprenderemos a instalar swi-prolog paso por paso así que abran esos ojos y cierren la boca.
Este vídeo es de gran ayuda ya que en menos de un minuto se observa la instalación del ide swi-prolog.
https://www.youtube.com/watch?v=lJF6cZcV9Gs&feature=youtu.be

A continuación la instalación paso por paso:
             1.-Descargar el programa en el siguiente link:
http://lakk.bildung.hessen.de/netzwerk/faecher/informatik/swiprolog/indexe.html

Fig. 1 Muestra la pagina donde descargaras el ide swi-prolog.

             2.-Despues de descargar, le das doble clic al programa setup.exe, eliges el idioma e instalas.

 

Fig. 2 En esta imagen se observa claramente los pasos  a seguir.

             3.-Por ultimo cerramos el instalador y automáticamente se abre el editor.

Fig.3 Se observa en la figura el editor ya listo para usarse.

Es muy fácil de instalar, hasta mi abuelita lo instalo jeje. Si siguen los pasos no tendrán problemas, nos vemos pronto.

Red de PETRI

Las Redes Petri son representaciones gráficas de un sistema a eventos discretos en el cual se puede describir la topología de un sistema paralelo.

Sus componentes
a) Estados representados por medio de CÍRCULOS.
b) Las transiciones representados por  medio de rectángulos.
c) Los grafos que permiten unir las transiciones con los estados.
d) Los tokens representados por un punto dentro de un circulo.

Fig.1 Representa los componentes de una red Petri.

A continuación les muestro 3 vídeos seleccionados de youtube para que le den una checadita

(todos van en secuencia).

Video #1
 Video #2
Video #3

Y lo mas importante les dejo una diapositiva que la podrán descargar en el grupo de facebook IntarUagro "Representación de Conocimiento mediante Redes de Petri". la cual la expuso el Dr. Joselito Medina Marín impartió en la conferencia.

De ante mano gracias, les recomiendo chequen los vídeos y revisen también la diapositiva les sera util.