El mecanismo de resolución en los programas lógicos | | UPV

Título: El mecanismo de resolución en los programas lógicos

Descripción: Silva Galiana, Josep Francesc;

Este video explica qué es el mecanismo de resolución en la programación lógica.
Utiliza un ejemplo para resolver un ejercicio utilizando varias secuencias de pasos de resolución que construyen un árbol de resolución con dos ramas de fallo y una rama de éxito (en ese orden).
También se propone un ejercicio para calcular un árbol de resolución con una rama de éxito y dos ramas de fallo (en ese orden).

http://hdl.handle.net/10251/204867


Descripción automática: En este vídeo se explica el proceso de resolución en programación lógica a través de un ejemplo práctico. El instructor muestra cómo utilizar la técnica de backtracking para encontrar una solución que satisfaga ciertas condiciones, reglas y objetivos. Se comienza con una situación donde se busca demostrar que un animal vive en el agua y se va simplificando la búsqueda hasta llegar a una solución posible, que es un tiburón. Luego, se presenta un ejercicio adicional donde se tiene un grafo dirigido y se busca encontrar la conexión entre dos nodos específicos. Se invita al espectador a resolver el objetivo antes de mostrar la solución paso a paso. Finalmente, se presentan conclusiones sobre la programación lógica y su mecanismo de resolución, destacando que puede haber varias ramas de éxito o fallo en un árbol de resolución.

Autor/a: Silva Galiana Josep Francesc



+ Universitat Politècnica de València UPV: https://www.upv.es
+ Más vídeos en:    / valenciaupv  
+ Accede a nuestros MOOC: https://upvx.es

#Resolución lineal #Árbol de resolución #Programación lógica #