The principles behind CEqEA

Posted by René Vestergaard, May 19, 2013


CEqEA facilitates ab-intra modelling of open hierarchies of reactive agents, including simulation of their collective interactions and prediction of the resulting systems formation, e.g., life-cycle prediction in molecular biology. `Ab-intra' implies that CEqEA is bottom-up and involves combined ab-initio and programming principles. CEqEA constructs and visualizes a range of saturated proofs from a given MIG specification, aka a Modal Influence Graph. The proofs belong to our cascading-deduction presentation of our causation logic. Their visualized form, cascaded causation diagrams, omit most administrative details of the proofs but outline all permitted argumentation from the given assumptions, i.e., all validated causations, in cascading form. Following the Curry-Howard correspondence, cascaded causation diagrams may have their computational content animated and analyzed with the help of CEqEA's CCP plugin to ZGRViewer: an implementation of our Calculus of Coextensive Processes. Based on CCP, CEqEA can predict the range of all possible coextensive-causation traversals of a cascaded causation diagram, i.e., its possible sequentializations in the form of a systems diagrams --- `systems formation' refers to externally-relevant properties of CCP traversals of cascaded causation diagrams or to properties of systems diagrams and/or their construction.