Commitment-Based Multiagent Decision Making

This paper has formalized commitments in terms of the agents' internal states of mind--their beliefs, desires, and intentions, and uses a branching-time computational tree logic framework with commitment definitions and operations to define a commitment-centric cooperative multiagent environment.