“…Proposals dealing with mathematical formalisms to represent agents' internal state are found in Ferber and Müller, 4 Yu and Cai, 5 Bos and De Weerdt, 6 Bosse et al, 7 Fregene and Kennedy, 8 Cena et al, 11 Liu,12 Ou-Yang and Winarjo, 13 Kwon, 14 Coleri et al, 15 Negenborn et al, 16 and Cil and Mala. 17 The formalism presented by Ferber and Müller 4 introduces its own abstract machines.…”