Diferencia entre revisiones de «Wikidebate/Algoritmo de debate»

[[Archivo:Dialectic algorithm.png|thumb|Representación gráfica de un árbol de debate, con los argumentos sostenidos pintados de verde, y los refutados de rojo.]]

El '''algoritmo dialéctico''' (del concepto de [[w:Dialéctica|dialéctica]]) es un [[w:Algoritmo recursivo|algoritmo recursivo]] para computar el estado («sostenido» o «refutado») de cualquier argumento a partir de la estructura de su [[w:Topología arbórea|árbol]] de debate. El algoritmo captura la idea intuitiva de que un argumento se debe considerar refutado cuando tiene objeciones sin refutar.

Dado un árbol de debate, el algoritmo dialéctico etiqueta cada argumento como «sostenido» o «refutado» según las siguientes definiciones:

Considerando que las objeciones también son argumentos, el algoritmo continúa recursivamente hasta el final de la del debate (las hojas del árbol de debate). Los argumentos al final no tienen objeciones sostenidas (no tienen objeciones en absoluto) así que el algoritmo las considera sostenidas y a partir de ahí puede resolver el estado de los otros argumentos.

La función se llama a sí misma recursivamente hasta que llega a las hojas del árbol de debate. Entonces devuelve «sostenido» para cada hoja y resuelve el estado de todos los demás argumentos en el árbol.