Analyzing Agent-Based Models Using Category Theory

Beheshti, Rahmatollah; Sukthankar, Gita

doi:10.1109/wi-iat.2013.121

Cited by 4 publications

(3 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…ACT has also been used to rigorously couple agent-based simulation with Bayesian inference to create hybrid methods consistent with MSAL. 29 Henkel et al 30 applied graph database techniques to enable robust queries and data analyses in Biology. Key to the approach was maintaining relationships between the models, simulations, and metadata to facilitate reuse.…”

Section: Interrogating the Mission With Modeling Simulation And Analy...mentioning

confidence: 99%

The application of applied category theory to quantify mission success

et al. 2022

View full text Add to dashboard Cite

Mission engineering is the quantification of the effects applied by a system of systems to achieve measurable desired results. The execution of the mission is defined by a mission thread; that is the sequence of actions/processes executed by elemental systems. The domain of complex missions has been described as “wicked” because traditional military and space program-based systems engineering practices fail due to a lack of discrete phases, a dependence on context, and the non-uniqueness of a “good-enough” mission thread. Wicked problems also tend to be unstructured (non-hierarchical) with no centralized control and do not lend themselves to linear step-by-step processes. Wicked problems are inherently uncertain leading to the broader issue of trust across a mission knowledge base, and any mission level analyses. Wicked problems are also characterized and challenged by combinatoric complexity. Mission success is primarily driven by the interrelationships between systems and not just by the individual systems themselves. The success of mission engineering will require an iterative approach of modeling, simulation, and analysis resulting in a continuous reduction in uncertainty and refinement in the topology of the mission thread. OODA-based decomposition of mission threads focused on Boyd’s Orient function provides focus on system interrelationships. Trust provides decision-maker confidence in the results that has proved elusive to traditional validation approaches. The approach described in this paper is based upon using applied category theory as a basis for building mission threads, mission models, data stores, and integrating simulation ensembles.

show abstract

Section: Interrogating the Mission With Modeling Simulation And Analy...mentioning

confidence: 99%

The application of applied category theory to quantify mission success

et al. 2022

View full text Add to dashboard Cite

show abstract

“…Now, we can describe the formal relationship between the two categories. The way that the two categories are defined allows us to observe that an adjunction exists between the two categories A and M [25], which can be represented by the same structure shown in Figure 5.1. This way, it is simple to see that there exists a left adjoint functor from category A to category M, and a right adjoint functor from category M to category A.…”

Section: Applying Category Theorymentioning

confidence: 99%

Modeling social norms in real-world agent-based simulations

Beheshti

2015

AI Matters

Self Cite

View full text Add to dashboard Cite

Studying and simulating social systems including human groups and societies can be a complex problem. In order to build a model that simulates humans actions, it is necessary to consider the major factors that affect human behavior. Norms are one of these factors: social norms are the customary rules that govern behavior in groups and societies. Norms are everywhere around us, from the way people handshake or bow to the clothes they wear. They play a large role in determining our behaviors. Studies on norms are much older than the age of computer science, since normative studies have been a classic topic in sociology, psychology, philosophy and law. Various theories have been put forth about the functioning of social norms. Although an extensive amount of research on norms has been performed during the recent years, there remains a significant gap between current models and models that can explain real-world normative behaviors. Most of the existing work on norms focuses on abstract applications, and very few realistic normative simulations of human societies can be found. I had the honor of talking and consulting with Dr. David L. Sallach from University of Chicago about category theory. He provided me with several references including one article that he was still working on. Dr. Sandip Sen from University of Tulsa, kindly gave his time to me, and described the details of his work on the game-theoretical implementation of social learning. I have frequently used some ideas from his work on modeling norm emergence in agent-based systems. Last but not least, I wanted to thank my teammates in Intelligent Agents Lab (IAL), specifically Bulent Tastan, Xi Wang, Erfan Davami, Alireza Hajibagheri, and Hamidreza Alvari who helped me on various occasions to find better solutions for solving my research challenges. v

show abstract

“…For instance, punishment and sanctions are introduced as two enforcement mechanisms used to achieve the necessary social control required to impose social norms [33]. Here they demonstrate a normative agent that can punish and sanction defectors and also dynamically choose the right amount of punishment and sanction to impose [12].…”

Section: Related Workmentioning

confidence: 99%

Modeling emergence of norms in multi-agent systems by applying tipping points ideas

Lopez

2015

Preprint

View full text Add to dashboard Cite

Norms are known to be a major factor determining humans behavior. It's also shown that norms can be quite effective tool for building agent-based societies. Various normative architectures have been proposed for designing normative multi-agent systems (NorMAS). Due to human nature of the concept norms, many of these architectures are built based on theories in social sciences. Tipping point theory, as is briefly discussed in this paper, seems to have a great potential to be used for designing normative architectures. This theory deals with the factors that affect social epidemics that arise in human societies. In this paper, we try to apply the main concepts of this theory to agent-based normative architectures. We show several ways to implement these concepts, and study their effects in an agent-based normative scenario.

show abstract

Analyzing Agent-Based Models Using Category Theory

Cited by 4 publications

References 15 publications

The application of applied category theory to quantify mission success

The application of applied category theory to quantify mission success

Modeling social norms in real-world agent-based simulations

Modeling emergence of norms in multi-agent systems by applying tipping points ideas

Contact Info

Product

Resources

About