Förgreningsproblem

Inom filosofi och artificiell intelligens (särskilt kunskapsbaserade system) handlar förgreningsproblemet om de indirekta konsekvenserna av en handling. Det kan också framställas som hur man representerar vad som händer implicit på grund av en handling eller hur man kontrollerar de sekundära och tertiära effekterna av en handling. Det är starkt kopplat till, och är motsatt kvalificeringssidan av , ramproblemet .

Gränsteori hjälper till vid operativ användning. Till exempel, i KBE- härledning av en befolkad design (geometriska objekt, etc., liknande problem gäller i formteorin), tillåter ekvivalensantaganden konvergens där potentiellt stora, och kanske till och med beräkningsmässigt obestämda, lösningsuppsättningar hanteras skickligt. Ändå, i en beräkningskedja, kan nedströmshändelser mycket väl finna vissa typer av resultat från tidigare upplösningar av förgreningar som problematiska för sina egna algoritmer.

Se även

• Icke-monotonisk logik
• Ramification (matematik)

externa länkar

• Nikos Papadakis "Actions with Duration and Constraints: the Ramification Problem in Temporal Databases" IEEE ICTAI'02
• Deepak Kumar " Planering " Bryn Mawr College