Logics for Actor Networks: A Case Study in Constrained Hybridization
Actor Networks are a modeling framework for cyber-physical system protocols based on Latour’s actor-network theory that addresses the way we now create and exploit the power of computational networks. We advance a logic for modeling and reasoning about such actor networks, which is obtained through a two-stage constrained hybridization process. The first stage results in a logic that captures the structure of actor networks and the way knowledge flows across them; the second addresses the dynamic aspects of actor networks, that is the way they can evolve as a result of the interactions that occur within them. For each of these stages, we develop a sound and complete proof system.
The work of D. Pavlovic was partially supported by NSF. J. Fiadeiro and A. Lopes received support from AFOSR for research visits to the University of Hawaii.