By employing hybrid dynamical systems-oriented techniques for reasoning about dynamical systems, it is possible to formalize some typically informal meta-intelligence about real-time intelligence of embodied agents. Furthermore, this meta-reasoning could be straightforwardly implemented in an embodied agent, forming a basis for meta-intelligent planning or deeper logical reflection. This paper concretely illustrates the underlying concepts, discussing a specific dynamical system for navigation intelligence, a specific system for meta-level reasoning, and a hypothetical case of their integration in an embodied agent. The paper also suggests that the fundamental ideas generalize to other, similarly expressed intelligence models, and that some high-level meta-reasoning over dynamical intelligence could thus be straightforwardly reduced to meta-reasoning over logical representations.
展开▼
