Instalación Swig Prolog y Ejemplos Animales

MATERIA: INTELIGENCIA ARTIFICIAL I
CARRERA: INGENIERÍA EN SISTEMAS COMPUTACIONALES
0
ÍNDICE
ÍNDICE ................................................................................................................................................1
SWI-PROLOG ......................................................................................................................................2
ACTIVIDAD 1: INSTALACIÓN ...............................................................................................................2
CONCLUSIÓN ....................................................................................... ¡Error! Marcador no definido.
Referencias.......................................................................................................................................12
1
SWI-PROLOG
SWI-Prolog es una implementación en código abierto (en inglés,
open source) del lenguaje de programación Prolog. Su autor
principal es Jan Wielemaker. En desarrollo ininterrumpido
desde 1987, SWI-Prolog posee un rico conjunto de
características, bibliotecas (incluyendo su propia biblioteca para
GUI, XPCE), herramientas (incluyendo un IDE) y una
documentación extensiva. SWI-Prolog funciona en las plataformas Unix, Windows y
Macintosh.
ACTIVIDAD 1: INSTALACIÓN
El primer paso después de la previa descarga, tomando en cuenta la capacidad y versión de

nuestro sistema operativo, desde la página oficial https://www.swi-prolog.org/ es ubicar el
archivo en nuestro escritorio, dar clic derecho y seleccionar la opción “Ejecutar como
administrador”. Aparecerá un aviso del sistema para continuar con esa operación,
elegiremos la opción de “Sí” para continuar.
iImagen 1: Ejecución
2
Aparecerá la siguiente ventana donde daremos clic a “Siguiente”.
Imagen 2: Bienvenida al asistente
Daremos clic en “Acepto” para continuar con el proceso de instalación.
Imagen 3: Acuerdo de licencia
La siguiente pantalla nos dará tres opciones a elegir, dejaremos seleccionada la que viene
por defecto. Es decir, “Do not add swipl to the system PATH”.
3
Imagen 4: Opción de instalación
La siguiente pantalla será para elegir el lugar de instalación en el que deseamos que se
instale SWI-Prolog, nos pedirá mínimo 42.5MB de espacio requerido para la carpeta.
Seleccionaremos “Siguiente” para continuar.
Imagen 5: Lugar de instalación
A continuación, seleccionaremos una carpeta para el menú de inicio, también podemos

elegir la opción para no crear accesos directos. Daremos clic en “Siguiente”.
4
Imagen 6: Carpeta de destino
La siguiente ventana nos indicará que selecciones los componentes que deseamos instalar,
dejaremos la selección que viene por defecto. Damos clic a “Instalar” para continuar el
proceso.
Imagen 7: Selección de componentes
La instalación comenzará inmediatamente, dependiendo de la capacidad de cada máquina

el tiempo puede variar.
5
Imagen 8: Proceso de instalación
Después de algunos segundos nos aparecerá la siguiente ventana que anuncia que la
instalación ha sido terminada. Damos clic en “Terminar”.
Imagen 9: Instalación terminada
De acuerdo a la configuración que seguimos, SWI-Prolog se encuentra en nuestro menú de

Inicio.
6
Imagen 10: Búsqueda de SWI-Prolog
Seleccionamos con doble clic para entrar, nos aparecerá la interfaz de SWI-Prolog indicando
que la instalación ha sido exitosa.
Imagen 11: Instalación exitosa
7
ACTIVIDAD 1.1 CAPTURAS Y DESARROLLO DE PROGRAMA “ANIMALES”
El primer paso es colocar la estructura de las reglas en un bloc de notas.
%mamiferos
mamiferos(mamifero,terrestre).
mamiferos(mamifero,acuatico).
mamiferos(acuatico,delfin).
mamiferos(acuatico,nutria).
mamiferos(terrestre,tigre).
mamiferos(terrestre,mono).
%reglas
animales(Z):-mamiferos(X,Y),mamiferos(Y,Z).
arbolani(Y,X):-mamiferos(X,Y).
tipomamiferos(Y):-mamiferos(mamifero,Y),mamiferos(Y,mamifero).
tipoanimales(Y,Z):-mamiferos(X,Y),mamiferos(Y,Z).
Al guardarlo, ponemos la extensión “.pl”. Al abrir “Swi-Prolog” nos dirigimos a la ventana “File” en
la opción “Edit..”
8
Abrimos el archivo que anteriormente guardamos como “Animales.pl”.
Damos clic en “aceptar”, la siguiente pantalla será esta.
9
Si no existen ningún cambio que se vaya a hacer, entonces damos clic en “File” en la opción
“Consult”.
Elegiremos nuevamente el archivo “Animales.pl”.
10
Haremos algunas consultas
᐀| animales(C).
C = tigre .
11
ACTIVIDAD 2: INVESTIGACIÓN Y RESUMEN DE LOS TEMAS
2.5 RAZONAMIENTO MONÓTONO.
El razonamiento monótono, es el que utiliza contradicciones para procesar. Elimina un hecho
obteniendo la contradicción hasta que llega a una conclusión final. Un razonamiento se llama
monótono cuando a lo largo del proceso el conjunto de «cosas sabidas» es siempre creciente.
Pero en la realidad suele ocurrir que, a medida que avanza el proceso de inferencias, nuevas
evidencias o acciones sistema anulan premisas o conclusiones anteriores, y para formalizar esto
se necesita una lógica no monótona.
Un proceso frecuente es el razonamiento por defecto: suponer que algo es verdadero (o falso)
mientras no haya evidencia de lo contrario.
El sistema que razona debe tener en cuenta que la aparición de esa evidencia puede tener un
efecto retroactivo sobre las conclusiones obtenidas anteriormente, para lo que debe incluir un
sistema de mantenimiento de la verdad.
EJEMPLO:
“Cuando se ve a una persona tirando basura en la calle y pensamos en lo mal que se ve, la
criticamos, pero cuando realizamos el mismo acto sin pensar, caemos en una contradicción y
concluimos que somos igual a la persona que estaba tirando basura en la calle”.
A veces se escriben las premisas pensando más en el proceso que en su semántica declarativa. Es
necesario asegurarse de que el proceso será exactamente el que estamos pensando.
2.7 CONOCIMIENTO NO-MONÓTONO Y OTRAS LÓGICAS.
El conocimiento no-monótono es una forma de razonamiento que contrasta con el razonamiento
deductivo estándar de la siguiente manera:
12
• Decimos que todos los seres humanos son mortales y que
• Sócrates es un ser humano, por lo tanto, por simple razonamiento decimos que
• Sócrates es mortal.
Nada se puede sumar a nuestro razonamiento que cambie esta conclusión lógica.
Este es un sistema que después de la adición de nuevas sentencias se puede invalidar teoremas
concluidos anteriormente, permite estudiar el razonamiento basado en el sentido común, modelar
reglas con excepciones, actualizar creencias después de nuevos descubrimientos o tener en cuenta
omisiones.
Un ejemplo puede ser la planificación de un problema para llegar a su resultado, en las primeras
fases de un problema se puede definir como seguir el camino que lleve a obtener el resultado
deseado y conforme se recoge la información, se puede obtener una decisión verdadera o falsa, si
es esta última al momento de ajustarla se tiene que asumir las consecuencias.
En Inteligencia Artificial, este tipo de razonamiento y sus aplicaciones, son sinónimos del estudio de
técnicas formales de razonamiento por “default” o “por defecto”, es decir que para formalizar los
procesos de omitir conclusiones que son razonables, al tener ausencia de información o teniéndola
y que los hechos conocidos no son estrictamente garantizables como ciertos. De tal forma que al
adquirir nuevo conocimiento se modifica e incluso se invalidan los conocimientos previos que se
tenían almacenados.
Existen sistemas de razonamiento monótono y no – monótono, los cuales son utilizados para inferir
conclusiones a partir de una información dada y son representados por medio de programas lógicos,
pero ellos no nos servirán, si no existiera un método que nos permita inferir (es obtener una
conclusión o deducción a partir un suceso o situación, o bien es hacer y conducir a un resultado ) lo
13
que es cierto y lo que es falso, dicho de otra manera su “SEMANTICA” (la relación entre las palabras
y su sintaxis)
Existen diferentes semánticas declarativas en programación lógica (programación declarativa - es
un paradigma de la programación basado en la lógica de primer orden) y cada una de ellas le
corresponde una semántica operacional.
14
CONCLUSIÓN
El lenguaje de programación Prolog es el más conocido de la programación lógica. Dada la
naturaleza del presente trabajo, podemos concluir que SWI-Prolog es una implementación del
lenguaje Prolog.
La característica que distingue a este tipo de programación, es decir, declarativa, es que basado en
una serie de hechos y/o predicados permiten la solución del problema que se haya planteado.
Swi-Prolog es una de las principales herramientas del lenguaje Prolog, ya que su popularidad se
debe a su uso en el ámbito de educación, aunque su desarrollo es ideal para el desarrollo de
aplicaciones. Las extensiones de tipo de datos, como los dictados y las cadenas, así como la
compatibilidad total con Unicode y los enteros sin límites, simplifican el intercambio sin problemas
de datos con otros componentes.
15
REFERENCIAS
Artificial, C. d. (18 de 10 de 2020). Obtenido de
https://sites.google.com/site/clasedeinteligenciaartificial/home/unidad-ii-representacion-
del-conocimiento-razonamiento-y-los-aspecto-metodologicos-en-inteligencias-artificial
SWI-Prolog. (17 de Octubre de 2020). Obtenido de Wikipedia: https://es.wikipedia.org/wiki/SWI-
Prolog
SWI-Prolog. (17 de Octubre de 2020). Obtenido de https://www.swi-prolog.org/features.html
16

Instalación Swig Prolog y Ejemplos Animales

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Instalación Swig Prolog y Ejemplos Animales

Cargado por

Copyright:

Formatos disponibles

MATERIA: INTELIGENCIA ARTIFICIAL I

CARRERA: INGENIERÍA EN SISTEMAS COMPUTACIONALES

ACTIVIDAD 1: INSTALACIÓN ...............................................................................................................2

CONCLUSIÓN ....................................................................................... ¡Error! Marcador no definido.

El primer paso después de la previa descarga, tomando en cuenta la capacidad y versión de

Imagen 2: Bienvenida al asistente

Daremos clic en “Acepto” para continuar con el proceso de instalación.

Imagen 3: Acuerdo de licencia

Imagen 5: Lugar de instalación

A continuación, seleccionaremos una carpeta para el menú de inicio, también podemos

Imagen 7: Selección de componentes

La instalación comenzará inmediatamente, dependiendo de la capacidad de cada máquina

Imagen 9: Instalación terminada

De acuerdo a la configuración que seguimos, SWI-Prolog se encuentra en nuestro menú de

Imagen 11: Instalación exitosa

El primer paso es colocar la estructura de las reglas en un bloc de notas.

Damos clic en “aceptar”, la siguiente pantalla será esta.

Elegiremos nuevamente el archivo “Animales.pl”.

2.5 RAZONAMIENTO MONÓTONO.

El razonamiento monótono, es el que utiliza contradicciones para procesar. Elimina un hecho

se necesita una lógica no monótona.

mientras no haya evidencia de lo contrario.

sistema de mantenimiento de la verdad.

necesario asegurarse de que el proceso será exactamente el que estamos pensando.

2.7 CONOCIMIENTO NO-MONÓTONO Y OTRAS LÓGICAS.

El conocimiento no-monótono es una forma de razonamiento que contrasta con el razonamiento

deductivo estándar de la siguiente manera:

concluidos anteriormente, permite estudiar el razonamiento basado en el sentido común, modelar

es esta última al momento de ajustarla se tiene que asumir las consecuencias.

conclusión o deducción a partir un suceso o situación, o bien es hacer y conducir a un resultado ) lo

Existen diferentes semánticas declarativas en programación lógica (programación declarativa - es

un paradigma de la programación basado en la lógica de primer orden) y cada una de ellas le

corresponde una semántica operacional.

El lenguaje de programación Prolog es el más conocido de la programación lógica. Dada la

debe a su uso en el ámbito de educación, aunque su desarrollo es ideal para el desarrollo de

de datos con otros componentes.

Artificial, C. d. (18 de 10 de 2020). Obtenido de

SWI-Prolog. (17 de Octubre de 2020). Obtenido de Wikipedia: https://es.wikipedia.org/wiki/SWI-

SWI-Prolog. (17 de Octubre de 2020). Obtenido de https://www.swi-prolog.org/features.html

También podría gustarte