Probabilistic Plan Recognition Under Temporal Logic Tasks

In this paper, we consider the plan recognition problem in the real-time strategy game. A probabilistic plan recognition algorithm is proposed to predict the future goals and identify the temporal logic tasks of the non-cooperative agent based on the observations. In order to model the temporal logic tasks, the plan library is composed of the Finite Transition System and Nondeterministic Büchi Automation. Specially, we provide a unified framework to combine the plan recognition and the planning, and propose the probability calculation algorithm to calculate the posterior probability distribution of the goals and tasks. Finally, we verify the effectiveness of the proposed algorithm by the compared simulations.