💻 computer science

A Dynamic Deontic Simplicial Logic for Joint Commitments

This paper introduces Deontic Simplicial Logic (DSL) and its dynamic extension (DDSL), novel frameworks that utilize simplicial complexes to formally model individual commitments, group obligations, and the effects of joint actions, while establishing their soundness and completeness.

Original authors: Giorgio Cignarale, Hugo Rincon Galeana

Published 2026-05-27

📖 4 min read☕ Coffee break read

CC BY 4.0

Original authors: Giorgio Cignarale, Hugo Rincon Galeana

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to organize a group project, a dinner party, or a team sport. The hardest part isn't just knowing what everyone thinks; it's figuring out who has actually promised to do what, and who is part of that promise.

This paper introduces a new mathematical tool called Dynamic Deontic Simplicial Logic (DDSL). Think of it as a "geometric map" for tracking group promises.

Here is the breakdown of how it works, using simple analogies:

1. The Shape of Promises (Simplicial Complexes)

Usually, logic treats promises like a list of sentences. This paper treats them like shapes.

The Dots (Vertices): Imagine every person in the group is a dot.
The Lines and Shapes (Simplices):
- If Alice promises to bring a cake, that's a single dot.
- If Alice and Bob promise to bring a cake together, they form a line connecting their dots.
- If Alice, Bob, and Charlie all promise to bring a cake as a team, they form a triangle.
- If you add a fourth person, it becomes a pyramid.

In this system, the shape itself represents the joint commitment. The bigger the shape, the bigger the group that has made a shared promise.

2. The "Missing" Shape is a Message

One of the coolest features is what happens when a shape doesn't exist.

The "Ghost" Scenario: Imagine Alice and Bob have a line connecting them (they promised to meet). But Charlie is standing nearby, and there is no line connecting him to them.
- In old logic, you might have to write a sentence saying "Charlie did not promise."
- In this new system, the absence of the shape is the message. It visually shows that Charlie is not part of that specific promise.
- Crucially, the paper distinguishes between "Charlie promised not to come" (a negative promise) and "Charlie hasn't promised anything at all" (silence). The geometry handles this naturally: if Charlie isn't part of the triangle, he isn't part of the joint commitment, period.

3. The "Dynamic" Part (Changing the Map)

Life changes. People change their minds. The "Dynamic" part of the title means this system can show how the map changes when people make new choices.

Imagine the group chat is the "update machine."

Before: Alice, Bob, and Charlie are all connected in a triangle (a joint promise to go to the party).
The Action: Charlie says, "Actually, I'm not coming."
The Update: The system "cuts" the triangle. It removes Charlie from the shape. Now, Alice and Bob are left with just a line (a smaller promise between just the two of them). Charlie is left as a lonely dot.

The paper calls this a "product update." It's like taking a photo of the group's promises, applying a filter (the new decision), and seeing which connections survive and which dissolve.

4. Why This Matters (The "Party" Examples)

The authors use a party invitation scenario to show why this is better than old methods.

Scenario A: Alice and Bob promise to come. Charlie says "No."
- Result: A line between Alice and Bob; Charlie is separate.
Scenario B: Alice and Bob promise to come. Charlie says nothing.
- Result: A line between Alice and Bob. Charlie is a "ghost"—he has no commitment at all, not even a negative one. The shape shows his silence clearly.
Scenario C: Alice and Bob promise to come, but only if Charlie comes too.
- Result: The system creates a "pyramid" where the whole group is connected. If Charlie drops out, the whole pyramid collapses, leaving no joint promise for anyone.

5. The "Rules of the Game" (Soundness and Completeness)

The paper doesn't just draw pretty pictures; it proves that the math works.

Soundness: If the system says a promise exists, it really exists in the logic. You can't trick the system.
Completeness: If a promise can exist logically, the system has a way to describe it. You can't find a valid promise that the system can't capture.

Summary

Think of this paper as inventing a new language for group accountability. Instead of writing long contracts, you draw shapes.

Connected shapes = We are in this together.
Missing shapes = We are not in this together.
Cutting shapes = Someone changed their mind, and the group promise shrank or broke.

It turns the messy, confusing world of "who promised what to whom" into a clear, geometric map that updates in real-time as people make choices.

Technical Summary: A Dynamic Deontic Simplicial Logic for Joint Commitments

Problem Statement
The paper addresses the challenge of reasoning about obligations and permissions in multi-agent systems, specifically focusing on the emergence of collective commitments from structured interactions. Traditional deontic frameworks, often based on Kripke semantics or STIT (Seeing To It That) logic, treat agency and normativity at a propositional or relational level. These approaches struggle to capture the geometric structure of joint commitments, particularly the distinction between the absence of a commitment and a negative commitment. Furthermore, existing STIT extensions for collective settings have been shown to be undecidable for groups of agents. The authors argue that current frameworks lack the expressiveness to structurally encode the impossibility of certain agents being jointly committed, which is a fundamental aspect of normative landscapes.

Methodology
The authors propose a novel geometric approach by interpreting simplicial complexes as models of normative structure.

Simplicial Models: The framework utilizes simplicial complexes where vertices represent the local states (individual commitments) of agents, and higher-dimensional simplices represent global configurations (joint commitments). The authors employ impure simplicial complexes, where maximal simplices (facets) may have different dimensions. In this deontic interpretation, the absence of a simplex connecting a specific set of agents structurally represents the lack of a joint commitment among them, distinct from an agent explicitly committing to the negation of a state.
Static Logic (DSL): The authors define the Deontic Simplicial Logic (DSL). The language includes propositional variables indexed by agents and a group modality $D_G\phi$ , read as "agents in group $G$ have a mutual (joint) commitment towards $\phi$ ." The semantics are defined over pointed simplicial models $(C, X)$ , where $D_G\phi$ holds if $G$ is present in the simplex $X$ and $\phi$ holds in all simplices sharing a $G$ -colored face with $X$ . This semantics is analogous to distributed knowledge in epistemic logic but adapted for commitments.
Dynamic Logic (DDSL): To model the evolution of commitments, the paper extends DSL to the Dynamic Deontic Simplicial Logic (DDSL). This introduces action modalities $[\alpha_G]\phi$ , representing the state after a group $G$ executes a joint action $\alpha_G$ . The update mechanism adapts the product update of Dynamic Epistemic Logic (DEL) to simplicial complexes. A "simplicial commitment update model" defines the new commitments via a commitment function. The product update filters the original complex, retaining only those faces compatible with the new commitments, effectively restructuring the normative landscape.

Key Contributions

Deontic Interpretation of Simplicial Complexes: The paper provides the first deontic interpretation of simplicial models, mapping vertices to individual commitments and simplices to joint obligations. It leverages the geometric property of impurity to model the normative significance of missing commitments.
Formal Logics (DSL and DDSL): The authors formulate DSL for static reasoning and DDSL for dynamic reasoning. DDSL is presented as the first dynamic logic based on simplicial complexes, capable of modeling the creation, cancellation, and restructuring of group commitments.
Axiomatization and Proofs: The paper provides a complete axiomatization for DSL, including axioms for tautologies, distribution ( $K$ ), truth ( $T$ ), positive introspection ($4$), and specific axioms for agent commitments ( $N$ , $WN$). Soundness and completeness are proven for DSL using a canonical simplicial model construction adapted from three-valued semantics to a two-valued setting.
Dynamic Reduction: For DDSL, the authors prove soundness and completeness by reducing dynamic formulas to static ones using a set of reduction axioms (e.g., $R1$ through $R5$ ). This reduction maps dynamic operators to the static DSL, leveraging the completeness of the static system.
Structural Analysis: The paper introduces topological operations (skeleton, star, link) to analyze the normative landscape. For instance, the link operation is used to determine which commitments remain among agents if a specific agent withdraws their commitment.

Results

Soundness and Completeness: Both the static (DSL) and dynamic (DDSL) logics are proven to be sound and complete with respect to impure simplicial models.
Expressiveness: The framework successfully models nuanced scenarios involving partial agreements, conditional commitments, and "ghosting" (withdrawal of commitment without communication). The examples demonstrate that the geometric structure can distinguish between an agent having no commitment versus a negative commitment, a distinction difficult to encode in standard Kripke-based deontic logics without complex formulaic encoding.
Decidability: While the paper notes that STIT logic for groups is undecidable, it does not explicitly claim decidability for DSL/DDSL in the results section, focusing instead on the existence of sound and complete axiomatizations.

Significance
The paper claims to offer a new perspective on deontic reasoning by grounding it in combinatorial topology. The primary significance lies in the ability of the geometric structure itself to encode the presence or absence of joint commitments, rather than relying solely on formulas to represent these structural properties. The authors argue that this approach offers expressiveness unavailable in Kripke-based frameworks, particularly regarding the structural impossibility of certain agents being jointly committed. By extending this to a dynamic setting, the paper provides a tool for reasoning about the temporal evolution of normative relationships in multi-agent systems, bridging the gap between distributed computing methods (simplicial complexes) and deontic logic.