An official website of the United States government
Here’s how you know
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
Spencer J. Breiner, Ram D. Sriram, Eswaran Subrahmanian
Abstract
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.
Citation
Artificial Intelligence for the Internet of Everything
Breiner, S.
, Sriram, R.
and Subrahmanian, E.
(2019),
Compositional Models for Complex Systems, Elsevier, Atlanta, GA, [online], https://doi.org/10.1016/B978-0-12-817636-8.00013-2
(Accessed June 6, 2023)