FUNCTORIAL DYNAMICS AND INTERACTION: A COMPUTATIONAL DESIGN ENVIRONMENT

Abstract

We propose a new, synthetic theory of context-dependent interaction that is fully computational and compositional. The interacting systems include traditional dynamical systems, aswell as computer programs, resources or agencies in a society, robots, AIs, etc. These systems interact within a given arena by observing each other’s behavior and reacting to it, where the reaction from a given system depends on its current reactive state. In special cases, the interaction is determined by a fixed signal-passing formula: system A consistently receives information x from system B. Our theory is broader, allowing for context-dependent interaction: the interaction pattern itself can change based on the reactive states of all the systems involved. One can imagine chemical bonds forming or breaking, companies changing suppliers, a robot opening its eyes, a GPS going offline, a memory being activated, etc. In each case, the state of the systems in the arena determine not just the content but also the sort of information that flows between them.

Document Details

Document Type
DoD Grant Award
Publication Date
Aug 12, 2021
Source ID
FA95502010348

Entities

People

  • David Spivak

Organizations

  • Air Force Office of Scientific Research
  • United States Air Force

Tags

Fields of Study

  • Computer science

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Distributed Systems and Data Platform Development
  • Economics

Technology Areas

  • AI & ML
  • AI & ML - Autonomous Systems
  • Autonomy
  • Autonomy - Human-Robot Interaction
  • Space
  • Space - Spacecraft Maneuvers