Spencer J. Breiner, Ram D. Sriram, Eswaran Subrahmanian
In this chapter we argue for the use of representations from category theory to support better models for complex systems, and provide an example of such an application might look like. Our approach rests on the well known observation that complex system design is a fundamentally recursive discipline, which are formalized in computer science using structures called algebras, coalgebras and operads, mathematical structures which are intimately linked to labeled tree representations. We then develop two small examples to demonstrate the utility of this approach. The first defines a logical semantics of contracts to organize requirements at different scales in hierarchical systems. The second concerns the integration of artificial intelligence models into a pre-existing human-driven process.
Artificial Intelligence for the Internet of Everything