Reasoning intra-dependency in commitments for robust scheduling

Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considering the active role of agents in them. Therefore, in this paper we propose to augment agents with the ability of reasoning about and manipulating their commitments to maximize the system utility. We adopt a bottom-up approach by first investigating the intra-dependency between each commitment’s preconditions and result which leads to a novel classification of commitments as well as a formalism to express various types of complex commitment. Within this framework, we provide a set of inference rules to benefit an agent by means of commitment refactoring which enables composition and/or decomposition of its commitments to optimize runtime performance. We also discuss the pros and cons of an agent scheduling and executing its commitments in parallel. We propose a reasoning strategy and an algorithm to minimiz...

• Type: Conference
• Year: 2009
• Where: ATAL
• Authors: Mingzhong Wang, Kotagiri Ramamohanarao, Jinjun Chen
• Keywords: Artificial Intelligence, ATAL 2009, Commitment Refactoring, Commitments, Commitment’s Preconditions