Detecting Emergent Computation In Multiple Automata Layers (DECIMAL), DARPA

Based on recent advances in representing, analyzing, and learning using expressive extensions to finite state automata, the Detecting Emergent Computation In Multiple Automata Layers (DECIMAL) project will address key challenges in mapping from design-level prototype models to scalable formalisms that can be explored and tested to identify the possible or actual presence of programmable emergent computation. DECIMAL will support system designers in analyzing combinations of architectural features to identify the potential for emergent computation. DECIMAL will bridge the gap between implemented systems and more abstract mathematical models, providing a formal framework that facilitates mapping from system designs to collections of composable automata, which then can be analyzed in the aggregate to determine whether a capability for emergent computation may or may not be present.