Social commitment is a formal, normative relationship in multi-agent systems where one agent (the debtor) is obliged to another agent (the creditor) to bring about a specific condition or state of affairs. This construct, rooted in philosophical speech act theory and formalized in logics like CTL* (Computation Tree Logic Star), provides a rigorous framework for modeling promises, contracts, and cooperative obligations. It defines a directed, conditional obligation that persists until fulfilled, violated, or canceled, forming a cornerstone for trust and cooperative problem-solving in decentralized environments.
