backward reasoning is based on abductive reasoning, which is used to find the most suitable plan of the cooperating agent from its actions.

• 反向推理从协作主体已经采取的行动出发，通过溯因推理进一步对规划假设进行识别。