Skip to main content
U.S. flag

An official website of the United States government

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)

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
Volume
241-270
Publisher Info
Elsevier, Atlanta, GA

Keywords

Applied Category Theory, Complex Systems, Joint Cognition

Citation

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 December 12, 2024)

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