Multiagent Simple Temporal Problem: The Arc-Consistency Approach

The Simple Temporal Problem (STP) is a fundamental temporal reasoning problem and has recently been extended to the Multiagent Simple Temporal Problem (MaSTP). In this paper we present a novel approach that is based on enforcing arc-consistency (AC) on the input (multiagent) simple temporal network. We show that the AC-based approach is suf- ficient for solving both the STP and MaSTP and provide ef- ficient algorithms for them. As our AC-based approach does not impose new constraints between agents, it does not violate the privacy of the agents and is superior to the state-ofthe-art approach to MaSTP. Empirical evaluations on diverse benchmark datasets also show that our AC-based algorithms for STP and MaSTP are significantly more efficient than existing approaches.

Authors

• Shufeng Kong Department of Computer Science, Cornell University, USA School of Software Engineering, Sun Yat-sen University, China
• Jae Hee Lee
• Sanjiang Li

Keywords

No keywords are indexed for this paper.