On the use of reflection principles in modelling complex reasoning
Jan Treur · International Journal of Intelligent Systems · 1991
Complex patterns of reasoning as involved in diagnosis, process and robot control, and design can be formally described by interacting basic inference processes. Reflection principles are used to give a formal description of some types of interactions between basic inference processes. Thus, complex reasoning is modelled in a modular form.