Conceptual models for such a systemic approach have been developed using signed digraph and cybernetic feedback formalisms.
The course will introduce the theoretical formalisms used to describe the various types of nuclear reactions.
The idea of minimization is at the basis of one of the earliest non-monotonic formalisms, McCarthy's circumscription.
This tutorial will also address some of the research issues in the transformation techniques between different formalisms.
In addition, it is not clear how such formalisms can cope in the development of large scale real-time systems.