IRMA中的行动规划库也是BDI模型中的一部分。