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 April 30, 2025)
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.
Compositional Models for Complex Systems
Published
Author(s)
, ,
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
Volume
241-270
Publisher Info
Elsevier, Atlanta, GA
Pub Type
Books
Download Paper
Keywords
Applied Category Theory, Complex Systems, Joint Cognition
Citation
Issues
If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.
Created January 19, 2019, Updated May 4, 2021