On the use of reflection principles in modelling complex reasoning

Abstract

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.