In
philosophy
Philosophy (from , ) is the systematized study of general and fundamental questions, such as those about existence, reason, knowledge, values, mind, and language. Such questions are often posed as problems to be studied or resolved. Some ...
and
artificial intelligence (especially, knowledge based systems), the ramification problem is concerned with the indirect consequences of an action. It might also be posed as ''how to represent what happens implicitly due to an action'' or how to control the secondary and tertiary effects of an action. It is strongly connected to, and is opposite the
qualification side of, the
frame problem.
Limit theory helps in
operational usage. For instance, in
KBE
KBE may refer to:
* Knight Commander of the Most Excellent Order of the British Empire, post-nominal letters
* Knowledge-based engineering
Knowledge-based engineering (KBE) is the application of knowledge-based systems technology to the domain o ...
derivation of a populated design (geometrical objects, etc., similar concerns apply in shape theory), equivalence assumptions allow convergence where potentially large, and perhaps even computationally indeterminate, solution sets are handled deftly. Yet, in a chain of computation, downstream events may very well find some types of results from earlier resolutions of ramification as problematic for their own algorithms.
See also
*
Non-monotonic logic
*
Ramification (mathematics)
In geometry, ramification is 'branching out', in the way that the square root function, for complex numbers, can be seen to have two ''branches'' differing in sign. The term is also used from the opposite perspective (branches coming together) as ...
External links
*Nikos Papadaki
"Actions with Duration and Constraints: the Ramification Problem in Temporal Databases"IEEE ICTAI'02
*Deepak Kumar
Bryn Mawr College
Logic programming
Knowledge representation
Epistemology
{{epistemology-stub