Scribd
Cargar
463 vistas5 páginas

Lógica de Primer Orden en IA

Este documento presenta un resumen de una unidad sobre entrada y salida en inteligencia artificial. Explica conceptos de lógica de primer orden y muestra un diagrama y código de Prolog para resolver preguntas sobre conexiones y costos entre nodos. Concluye resaltando la aplicación de la lógica en la resolución de problemas y la programación orientada a objetos.

Cargado por

José Aguirre
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOC, PDF, TXT o lee en línea desde Scribd
463 vistas5 páginas

Lógica de Primer Orden en IA

Este documento presenta un resumen de una unidad sobre entrada y salida en inteligencia artificial. Explica conceptos de lógica de primer orden y muestra un diagrama y código de Prolog para resolver preguntas sobre conexiones y costos entre nodos. Concluye resaltando la aplicación de la lógica en la resolución de problemas y la programación orientada a objetos.

Cargado por

José Aguirre
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOC, PDF, TXT o lee en línea desde Scribd

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

También podría gustarte