Nombre de la materia

Inteligencia artificial

Nombre de la Licenciatura
Ingeniería en sistemas computacionales

Nombre del alumno

José Antonio Aguirre Tirado

Matrícula
010588680

Nombre de la Tarea
Terminando mi programa

Unidad 5
Entrada y salida

Nombre del Profesor

Hermenegildo Cisneros Carrillo

Fecha
19/08/2020
 Unidad 5. Entrada y salida.
Inteligencia artificial

ENTRADAS Y SALIDAS
Introducción

Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de
predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer
orden. Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que
alcanzan solo a variables de individuo, y con predicados y funciones cuyos argumentos son solo
constantes o variables de individuo.

La lógica de primer orden tiene un poder expresivo muy superior al de la lógica proposicional.

Desarrollo

Esta es la representación del diagrama que utilizaremos:

Diagrama 1

Y este es el código que usaremos para nuestro programa:

conexion(D, H , 4).
conexion(H, F, 9).

2
 Unidad 5. Entrada y salida.
Inteligencia artificial

conexion(I, F,11).
conexion(F, G, 10).
conexion(F, A, 8).
conexion(A, B, 7).
conexion(D, I, 2).
tieneArista(X) :- conexion(X,_,_).
llegar(Inicio, Destino, Int, Costo) :-
conexion(Inicio, Int, C1) , conexion(Int, Destino, C2) , Costo is C1+C2.

Con el cual responderemos la siguientes preguntas:

¿Se tiene conexión a con i?

No existe conexión.

¿Qué conexiones se tienen con f y sus costos?

F tiene conexión g que tiene un costo de 10 y con a que tiene un costo 8.

¿Tiene aristas f?

Si tiene.

¿Tiene aristas a?

Si tiene.

¿Tiene aristas b?

No tiene.

Qué muestre el costo que tiene por pasar de d a f y por i

Tiene un costo de 13.

3
 Unidad 5. Entrada y salida.
Inteligencia artificial

Corrida del programa

Conclusión

Por medio de esta actividad aprendimos cómo funciona la lógica en la resolución de problemas dentro
de la inteligencia artificial. Además, esto puede ser aplicado en la programación orientada a objetos
dado que permite programar objetos, propiedades y métodos.

Bibliografía

 Lógica de primer orden

https://websarrolladores.com/2019/06/14/logica-de-primer-orden/

4
 Unidad 5. Entrada y salida.
Inteligencia artificial

 Lógica de predicados de primer orden (Baier Arana, J., 2004).

https://apps.utel.edu.mx/syllabus/cloud/visor.php?
container=L1IS112_1180_745_38446_0&object=L%C3%B3gica%20de%20Predicados%20de
%20Primer%20Orden.pdf
 Lógica de predicados (Barba Guamán, R., 2012).
https://www.youtube.com/watch?v=F6NlmGApQFc&feature=emb_logo
 Tutorial Prolog - 6 - Prolog en Práctica II
https://www.youtube.com/watch?time_continue=7&v=XNkyZXS8-Ok&feature=emb_logo