Carrillo Ramirez Rogelio
Hernández Blanco Victor Manuel
Hernandez Gonzalez Erik Alejandro
Simon Tadeo Abel
Santamaria Horcasitas Mayra Abigail
Unificación
La unificación es un procedimiento clave en la lógica de primer orden, usado para emparejar términos y resolver conflictos lógicos en la representación de conocimiento. Es fundamental para sistemas de inferencia y lenguajes de programación lógica como Prolog.
Resolución
La resolución es un método de inferencia lógica que se utiliza para deducir conclusiones a partir de un conjunto de proposiciones, transformadas en cláusulas. La técnica principal en resolución es la refutación por contradicción (o reducción al absurdo), en la cual se intenta probar que una proposición es verdadera demostrando que su negación lleva a una contradicción.