ACT4 INT ARTIFICIAL Y RN

Vista previa del material en texto

UNIVERSIDAD AUTÓNOMA DE NUEVO LEÓN 
“FACULTAD DE INGENIERÍA MECÁNICA Y ELÉCTRICA” 
 
 
“INTELIGENCIA ARTIFICIAL Y REDES NEURONALES” 
 
 
ACTIVIDAD 4 
“EL ESTUDIANTE RESUELVE PROBLEMAS DE REPRESENTACIÓN DEL 
CONOCIMIENTO HACIENDO USO DE LENGUAJE DE PROGRAMACIÓN 
LÓGICA.” 
 
 
 
EQUIPO 07: 
 
 
SEMESTRE: ENERO-JUNIO 2023 
 
 
CATEDRÁTICO: 
 
 
FECHA DE ENTREGA: 10/03/2023 
 
 
Introducción 
 
 
La lógica proposicional es una herramienta clave para el análisis y evaluación de 
argumentos y razonamientos, que se representa simbólicamente mediante 
proposiciones y conectivas lógicas como la conjunción, la disyunción y la negación. 
Además, las tablas lógicas son una herramienta útil para analizar la lógica 
proposicional y las equivalencias lógicas nos permiten simplificar proposiciones y 
razonamientos. En informática y programación, la conversión de funciones en 
cláusulas es una forma de aplicar la lógica proposicional en programación, que 
implica descomponer una función en cláusulas individuales para su evaluación. Por 
lo tanto, la conversión de funciones en cláusulas y la resolución de funciones 
mediante la lógica proposicional son útiles para simplificar y optimizar el código y 
resolver problemas complejos. Asimismo, la lógica proposicional también es una 
herramienta importante en el diseño de algoritmos y la inteligencia artificial. 
En esta actividad practicaremos conversiones de funciones en clausulas y resolver 
funciones utilizando la lógica proposicional. 
Desarrollo de Problema con algoritmo en Lenguaje de Programación 
 
 
- Convertir las siguientes funciones en cláusulas(½). 
1. A 𝖠 B → C 
2. A ∨ B → C 
3. ¬ A 𝖠 ¬ B → C 
4. A 𝖠 B 𝖠 C → D 
Para comprobar que el programa entiende que es verdadero o falso, únicamente 
se necesita de los siguientes operadores, son algo simples, y funcionan con AND, 
OR y NOT. 
 
- Resolver las siguientes funciones utilizando lógica proposicional. 
Axiomas 
1. A 
2. B 
3. C ∨ B → D 
4. A 𝖠 D → E 
5. Probar E 
 
 
 
 
	“INTELIGENCIA ARTIFICIAL Y REDES NEURONALES”
	CATEDRÁTICO:
	Introducción
	Desarrollo de Problema con algoritmo en Lenguaje de Programación