Text this: Formal Model of IDS Based on BDI Logic.