Problema de ramificación

En filosofía e inteligencia artificial (especialmente, sistemas basados en conocimiento), el problema de ramificación se ocupa de las consecuencias indirectas de una acción. También podría plantearse como cómo representar lo que sucede implícitamente debido a una acción o cómo controlar los efectos secundarios y terciarios de una acción. Está fuertemente conectado con el problema del marco y es opuesto al lado de la calificación.

La teoría de límites ayuda en el uso operativo. Por ejemplo, en la derivación KBE de un diseño poblado (objetos geométricos, etc., se aplican preocupaciones similares en la teoría de la forma), los supuestos de equivalencia permiten la convergencia cuando se manejan con destreza conjuntos de soluciones potencialmente grandes, y tal vez incluso computacionalmente indeterminados. Sin embargo, en una cadena de cálculo, los eventos posteriores pueden muy bien encontrar algunos tipos de resultados de resoluciones anteriores de ramificación como problemáticos para sus propios algoritmos.