A logical model of co-operative processes in cerebral dynamics

First, the meaning of the logical level representations in Cerebral Dynamics and a summary of the formal neural nets Analysis and Synthesis algorithms, are presented. Co-operative concepts are introduced (quantity of function, lesion and residual function) such that function is associated with macroscopic state's dynamics obtained from probabilistic measures on microstates. To gain some insight on how processes are in real neurons a digital simulation of the residual function calculus is included. The lesion's effects strongly depend on the net's structure (local function, connectivity and measure program). So we conclude that a key point in co-operativity is to find the neurophysiological counterpart of global functions that can be segmented. For simple cases (e.g., counters) the rule is immediate. For more complex neural processes, the logical is not enough for significant results, so that a computational paradigm at a semantic level is suggested as a much improved approach.