A Notation for Modeling Jason-Like BDI Agents