Problema de ramificación

En filosofía e inteligencia artificial (especialmente en sistemas basados ​​en el conocimiento), el problema de la ramificación se refiere a las consecuencias indirectas de una acción. También puede plantearse como la forma de representar lo que sucede implícitamente debido a una acción o cómo controlar sus efectos secundarios y terciarios. Está estrechamente relacionado con el problema del marco, al que se opone en ambos sentidos .

La teoría de límites resulta útil en su aplicación práctica . Por ejemplo, en la derivación KBE de un diseño poblado (objetos geométricos, etc.; consideraciones similares se aplican a la teoría de formas), las suposiciones de equivalencia permiten la convergencia, donde conjuntos de soluciones potencialmente grandes, e incluso computacionalmente indeterminados, se manejan con destreza. Sin embargo, en una cadena de cálculos, los procesos posteriores pueden encontrar problemáticos para sus propios algoritmos algunos resultados de resoluciones anteriores de ramificación .

• Lógica no monótona
• Ramificación (matemáticas)

• Nikos Papadakis "Acciones con duración y restricciones: el problema de la ramificación en bases de datos temporales" IEEE ICTAI'02
• Deepak Kumar " Planificación " Bryn Mawr College