Advertisement
Published in:
2018 | OriginalPaper | Chapter
Logics for Actor Networks: A Case Study in Constrained Hybridization
A Case Study in Constrained Hybridization
Authors : José Fiadeiro, Ionuţ Ţuţu, Antónia Lopes, Dusko Pavlovic
Published in: Dynamic Logic. New Trends and Applications
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Abstract
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.